Reasoning with conditional axioms

DOI10.1007/BF01534452MaRDI QIDQ1924731zbMATH OpenOpenAlexWikidataFDO

Authors Emmanuel Kounalis, Michaël Rusinowitch

Publication date 14 January 1997

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

Full work available at URL https://doi.org/10.1007/bf01534452

zbMATH Keywords

automatically proving theoremsHorn clauses

Mathematics Subject Classification ID

Recommendations

• Reasoning with conditionals
• Conditionals in reasoning
• Conditionals and supposition-based reasoning
• Conditional reasoning in logic programming
• A Conditional Logical Framework
• Conditional reasoning with subjective logic
• A new computational logic approach to reason with conditionals
• Foundations of conditional logic
• A conditional logic for abduction

Cites work

• A Machine-Oriented Logic Based on the Resolution Principle
• A Technique for Establishing Completeness Results in Theorem Proving with Equality
• scientific article; zbMATH DE number 4016226 (Why is no real title available?)
• scientific article; zbMATH DE number 4074541 (Why is no real title available?)
• scientific article; zbMATH DE number 4089521 (Why is no real title available?)
• scientific article; zbMATH DE number 125892 (Why is no real title available?)
• scientific article; zbMATH DE number 193539 (Why is no real title available?)
• scientific article; zbMATH DE number 3299786 (Why is no real title available?)
• scientific article; zbMATH DE number 3349331 (Why is no real title available?)
• Mechanizing structural induction. I: Formal system
• Proofs by induction in equational theories with constructors
• Proving Properties of Programs by Structural Induction
• Proving refutational completeness of theorem-proving strategies
• Semantic confluence tests and completion methods
• Simplifying conditional term rewriting systems: Unification, termination and confluence
• Termination of rewriting
• The Concept of Demodulation in Theorem Proving
• Theorem-proving with resolution and superposition

Cited in

(9)

• Reasoning with slippery predicates
• Automated inferencing
• Goal-sensitive reasoning with disconnection tableaux
• Sound generalizations in mathematical induction
• Conditionals and supposition-based reasoning
• A general approach for determining the validity of commonsense assertions using conditional logics
• scientific article; zbMATH DE number 627500 (Why is no real title available?)
• scientific article; zbMATH DE number 2080004 (Why is no real title available?)
• scientific article; zbMATH DE number 1538009 (Why is no real title available?)

Describes a project that uses

Uses Software

• LARCH

This page was built for publication: Reasoning with conditional axioms

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