Sarah Alice Gaggl/ArgLP2015/en: Difference between revisions

Latest revision as of 15:59, 2 March 2017

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.

CC BY 2.5 (http://creativecommons.org/licenses/by/2.5)], via Wikimedia Commons

CC BY Wikimedia Commons

CC BY Wikimedia Commons

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

Call for Papers:

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

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

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

Accepted Papers

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=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 Fundamenta Informaticae Journal (http://www.iospress.nl/journal/fundamenta-informaticae/) after a second evaluation.

@@ Line 1: / Line 1: @@
-{{#leftsidenav:<!--
+{{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
+}}
-*** The first part defines the content of the left-side navigation.
-*** We use a headline "Contents" (you could use any text)
-*** and then insert the automatically generated table of contents (you could make a manual list of links there instead)
-*** (this is all writting inside a comment area, hence it does not show on page)
--->{{LeftsidenavHeading|Contents}}
+{{#maketabs:
-<div class="no-toc-head">__TOC__</div>
+|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.
-*** Now comes the actual main part of the page (right-hand side).
+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.
--->{{Main heading|ArgLP 2015}}
+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.
-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)].
-==Call for Papers==
+'''Topics'''<br />
-Coming soon
+Topics of interest include but are not limited to:
-==Important Dates==
+* New developments of argumentation systems based on logic programming
-Coming soon
+* 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
-==Organization==
+|Programme=
-[[Sarah Gaggl]]<br />
+ArgLP will take place in room G.18 of the Western Gateway Building, University College Cork, Ireland
-[http://www.informatik.uni-leipzig.de/~strass/ Hannes Strass]<br />
+*8:45-9:00 Opening
-[http://www8.cs.umu.se/~jcnieves/ Juan Carlos Nieves]
+*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 />
-Coming soon
+*[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
-==Submissions==
+|Proceedings='''Proceedings'''<br />
-Coming soon
+Accepted papers will be included in the workshop on-line proceedings.
-==Post-Proceedings==
+At least one author of each accepted paper is expected to register to the workshop and attend the workshop to present the paper.
-Coming soon
+'''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.
-}}<!-- Closing braces for the two-column layout ("leftsidenav" at the top); DON'T DELETE THIS BY ACCIDENT. -->
+}}<!-- End of #maketabs -->