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

DOI10.1007/978-3-540-71070-7_12zbMath1165.68445OpenAlexW1525648839MaRDI QIDQ3541697

Nicole Koch, Gabriele Kern-Isberner, Christoph Beierle

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)

Related Items

A Verified AsmL Implementation of Belief Revision

Uses Software

• AsmL

Cites Work

• Unnamed Item
• A thorough axiomatization of a principle of conditional preservation in belief revision
• Qualitative probabilities for default reasoning, belief revision, and causal modeling
• Semantic essence of AsmL
• On the logic of theory change: Partial meet contraction and revision functions