A general approach for determining the validity of commonsense assertions using conditional logics

DOI10.1002/INT.4550050505zbMATH Open0715.68075OpenAlexW2082139594MaRDI QIDQ3201782FDOQ3201782

James Delgrande, Chris Groeneboer

Publication date: 1990

Published in: International Journal of Intelligent Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/int.4550050505

zbMATH Keywords

theorem provingsemantic tableauxnormal conditional logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The logic of conditional obligation. Comments by Harry Beatty
• Title not available (Why is that?)
• Proof methods for modal and intuitionistic logics
• Counterfactuals and comparative possibility
• Title not available (Why is that?)
• Generality in artificial intelligence

Cited In (2)

• Formalizing common sense: an operator-based approach to the Tibbles-Tib problem
• Theorem proving for conditional logics: CondLean and GOALDUCK

   Recommendations

• Conditional and preferential logics. Proof methods and theorem proving. 👍 👎
• Reasoning with conditional axioms 👍 👎
• Title not available (Why is that?) 👍 👎
• An approach to human-level commonsense reasoning 👍 👎
• Theorem proving for conditional logics: CondLean and GOALDUCK 👍 👎

This page was built for publication: A general approach for determining the validity of commonsense assertions using conditional logics

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