Quelltext der Seite Sarah Alice Gaggl/Arg-LPNMR2016

{{DISPLAYTITLE:Arg-LPNMR 2016}}
The first international Workshop on ''Argumentation in Logic Programming and Non-Monotonic Reasoning'' (Arg-LPNMR 2016) is co-located with the [http://ijcai-16.org 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.

[[File:Lower Manhattan from Jersey City November 2014 panorama 3.jpg|center|Lower Manhattan from Jersey City November 2014 panorama 3]]

{{#maketabs:
|Aim and Scope=
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

|Programme=
Arg-LPNMR 2016 will take place on Sunday, July 10th from 8:30-12:30 in Room '''Hudson on Floor 4''' ([[Media: ArgLPNMR_2016_hilton_floor_plan.png |see the floor plan]]).

*08:30 '''Invited talk 1: [[Media: ArgLPNMR_2016_invited_2.pdf | Acceptability semantics for argumentation frameworks]] - Leila Amgoud'''
*09:15 Technical talk 1: [[Media: ArgLPNMR_2016_paper_2.pdf | Revision of Abstract Dialectical Frameworks: Preliminary Report]] - Thomas Linsbichler and Stefan Woltran. 
*09:45 '''Invited talk 2: [[Media: ArgLPNMR_2016_invited_3.pdf | Aggregating Opinions in Abstract Argumentation]] - Richard Booth'''

*10:30 Coffee break

*11:00 '''Invited talk 3:  [[Media: ArgLPNMR_2016_invited_1.pdf | SAT-Based Approaches to Reasoning about Argumentation Frameworks]] - Matti Järvisalo'''
*11:45 Technical talk 2: [[Media: ArgLPNMR_2016_paper_1.pdf | Collaborative Planning and Decision Support for Practical Reasoning in Decentralized Supply Chains]] -  Naeem Janjua
*12:15 Closing discussion

|Invited Speakers=
'''Invited Speakers'''

Arg-LPNMR 2016 includes three invited talks given by:
*[https://www.irit.fr/~Leila.Amgoud/ Leila Amgoud] CNRS, France
*[https://cardiff.academia.edu/RichardBooth Richard Booth] Cardiff University, United Kingdom
*[https://www.cs.helsinki.fi/u/mjarvisa/ Matti Jarvisalo] University of Helsinki, Finland


|Call for Papers='''Call for Papers:'''<br />
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: <s>18 April 2016</s> <span style="color:red;"> 1 May 2016 - EXTENDED</span><br />
Paper submission deadline:<s> 22 April 2016</s>  <span style="color:red;">8 May 2016 - EXTENDED</span><br />
Notification of acceptance: <s>24 May 2016</s> <span style="color:red;">8 June 2016 - EXTENDED</span><br />
Final manuscripts due: <s>17 June 2016</s> <span style="color:red;">22 June 2016 - EXTENDED</span><br />
Workshop date: 9-11 July 2016<br />

----------------------------
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.

|Important Dates='''Important Dates'''<br />
*Abstract submission: <s>18 April 2016</s> <span style="color:red;"> 1 May 2016 - EXTENDED</span><br />
*Paper submission deadline:<s> 22 April 2016</s>  <span style="color:red;">8 May 2016 - EXTENDED</span><br />
*Notification of acceptance: <s>24 May 2016</s> <span style="color:red;">8 June 2016 - EXTENDED</span><br />
*Final manuscripts due: <s>17 June 2016</s> <span style="color:red;">22 June 2016 - EXTENDED</span><br />
*Workshop date: 10 July 2016<br />

|Organization=
'''Organization'''<br />
*[[Sarah Gaggl]]
*[http://www8.cs.umu.se/~jcnieves/ Juan Carlos Nieves]
*[http://www.informatik.uni-leipzig.de/~strass/ Hannes Strass]

'''Program Committee'''<br />
*[http://www.informatik.uni-leipzig.de/~brewka Gerhard Brewka]
<!--*[http://www.cs.bath.ac.uk/~mdv Marina De Vos]-->
*[http://www.irit.fr/~Sylvie.Doutre Sylvie Doutre]
*[http://cs.ait.ac.th/~dung Phan Minh Dung]
*[http://www.dcs.kcl.ac.uk/staff/dg/ Dov Gabbay]
*[http://www.cs.tu-dortmund.de/nps/de/Home/Personen/K/Kern-Isberner__Gabriele.html Gabriele Kern-Isberner]
*[http://osoriomauri.googlepages.com/ Mauricio Osorio]
*[http://www.wakayama-u.ac.jp/~sakama Chiaki Sakama]
*[http://www.ii.fmph.uniba.sk/~sefranek Ján Šefránek]
*[http://cs.uns.edu.ar/~grs Guillermo R. Simari]
 <!--*[http://www.doc.ic.ac.uk/~ft Francesca Toni]-->
*[http://lia.deis.unibo.it/~pt/ Paolo Torroni]
*[http://www.ailab.se.shibaura-it.ac.jp/ Toshiko Wakaki]
*[http://www.dbai.tuwien.ac.at/staff/woltran Stefan Woltran]

|Submissions='''Submissions'''<br />
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='''Proceedings'''<br />
Accepted papers are available in the on-line proceedings at arXiv.org: [https://arxiv.org/abs/1611.02439 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. 

}}<!-- End of #maketabs -->