Rule Calculus: Semantics, Axioms and Applications

DOI10.1007/978-3-540-87803-2_34zbMATH Open1178.68573OpenAlexW1761396053MaRDI QIDQ3532483FDOQ3532483

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

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Logic Programming and Nonmonotonic Reasoning
• Strongly equivalent logic programs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A logic for default reasoning
• Conditional entailment: bridging two approaches to default reasoning.
• Characterization of strongly equivalent logic programs in intermediate logics
• Title not available (Why is that?)
• Logic Programming and Nonmonotonic Reasoning
• Title not available (Why is that?)
• Complexity Results for Nonmonotonic Logics
• Yet some more complexity results for default logic
• Propositional theories are strongly equivalent to logic programs
• A sequent calculus for skeptical Default Logic
• General Default Logic
• Sound and complete inference rules for SE-consequence
• Inductive Logic Programming: Issues, results and the challenge of Learning Language in 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)