January 19, 2011
July 9th, 2011
Lexington, Kentucky, USA

Logic, in general, and logic programming, in particular, continue playing an important role in both the modeling as well as the implementation and deployment of MASs. Logic programming offers a powerful paradigm for the construction of individual intelligent agents, enabling the formalization of knowledge, beliefs, goals, and in the development of models and algorithms for several reasoning and problem solving tasks, such as planning and diagnosis.

Moreover, logic and logic programming can play a part in the representation of features that are specific to the interactions among agents, such as ability to reason about other agents’ goals and knowledge, communication and communication protocols, negotiation, cooperation and competition, and analysis of agent groups and emergent cooperative behavior.

The aim of this workshop is to explore the application of Logic Programming to MAS. The focus of the workshop will be on multi-agent rather than single agent issues, with emphasis on co-operative and conflicting agents, where there could be common and joint goals as well as goals for individual agents. In such contexts, reasoning about other agents' goals and beliefs, communication, negotiation, belief revision and conflict resolution could be essential for the achievement of the goals of the agents.

  • [1/19/2011] Web Site Active
  • [6/19/2011] Agenda posted