Building an Epistemic Logic for Argumentation

DOI10.1007/978-3-642-33353-8_28zbMath1361.68243OpenAlexW131977051MaRDI QIDQ2915085

Srdjan Vesic, François Schwarzentruber, Tjitze Rienstra

Publication date: 21 September 2012

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-33353-8_28

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (4)

An Abstract Look at Awareness Models and Their Dynamics ⋮ Dynamic epistemic logics for abstract argumentation ⋮ Unnamed Item ⋮ Beliefs supported by binary arguments

Uses Software

• OSCAR

Cites Work

• Unnamed Item
• Unnamed Item
• A mathematical treatment of defeasible reasoning and its implementation.
• The complexity of reasoning about knowledge and time. I: Lower bounds
• A guide to completeness and complexity for modal logics of knowledge and belief
• How to reason defeasibly
• Abstract argumentation systems
• Many-dimensional modal logics: theory and applications
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
• Multi-dimensional modal logic as a framework for spatio-temporal reasoning
• Becoming Aware of Propositional Variables
• Tableau-based Decision Procedures for Hybrid Logic

This page was built for publication: Building an Epistemic Logic for Argumentation