Opposition Frameworks
From MaRDI portal
Publication:2835871
DOI10.1007/978-3-319-48758-8_13zbMath1483.68375OpenAlexW4234314292MaRDI QIDQ2835871
Cosmina Croitoru, Kurt Mehlhorn
Publication date: 30 November 2016
Published in: Logics in Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-48758-8_13
Uses Software
Cites Work
- Unnamed Item
- Postulates for logic-based argumentation systems
- Algorithms for decision problems in argument systems under preferred semantics
- Weighted argument systems: basic definitions, algorithms, and complexity results
- Instantiating abstract argumentation with classical logic arguments: postulates and properties
- Graph theoretical structures in logic programs and default theories
- On the evaluation of argumentation formalisms
- Coherence in finite argument systems.
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
- Abstract Solvers for Dung’s Argumentation Frameworks
- An Argumentation-Based Approach for Automatic Evaluation of Design Debates
- Solving SAT and SAT Modulo Theories
- Persuasion in Practical Argument Using Value-based Argumentation Frameworks
- Nonmonotonic Tools for Argumentation
- Revisiting Abstract Argumentation Frameworks
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- A machine program for theorem-proving
This page was built for publication: Opposition Frameworks
