On anytime coherence-based reasoning

DOI10.1007/3-540-44652-4_49MaRDI QIDQ4784863zbMATH OpenFDO

Authors Frédéric Koriche

Publication date 12 December 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2143/21430556

Mathematics Subject Classification ID

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

Recommendations

• A logic for anytime deduction and anytime compilation
• Nonmonotonic reasoning: From complexity to algorithms
• Resource bounded and anytime approximation of belief function computations.
• Resource-bounded paraconsistent inference

Cited in

(4)

• Anytime clausal reasoning
• A consistent reasoning model and its calculating algorithm for cooperative engagement
• A logic for anytime deduction and anytime compilation
• Approximate coherence-based reasoning

This page was built for publication: On anytime coherence-based reasoning

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