Arg-LPNMR 2016
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 10, 2016. The workshop will be held at the New York Hilton Midtown Hotel, 1335 Avenue of the Americas, New York, New York.
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
Arg-LPNMR 2016 will take place on Sunday, July 10th from 8:30-12:30 in Room Hudson on Floor 4 (see the floor plan).
- 08:30 Invited talk 1: Acceptability semantics for argumentation frameworks - Leila Amgoud
- 09:15 Technical talk 1: Revision of Abstract Dialectical Frameworks: Preliminary Report - Thomas Linsbichler and Stefan Woltran.
- 09:45 Invited talk 2: Aggregating Opinions in Abstract Argumentation - Richard Booth
- 10:30 Coffee break
- 11:00 Invited talk 3: SAT-Based Approaches to Reasoning about Argumentation Frameworks - Matti Järvisalo
- 11:45 Technical talk 2: Collaborative Planning and Decision Support for Practical Reasoning in Decentralized Supply Chains - Naeem Janjua
- 12:15 Closing discussion
Invited Speakers
Arg-LPNMR 2016 includes three invited talks given by:
- Leila Amgoud CNRS, France
- Richard Booth Cardiff University, United Kingdom
- Matti Jarvisalo University of Helsinki, Finland
The First International Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning (ArgLPNMR 2016).
ArgLPNMR 2016 is co-located with the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016). It will take place in New York City, NY, USA, July 9-11, 2016.
Workshop webpage: https://iccl.inf.tu-dresden.de/web/Sarah_Alice_Gaggl/Arg-LPNMR2016
MOTIVATION AND AIMS
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
IMPORTANT DATES
Abstract submission: 18 April 2016 1 May 2016 - EXTENDED
Paper submission deadline: 22 April 2016 8 May 2016 - EXTENDED
Notification of acceptance: 24 May 2016 8 June 2016 - EXTENDED
Final manuscripts due: 17 June 2016 22 June 2016 - EXTENDED
Workshop date: 9-11 July 2016
PAPER SUBMISSION INFORMATION
All papers must present original and innovative work. (Double submission is allowed if the work is not yet formally published at the time of submission.). Papers will be evaluated according to their significance, originality, technical content and relevance to the workshop.
Papers must not exceed 8 pages including references. Papers must be formatted according to the IJCAI 2016 style guide (http://ijcai-16.org/downloads/FormattingGuidelinesIJCAI-16.zip)
Please submit your contributions electronically in PDF format to EasyChair: https://easychair.org/conferences/?conf=arglpnmr2016
PROCEEDINGS
Accepted papers will be included in the workshop on-line proceedings.
At least one author of each accepted paper is expected to register to the workshop and attend the workshop to present the paper.
We aim at selecting extended and revised versions of accepted papers to appear in a special issue of an international journal provided that a sufficient amount of high quality papers is collected. Such papers will go through a second formal selection process to meet the high quality standard of the journal.
ArgLPNMR 2016 Anti-Harassment Policy
The open exchange of ideas and the freedom of thought and expression are central to the values and goals of ArgLP. They require an environment that recognizes the inherent worth of every person and group. They flourish in communities that foster mutual understanding and embrace diversity. For these reasons, ArgLP is committed to providing a harassment-free conference experience, and implements the ACM policy against harassment (http://www.acm.org/sigs/volunteer_resources/officers_manual/anti-harassment-policy).
ArgLPNMR participants violating these standards may be sanctioned or expelled from the meeting, at the discretion of the workshop organizers. Workshop attendees are asked to report serious incidents to the IJCAI General Chair.- Abstract submission:
18 April 20161 May 2016 - EXTENDED - Paper submission deadline:
22 April 20168 May 2016 - EXTENDED - Notification of acceptance:
24 May 20168 June 2016 - EXTENDED - Final manuscripts due:
17 June 201622 June 2016 - EXTENDED - Workshop date: 10 July 2016
Organization
Program Committee
All papers must present original and innovative work. (Double submission is allowed if the work is not yet formally published at the time of submission.). Papers will be evaluated according to their significance, originality, technical content and relevance to the workshop.
Papers must not exceed 8 pages including references. Papers must be formatted according to the IJCAI 2016 style guide (http://ijcai-16.org/downloads/FormattingGuidelinesIJCAI-16.zip)
Please submit your contributions electronically in PDF format to EasyChair:
https://easychair.org/conferences/?conf=arglpnmr2016Accepted papers are available in the on-line proceedings at arXiv.org: Proceedings of Arg-LPNMR 2016
At least one author of each accepted paper is expected to register to the workshop and attend the workshop to present the paper.
