Approximate coherence-based reasoning

DOI10.3166/JANCL.12.239-258zbMATH Open1060.68119OpenAlexW2065153879MaRDI QIDQ4453903FDOQ4453903

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

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

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)

Cites Work

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

Cited In (3)

• Title not available (Why is that?)
• 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)