posted by user: wdvorak || 769 views || tracked by 1 users: [display]

TPLP Special Issue 2019 : TPLP: Special Issue on Argumentation and Logic Programming - Frontiers and Relations

FacebookTwitterLinkedInGoogle

Link: http://www.dbai.tuwien.ac.at/research/argumentation/TPLPspecialissue-argumentation.html
 
When N/A
Where N/A
Submission Deadline Dec 10, 2018
 

Call For Papers

This CFP is on the special issue of the Journal of Theory and Practice of Logic Programming (TPLP) on Argumentation and Logic Programming - Frontiers and Relations.

MOTIVATION

Given the large variety of existing logical formalisms, it is of utmost importance to select the most adequate one for a specific purpose, e.g. for representing the knowledge relevant for a particular application or for using the formalism as a modeling tool for problem-solving. Logic programming, as well as abstract and structured argumentation, are some of the most studied formalisms in recent times. By now, all mature conferences concerned with Artificial Intelligence or Knowledge Representation in particular, like the prestigious AAAI, IJCAI, ECAI and KR, list argumentation and logic programming as key topics of interest.

Both fields of research are intimately intertwined in many ways. For instance, research topics like intertranslatability of semantics, replaceability of sub-theories, realizability of candidate sets as well as splittings methods and many further which have been first considered for logic programming lead to similarly motivated studies in the field of formal argumentation. Moreover, the strong relationship between logic programming and formal argumentation is also evidenced by different translations of one into the other and back, using argumentation to explain logic programming models, and using logic programming systems to implement argumentation-based languages.

In this broad field, the current special issue aims at new research results, surveys or position papers regarding formal argumentation and logic programming.

TOPICS

Topics of interest include but are not limited to:
* Developments of argumentation systems based on logic programming
* Implementation of argumentation formalism/semantics based on logic programming
* Assumption-based argumentation in the context of logic programming
* The relationship of defeasible logic programming and argumentation
* Studies of the relations between argumentation semantics and logic programming semantics
* The relationship between logic programs and various argumentation formalisms (e.g. Dung frameworks, extended AFs, bipolar AFs, value-based AFs, abstract dialectical frameworks, etc.)
* Argumentation theories and logical foundations
* Applications related to argumentation and logic programming
* Hybrid systems combining logic programming and argumentation

PAPER SUBMISSION INFORMATION

We welcome entirely new papers as well as extended and revised versions of previously accepted papers from relevant workshops and conferences. In the latter case, the submitted paper should add substantial (at least 30%) new material, and the previous paper(s) must be properly cited in the submission.

Papers should be submitted via the TPLP online submission system. In the first step please select the type of your submission (e.g. Original Article) and then follow the submission procedure. For the special issue option, please choose Argumentation and Logic Programming - Frontiers and Relations.

When preparing your manuscript please follow the TPLP instructions for contributors.

GUEST EDITORS

* Ringo Baumann, Leipzig University, Germany
* Wolfgang Dvořák, TU Wien, Austria

Related Resources

LOPSTR 2022   32nd International Symposium on Logic-Based Program Synthesis and Transformation
EXPRESS/SOS 2022   Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics
Linearity & TLLA - 2022   Third Joint International Workshop on Linearity and Trends in Linear Logic and its Applications
HYDRA 2022   1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning
MEandE-LP 2022   2nd International Workshop on Machine Ethics and Explainability - The Role of Logic Programming
FAIML 2022   2022 International Conference on Frontiers of Artificial Intelligence and Machine Learning (FAIML 2022)
EI-CFAIS 2022   2022 International Conference on Frontiers of Artificial Intelligence and Statistics (CFAIS 2022)
CFMAI 2022   2022 4th International Conference on Frontiers of Mathematics and Artificial Intelligence (CFMAI 2022)
ISCAI 2022   2022 4th International Symposium on Computing and Artificial Intelligence (ISCAI 2022)
POPL 2023   50th Symposium on Principles of Programming Languages