A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description)

DOI10.1007/978-3-540-71070-7_12MaRDI QIDQ3541697zbMATH OpenOpenAlexFDO

Authors C. Beierle, Gabriele Kern-Isberner, Nicole Koch

Publication date 27 November 2008

Published in Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-71070-7_12

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Systems and Implementations for Solving Reasoning Problems in Conditional Logics
• scientific article; zbMATH DE number 1884397
• Using approximate reasoning to represent default knowledge
• scientific article; zbMATH DE number 2031006
• Automated non-monotonic reasoning in System \textbf{P}

Cites work

• A thorough axiomatization of a principle of conditional preservation in belief revision
• scientific article; zbMATH DE number 3514748 (Why is no real title available?)
• On the logic of theory change: Partial meet contraction and revision functions
• Qualitative probabilities for default reasoning, belief revision, and causal modeling
• Semantic essence of AsmL

Cited in

(3)

• DESIGN AND IMPLEMENTATION OF A REASONING ENGINE USING GENERALIZED META-RULES TO EXPRESS CONTROL KNOWLEDGE
• A Verified AsmL Implementation of Belief Revision
• Formal specifications for a document management assistant

Describes a project that uses

Uses Software

• AsmL

This page was built for publication: A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description)

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