AGENTS, LOGIC AND THEOREM PROVING

Workshop Information

• Home
• Topics
• Call for Papers pdf plain
• Submit Paper
• Programm Committee
• Accepted Papers
• Programm
• Contact

Aims and Scope

Over the recent years, the agent paradigm gained popularity, due to its applicability to many domains, from search engines to educational aids to electronic commerce and trade, e-procurement, recommendation systems, simulation and routing, to cite only some. Multi-Agent Systems are systems composed of multiple interacting problem-solving entities known as agents. They perceive and act upon their environments to achieve individual as well as joint goals. The work on such systems integrates many technologies and concepts in artificial intelligence and other areas of computer science. Logic provides a well-defined, general, and rigorous framework for studying syntax, semantics and procedures for individual agents and multi-agent systems. The predominant approach for reasoning about multiagent systems has been modal logics. They are especially suited as a tool for a formal description of agents. They have widely been used to characterize mental states of agents and their interaction. On the other hand, analytic tableaux are one of the favorite proof methods for modal logics. Therefore it seems that modal logic is on the cross roads of agents and tableaux theorem proving. The objective of this workshop is to bring together these two communities: agent community and tableaux community.

In particular, the purposes of this workshop are:

• to present research, based on tableaux and aimed at representing, programming and reasoning about agents and multi-agent systems in a formal way,
• to promote tableaux for multi-agent systems,
• to compare and evaluate existing formalisms,
• to identify the most important open problems and research questions and
• to identify possibilities of solution transfer between the two domains.