Printer
friendly call for papers:
Over recent years, the notion of agency has claimed a major role in
defining the trends of modern research. Influencing a broad spectrum of
disciplines such as Sociology, Psychology, among others, the agent paradigm
virtually invaded every sub-field of Computer Science, not least because of
the Internet and Robotics.
Multi-agent Systems (MAS) 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. There is a full spectrum of MAS applications that have been and
are being developed; from search engines to educational aids to electronic
commerce and trade.
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, by virtue of its nature both in substance and
method, provides a well-defined, general, and rigorous framework for
systematically studying computation, be it syntax, semantics, procedures, or
attending implementations, environments, tools, and standards. Computational
Logic approaches problems, and provides solutions, at a sufficient level of
abstraction so that they generalise from problem domain to problem domain,
afforded by the nature of its very foundation in logic, both in substance
and method, which constitutes one of its major assets.
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. This is clearly a major challenge for
computational logic, to deal with real world issues and applications.
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:
| Nonmonotonic reasoning in multi-agent systems |
| Planning under incomplete information in multi-agent systems |
| Logical foundations of multi-agent systems |
| Usage of abduction in multi-agent systems |
| Representation of knowledge and belief in multi-agent systems |
| Knowledge and belief updates in multi-agent systems |
| Temporal reasoning for multi-agent systems |
| Theory of argumentation for multi-agent negotiation and co-operation |
| Communication languages for multi-agent systems |
| Distributed constraint satisfaction in 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 |
| Logic based agents for the Internet |