Arg-LPNMR 2016 - First international Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning (Arg-LPNMR 2016)

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