Approximate coherence-based reasoning

DOI10.3166/JANCL.12.239-258MaRDI QIDQ4453903zbMATH OpenOpenAlexFDO

Authors Frédéric Koriche

Publication date 7 March 2004

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://hal-lirmm.ccsd.cnrs.fr/lirmm-00268549/file/b73922c73dd6e4fc0f110ba7fcb70afc7582.pdf

zbMATH Keywords

four-valued logicmulti-modal logicsanytime computation

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 1844497
• Resource-bounded paraconsistent inference
• The universe of approximations
• scientific article; zbMATH DE number 1841825
• The universe of propositional approximations

Cites work

• A nonstandard approach to the logical omniscience problem
• Another perspective on default reasoning
• Anytime clausal reasoning
• Argumentative logics: Reasoning with classically inconsistent information
• Counterfactuals
• Implementing the Davis-Putnam method
• Knowledge compilation and theory approximation
• Limited reasoning in first-order knowledge bases
• Local search characteristics of incomplete SAT procedures
• Nonmonotonic reasoning: From complexity to algorithms
• On inference from inconsistent premisses
• On the complexity of entailment in propositional multivalued logics
• Tractable reasoning via approximation

Cited in

(3)

• scientific article; zbMATH DE number 1728396 (Why is no real title available?)
• Does This Set of Clauses Overlap with at Least One MUS?
• Framing human inference by coherence based probability logic

This page was built for publication: Approximate coherence-based reasoning

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