Rule Calculus: Semantics, Axioms and Applications

DOI10.1007/978-3-540-87803-2_34MaRDI QIDQ3532483zbMATH OpenOpenAlexFDO

Authors

Publication date 27 October 2008

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

Full work available at URL https://doi.org/10.1007/978-3-540-87803-2_34

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• A theory of nonmonotonic rule systems I
• scientific article; zbMATH DE number 140378
• A sequent calculus for skeptical Default Logic
• Axiomatization of credulous reasoning in rational default logic
• A propositional tableaux based proof calculus for reasoning with default rules

Cites work

• scientific article; zbMATH DE number 44621 (Why is no real title available?)
• scientific article; zbMATH DE number 140388 (Why is no real title available?)
• scientific article; zbMATH DE number 1028819 (Why is no real title available?)
• scientific article; zbMATH DE number 1032007 (Why is no real title available?)
• scientific article; zbMATH DE number 1946872 (Why is no real title available?)
• scientific article; zbMATH DE number 1884383 (Why is no real title available?)
• scientific article; zbMATH DE number 3349329 (Why is no real title available?)
• A logic for default reasoning
• A sequent calculus for skeptical Default Logic
• Characterization of strongly equivalent logic programs in intermediate logics
• Complexity Results for Nonmonotonic Logics
• Conditional entailment: bridging two approaches to default reasoning.
• General Default Logic
• Inductive Logic Programming: Issues, results and the challenge of Learning Language in Logic
• Logic Programming and Nonmonotonic Reasoning
• Logic Programming and Nonmonotonic Reasoning
• Propositional theories are strongly equivalent to logic programs
• Sound and complete inference rules for SE-consequence
• Strongly equivalent logic programs
• Yet some more complexity results for default logic

Cited in

(6)

• Rules and meta-rules in the framework of possibility theory and possibilistic logic
• Unified decomposition-aggregation (UDA) rules: dynamic, schematic, novel axioms
• Derivability of rules from rule complexes
• Hypersequents and Systems of Rules
• A calculus of tactics and its operational semantics
• Rule-Generation Theorem and its Applications

This page was built for publication: Rule Calculus: Semantics, Axioms and Applications

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