ArgLP 2015
The first international Workshop on Argumentation and Logic Programming (ArgLP 2015) is co-located with the 31st International Conference on Logic Programming (ICLP 2015). It will take place in Cork, Ireland on August 31, 2015.
Argumentation has been more and more an active research field in areas as Multi-Agent Systems, Knowledge Representation and Reasoning, Artificial Intelligence, Philosophy, Law, etc. From the computational point of view, logic programming has been influencing fundamental roots of argumentation. Indeed, since Dung formalized a family of argumentation inferences in terms of the so called argumentation semantics, he showed that these argumentation semantics have strong roots on logic-based theories.
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 about each other.
This year the presentation of the results of the First International Competition on Computational Models of Argumentation (ICCMA) will be done at TAFA 2015 (co-located with IJCAI2015). Since some of the most widely known argumentation solvers are based on logic programming methodologies, e.g., ASPARTIX, it is expected that new argumentation solvers based on logic programming could appear. In this setting, ArgLP is aiming to catch the attention of the logic programming community to increase the influence of logic programming in the new theoretical and practical developments of argumentation.
Topics
Topics of interest include but are not limited to:
- New developments of argumentation systems based on logic programming
- New studies between argumentation semantics and logic programming semantics
- New studies of non-monotonic reasoning properties of argumentation semantics
- The relationship of defeasible logic programming and argumentation
- Studying the relationship between logic programs and various argumentation formalisms (e.g. Dung frameworks, extended AFs, bipolar AFs, value-based AFs, abstract dialectical frameworks, ...)
- Applications related to argumentation and logic programming
ArgLP will take place in room G.18 of the Western Gateway Building, University College Cork, Ireland
- 8:45-9:00 Opening
- 9:00-9:30 ArgLP Invited Talk: Defeasible Reasoning and Logic Programming Michael Maher
- 9:30-10:00 Representing Argumentation Frameworks in Answer Set Programming Chiaki Sakama and Tjitze Rienstra
- 10:00-10:30 Coffee
- 10:30-11:00 Semi-Stable and Stage Extensions as 2-valued Models Mauricio Osorio and Juan Carlos Nieves
- 11:00-11:30 On the Equivalence between Assumption-Based Argumentation and Logic Programming Martin Caminada and Claudia Schulz
- 11:30-12:00 Argumentation semantics and belief change within logic programs Jan Sefranek
- 12:00-13:30 Lunch
The First International Workshop on Argumentation and Logic Programming (ArgLP 2015).
Cork, Ireland, 31 August, 2015 (co-located with ICLP 2015)
Workshop webpage: https://iccl.inf.tu-dresden.de/web/Sarah_Alice_Gaggl/ArgLP2015
Selected papers will be considered for a special issue of Fundamenta Informaticae (http://www.iospress.nl/journal/fundamenta-informaticae/)
MOTIVATION
Argumentation has been more and more an active research field in areas as Multi-Agent Systems, Knowledge Representation and Reasoning, Artificial Intelligence, Philosophy, Law, etc. From the computational point of view, logic programming has been influencing fundamental roots of argumentation. Indeed, since Dung formalized a family of argumentation inferences in terms of the so called argumentation semantics, he showed that these argumentation semantics have strong roots on logic-based theories.
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 about each other.
This year the presentation of the results of the First International Competition on Computational Models of Argumentation (ICCMA) will be done at TAFA 2015 (co-located with IJCAI2015). Since some of the most widely known argumentation solvers are based on logic programming methodologies, e.g., ASPARTIX, it is expected that new argumentation solvers based on logic programming could appear. In this setting, ArgLP is aiming to catch the attention of the logic programming community to increase the influence of logic programming in the new theoretical and practical developments of argumentation.
TOPICS
Topics of interest include but are not limited to:
- New developments of argumentation systems based on logic programming
- New studies between argumentation semantics and logic programming semantics
- New studies of non-monotonic reasoning properties of argumentation semantics
- The relationship of defeasible logic programming and argumentation
- Studying the relationship between logic programs and various argumentation formalisms (e.g. Dung frameworks, extended AFs, bipolar AFs, value-based AFs, abstract dialectical frameworks, ...)
- Applications related to argumentation and logic programming
IMPORTANT DATES
Abstract submission: 19 June, 2015
Paper submission deadline: 15 June, 2015 24 June, 2015 EXTENDED
Notification of acceptance: 22 July, 2015:
Final manuscripts due: 12 August, 2015
Workshop date: 31 August, 2015
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 15 pages in length and should be formatted using the guidelines of Fundamenta Informaticae:
http://fi.mimuw.edu.pl/fundam.zip
Please submit your contributions electronically in PDF format to EasyChair:
https://easychair.org/conferences/?conf=arglp2015
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.
SPECIAL ISSUE
A selection of the best papers of ArgLP will be published as a special issue in the Fundamenta Informaticae Journal (http://www.iospress.nl/journal/fundamenta-informaticae/) after a second evaluation.
ORGANIZATION
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
ArgLP'2015 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).
ArgLP participants violating these standards may be sanctioned or expelled from the meeting, at the discretion of the conference organizers. Conference organizers are requested to report serious incidents to the ICLP General Chair.- Abstract submission: 19 June, 2015
- Paper submission deadline:
15 June, 201524 June, 2015 EXTENDED - Notification of acceptance: 22 July, 2015
- Final manuscripts due: 12 August, 2015
- Workshop date: 31 August, 2015
- Representing Argumentation Frameworks in Answer Set Programming, Chiaki Sakama and Tjitze Rienstra.
- On the Equivalence between Assumption-Based Argumentation and Logic Programming, Martin Caminada and Claudia Schulz.
- Argumentation semantics and belief change within logic programs, Jan Sefranek.
- Semi-Stable and Stage Extensions as 2-valued Models, Mauricio Osorio and Juan Carlos Nieves.
Organization
Program Committee
Submissions
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 15 pages in length and should be formatted using the guidelines of Fundamenta Informaticae:
http://fi.mimuw.edu.pl/fundam.zip
Please submit your contributions electronically in PDF format to EasyChair:
https://easychair.org/conferences/?conf=arglp2015Accepted 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.
Special Issue
A selection of the best papers of ArgLP will be published as a special issue in Fundamenta Informaticae Journal (http://www.iospress.nl/journal/fundamenta-informaticae/) after a second evaluation.
