[Om-announce] [logic-programming] CFP: 1st International Workshop on Argumentation and Logic Programming (ArgLP 2015).

Ian Miguel ijm at st-andrews.ac.uk
Mon Apr 13 23:02:39 CEST 2015


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://ddll.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
---------------

15 June, 2015: Paper submission deadline
13 July, 2015: Notification of acceptance
27 July, 2015: Final manuscripts due
31 August, 2015: Workshop date

----------------------------
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, TU Dresden, Germany.
Hannes Strass, Leipzig University, Germany
Juan Carlos Nieves, Umeå University, Sweden.

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

- Gerhard Brewka
- Sylvie Doutre
- Phan Minh Dung
- Dov Gabbay
- Gabriele Kern-Isberner
- Mauricio Osorio
- Ken Satoh
- Jan Sefranek
- Guillermo Simari
- Francesca Toni
- Paolo Torroni
- Marina De Vos
- Stefan Woltran
- Toshiko Wakaki

---------------------------------
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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://openmath.org/pipermail/om-announce/attachments/20150413/f947b55b/attachment-0001.html>
-------------- next part --------------
_______________________________________________
logic-programming mailing list
logic-programming at lists.picat-lang.org
http://lists.picat-lang.org/mailman/listinfo/logic-programming


More information about the Om-announce mailing list