An argumentation framework in default logic

DOI10.1007/BF01531263zbMath0866.03018WikidataQ125788308 ScholiaQ125788308MaRDI QIDQ1353850

Henry Prakken

Publication date: 6 May 1997

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

nonmonotonic logicknowledge representationdefault logicdefeasible reasoningformal analysis of legal argumentreasoning with inconsistent information

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (14)

Preferences in artificial intelligence ⋮ Logic Programming with Defaults and Argumentation Theories ⋮ Two approaches to the formalisation of defeasible deontic reasoning ⋮ Inference procedures and engine for probabilistic argumentation ⋮ On the Complexity of Probabilistic Abstract Argumentation Frameworks ⋮ Modelling defeasible and prioritized support in bipolar argumentation ⋮ Simple contrapositive assumption-based argumentation frameworks ⋮ Integrated preference argumentation and applications in consumer behaviour analyses ⋮ Logical argumentation by dynamic proof systems ⋮ Argumentation Framework Based on Evidence Theory ⋮ Unnamed Item ⋮ A system for defeasible argumentation, with defeasible priorities ⋮ Approximating operators and semantics for abstract dialectical frameworks ⋮ Is default logic a reinvention of inductive-statistical reasoning?

Cites Work

• A mathematical treatment of defeasible reasoning and its implementation.
• An approach to default reasoning based on a first-order conditional logic: Revised report
• A logical framework for default reasoning
• A logic for default reasoning
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An argumentation framework in default logic