Quelltext der Seite Sarah Alice Gaggl/ArgLP2015

{{DISPLAYTITLE:ArgLP 2015}}
The first international Workshop on ''Argumentation and Logic Programming'' (ArgLP 2015) is co-located with the [http://booleconferences.ucc.ie/iclp2015 31st International Conference on Logic Programming (ICLP 2015)]. It will take place in
Cork, Ireland on August 31, 2015.
{{#makecarousel:
| slide=<div style="height: 400px;">[[File:CorkUCCBuildings.jpg|CorkUCCBuildings|center|550px]]</div>
|caption=CC BY 2.5 (http://creativecommons.org/licenses/by/2.5)], via Wikimedia Commons
| slide=<div style="height: 400px;">[[File:Cobh. Co Cork. Ireland.jpg|center|400px]]</div>
|caption=CC BY Wikimedia Commons
| slide=<div style="height: 400px;">[[File:KINSALE -street-. Co CORK.IRELAND..jpg|center|550px]]</div>
| caption=CC BY Wikimedia Commons
}}


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

|Programme=
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''' ''[http://seit.unsw.adfa.edu.au/research/staff_detail.php?staff_id=1423 Michael Maher]''
*9:30-10:00 [[Media: ArgLP_2015_submission_1.pdf | Representing Argumentation Frameworks in Answer Set Programming]] ''Chiaki Sakama and Tjitze Rienstra''

*10:00-10:30 Coffee

*10:30-11:00 [[Media: ArgLP_2015_submission_5.pdf | Semi-Stable and Stage Extensions as 2-valued Models]] ''Mauricio Osorio and Juan Carlos Nieves''
*11:00-11:30 [[Media: ArgLP_2015_submission_2.pdf | On the Equivalence between Assumption-Based Argumentation and Logic Programming]] ''Martin Caminada and Claudia Schulz''
*11:30-12:00 [[Media: ArgLP_2015_submission_3.pdf | Argumentation semantics and belief change within logic programs]] ''Jan Sefranek''

*12:00-13:30 Lunch

|Call for Papers='''Call for Papers:'''<br />
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
---------------
<span style="color:red;">Abstract submission: 19 June, 2015</span><br />
Paper submission deadline: <s>15 June, 2015</s> 24 June, 2015 <span style="color:red;">EXTENDED</span><br />
Notification of acceptance: 22 July, 2015: <br />
Final manuscripts due: 12 August, 2015<br />
Workshop date: 31 August, 2015<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 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
-----------------------------

*[[Sarah Gaggl]]
*[http://www8.cs.umu.se/~jcnieves/ Juan Carlos Nieves]
*[http://www.informatik.uni-leipzig.de/~strass/ Hannes Strass]

-----------------
PROGRAM COMMITTEE 
-----------------

*[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://research.nii.ac.jp/~ksatoh Ken Satoh]
*[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.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]

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

|Important Dates='''Important Dates'''<br />
*<span style="color:red;">Abstract submission: 19 June, 2015</span>
*Paper submission deadline: <s>15 June, 2015</s> 24 June, 2015 <span style="color:red;">EXTENDED</span>
*Notification of acceptance: 22 July, 2015
*Final manuscripts due: 12 August, 2015
*Workshop date: 31 August, 2015

|Accepted Papers='''Accepted Papers'''<br />

*[[Media: ArgLP_2015_submission_1.pdf | Representing Argumentation Frameworks in Answer Set Programming]], ''Chiaki Sakama and Tjitze Rienstra''. 
*[[Media: ArgLP_2015_submission_2.pdf | On the Equivalence between Assumption-Based Argumentation and Logic Programming]], ''Martin Caminada and Claudia Schulz''. 
*[[Media: ArgLP_2015_submission_3.pdf | Argumentation semantics and belief change within logic programs]], ''Jan Sefranek''. 
*[[Media: ArgLP_2015_submission_5.pdf | Semi-Stable and Stage Extensions as 2-valued Models]], ''Mauricio Osorio and Juan Carlos Nieves''. 

|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://research.nii.ac.jp/~ksatoh Ken Satoh]
*[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.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 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='''Proceedings'''<br />
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'''<br />
There will be a special issue on Argumentation and Logic Programming in Fundamenta Informaticae Journal (http://www.iospress.nl/journal/fundamenta-informaticae/).
Detailed information is available at: https://iccl.inf.tu-dresden.de/web/Sarah_Alice_Gaggl/Special_Issue_ArgLP



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