Agent technology from a formal perspective
Intelligent agents (Computer software)
Mathematical Logic and Formal Languages
Artificial Intelligence (incl. Robotics)
Artificial intelligence
Computer science
Design
The field of agent & multi-agent systems is experiencing tremendous growth. At the same time the field of formal methods is blossoming and has proven its importance in industrial and government applications. The FAABS (Formal Approaches to Agent-Based Systems) workshops, merging the concerns of the …
Read online
Reader not loading? Open it on Archive.org instead.