Proceedings of the First International Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning (Arg-LPNMR 2016)

11/08/2016 ∙ by Sarah Alice Gaggl, et al. ∙ 0

This volume contains the papers presented at Arg-LPNMR 2016: First International Workshop on Argumentation in Logic Programming and Nonmonotonic Reasoning held on July 8-10, 2016 in New York City, NY.

READ FULL TEXT VIEW PDF
POST COMMENT

Comments

There are no comments yet.

Authors

page 18

This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.

Preface

This volume contains the papers presented at Arg-LPNMR 2016: First International Workshop on Argumentation in Logic Programming and Nonmonotonic Reasoning held on July 8-10, 2016 in New York City, NY.

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 Multi-Agent 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 deal with the new requirement of interaction between autonomous systems and Multi-Agent Systems.

The workshop centered around four current research strands in abstract argumentation, namely analyzing argumentation semantics, studying dynamics in argumentation, and implementations of systems for abstract argumentation.

The committee decided to accept 2 papers. The program also includes 3 invited talks.


November 2016

Program Committee

Gerhard Brewka Leipzig University
Sylvie Doutre University of Toulouse 1 - IRIT
Dov Gabbay King’s College, London
Sarah Alice Gaggl Technische Universität Dresden
Gabriele Kern-Isberner Technische Universitaet Dortmund
Juan Carlos Nieves Umeå University
Mauricio Osorio UDLAP
Phan Phan Minh Dung AIT
Chiaki Sakama Wakayama University
Jan Sefranek Comenius University, Bratislava
Guillermo Simari Dep of Computer Science and Engineering, Universidad Nacional del Sur in Bahia Blanca
Hannes Strass Leipzig University
Paolo Torroni University of Bologna
Toshiko Wakaki Shibaura Institute of Technology
Stefan Woltran TU Wien

Invited Talks [switch=45, npages=3,title=SAT-Based Approaches to Reasoning about Argumentation Frameworks,author=Matti Järvisalo,index=,]invited_paper_1 [switch=21, npages=2,title=Acceptability semantics for argumentation frameworks,author=Leila Amgoud,index=,]invited_paper_2 [switch=33,title = Aggregating Opinions in Abstract Argumentation,author=Richard Booth,index=,]invited_paper_3

Technical Talks [switch=75,title=Collaborative Planning and Decision Support for Practical Reasoning in Decentralized Supply Chains,author=Naeem Janjua,index=,]paper_1 [switch=27,title=Revision of Abstract Dialectical Frameworks: Preliminary Report,author=Thomas Linsbichler, Stefan Woltran, index=, ]paper_2