call for papers
multi-agent systems are communities of problem-solving entities that
can perceive and act upon their environments to achieve their individual
goals as well as joint goals. the work on such systems integrates many
technologies and concepts in artificial intelligence and other areas of
computing. for this reason, over recent years, the agent paradigm gained
popularity in many sub-fields of computer science. a full spectrum of multi-agent systems
applications have been and are being developed; from search engines to
educational aids to electronic commerce and trade, e-procurement,
recommendation systems, simulation and routing, to cite only some.
although commonly implemented by means of imperative languages, mainly for
reasons of efficiency, the agent concept has recently increased its
influence in the research and development of computational logic based systems.
computational logic provides a well-defined, general, and rigorous
framework for studying syntax, semantics and procedures, for attending
implementations, environments, tools, and standards, and for linking
together specification and verification of properties of computational
systems.
the purpose of this workshop is to discuss techniques, based on
computational logic, for representing, programming and reasoning about multi-agent systems in a formal way.
we solicit unpublished papers that address formal approaches to multi-agent
systems. the approaches as well as being formal must make a significant
contribution to the practice of multi-agent systems. relevant techniques
include, but are not limited to, the following:
- logical foundations of multi-agent systems
- knowledge and belief representation and updates in multi-agent systems
- agent and multi-agent hypothetical reasoning and learning
- extensions of logic programming for multi-agent systems
- nonmonotonic reasoning in multi-agent systems
- theory and practice of argumentation for agent reasoning and interaction
- operational semantics and execution agent models
- model checking algorithms, tools, and applications for multi-agent logics
- semantics of interaction and agent communication languages
- distributed constraint satisfaction in multi-agent systems
- temporal reasoning for multi-agent systems
- modal logic approaches to multi-agent systems
- logic based programming languages for multi-agent systems
- distributed theorem proving for multi-agent systems
- logic based implementations of multi-agent systems
- decision theory for multi-agent systems
- specification and verification of formal properties of agent systems
|