Building an epistemic logic for argumentation

DOI10.1007/978-3-642-33353-8_28MaRDI QIDQ2915085zbMATH OpenOpenAlexFDO

Authors François Schwarzentruber, Srdjan Vesic, 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)

Recommendations

• A logic of knowledge based on abstract arguments
• Epistemic argumentation framework: theory and computation
• Basic beliefs and argument-based beliefs in awareness epistemic logic with structured arguments
• Argument evaluation in multi-agent justification logics
• Epistemic graphs for representing and reasoning with positive and negative influences of arguments

Cites work

• scientific article; zbMATH DE number 1989644 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• A guide to completeness and complexity for modal logics of knowledge and belief
• A mathematical treatment of defeasible reasoning and its implementation.
• Abstract argumentation systems
• Becoming aware of propositional variables
• How to reason defeasibly
• Many-dimensional modal logics: theory and applications
• Multi-dimensional modal logic as a framework for spatio-temporal reasoning
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
• Tableau-based Decision Procedures for Hybrid Logic
• The complexity of reasoning about knowledge and time. I: Lower bounds

Cited in

(14)

• Epistemic argumentation framework: theory and computation
• Argument evaluation in multi-agent justification logics
• Introducing Justification into Epistemic Logic
• Beliefs supported by binary arguments
• Subjective logic and arguing with evidence
• A logic of knowledge based on abstract arguments
• A logic for reasoning about persuasion
• An awareness epistemic framework for belief, argumentation and their dynamics
• Persuasive argumentation and epistemic attitudes
• Epistemic graphs for representing and reasoning with positive and negative influences of arguments
• Argument-based belief in topological structures
• Logic for describing strong belief-disagreement between agents
• An Abstract Look at Awareness Models and Their Dynamics
• Dynamic epistemic logics for abstract argumentation

Describes a project that uses

Uses Software

• OSCAR

This page was built for publication: Building an epistemic logic for argumentation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2915085)