Sarah Alice Gaggl/Arg-LPNMR2016

The first international Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning (Arg-LPNMR 2016) is co-located with the 25th International Joint Conference on Artificial Intelligence IJCAI-16. It will take place in New York City, July 9-11, 2016.

• Aim and Scope
• Call for Papers
• Important Dates
• Organization
• Submissions
• Proceedings

Research on argumentation and an Artificial Intelligence (AI) began in full force in the early eighties. The initial efforts showed how argumentation results in a very natural way of conceptualizing commonsense reasoning, appropriately reflecting its defeasible nature. In the mid-nineties, Dung (1995) has shown that argumentation provides a useful perspective for relating different non-monotonic formalisms. Currently, argumentation has been applied in different subfields of AI like Multi-Agent Systems, Semantic Web, Knowledge Representation and Reasoning, etc.

Works in the knowledge representation and reasoning community have shown that argumentation inferences in terms of the so called argumentation semantics have strong roots in logic-based theories and non-monotonic reasoning. In this sense, the relationship between logic programming and argumentation has attracted increased attention in the last years. Studies range from translating one into the other and back, using argumentation to explain logic programming models, and using logic programming systems to implement argumentation-based languages (ASPARTIX, DIAMOND). Influences go both ways and we believe that both fields can benefit from learning from each other. Moreover, argumentation allows to relate several non-monotonic formalisms such as belief revision, reasoning about actions and probabilistic reasoning.

More recently, argumentation has been revealed as a powerful conceptual tool for exploring the theoretical foundations of reasoning and interaction in autonomous systems and multiagent systems. Different dialogue models have been proposed based on the roots of argumentation. Indeed considering argumentation roots, the so called Agreement Technologies have been suggested in order to lead with the new requirement of interaction between autonomous systems and multiagent systems.

The aim of the workshop is to bring researchers from all these fields together, to present and discuss joint work, and identify possible shared future directions of the community.

Topics

Topics of interest include but are not limited to:

• formal argumentation theories and logical foundations of argumentation
• relating argumentation and logic programming
• studying properties of argumentation semantics
• operational semantics and execution models of argumentation systems
• dialogue games in argumentation
• argumentation for reasoning in multiagent systems
• argumentation dialogues in multiagent systems
• nonmonotonic reasoning in multiagent systems
• implementations of argumentation systems
• argumentation and belief revision


* defeasible logic programming and argumentation

• argumentation tools and applications, for example in multiagent systems, legal reasoning, the semantic web, practical reasoning and deliberation, and commonsense reasoning

Organization

• Sarah Gaggl
• Juan Carlos Nieves
• Hannes Strass

Program Committee

• Gerhard Brewka
• Marina De Vos
• Sylvie Doutre
• Phan Minh Dung
• Dov Gabbay
• Ken Satoh
• Gabriele Kern-Isberner
• Mauricio Osorio
• Ján Šefránek
• Guillermo R. Simari
• Francesca Toni
• Paolo Torroni
• Toshiko Wakaki
• Stefan Woltran