Logic-based argumentation with existential rules
From MaRDI portal
Publication:1678415
DOI10.1016/j.ijar.2017.07.004zbMath1419.68106OpenAlexW2734695529MaRDI QIDQ1678415
Srdjan Vesic, Abdallah Arioua, Madalina Croitoru
Publication date: 17 November 2017
Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)
Full work available at URL: https://hal-lirmm.ccsd.cnrs.fr/lirmm-01596666/file/2017_IJAR.pdf
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A general account of argumentation with preferences
- Postulates for logic-based argumentation systems
- On rules with existential variables: walking the decidability line
- Two party immediate response disputes: Properties and efficiency
- Graph-based knowledge representation. Computational foundations of conceptual graphs
- On the evaluation of argumentation formalisms
- A theory of diagnosis from first principles
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
- Tractable reasoning and efficient query answering in description logics: The DL-Lite family
- On inference from inconsistent premisses
- On logical specifications of the Argument Interchange Format
- What Can Argumentation Do for Inconsistent Ontology Query Answering?
- Encyclopedia of Database Systems
- Towards a Common Framework for Dialectical Proof Procedures in Abstract Argumentation
- On Decision Problems Related to the Preferred Semantics for Argumentation Frameworks
- A Dialectical Proof Theory for Universal Acceptance in Coherent Logic-based Argumentation Frameworks
- Defeasible logic programming: an argumentative approach
- Identifying the Class of Maxi-Consistent Operators in Argumentation
- Logics in Artificial Intelligence
- Linking Data to Ontologies
- Relating protocols for dynamic dispute with logics for defeasible argumentation
This page was built for publication: Logic-based argumentation with existential rules
