Anytime clausal reasoning

DOI10.1023/A:1018947704302zbMath0905.68115OpenAlexW1517172644MaRDI QIDQ1267774

Mukesh Dalal

Publication date: 13 October 1998

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

Full work available at URL: https://doi.org/10.1023/a:1018947704302

zbMATH Keywords

logical knowledge base

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05)

Related Items (6)

Informational semantics, non-deterministic matrices and feasible deduction ⋮ The enduring scandal of deduction. Is propositional logic really uninformative? ⋮ A modal view on resource-bounded propositional logics ⋮ Semantics and proof-theory of depth bounded Boolean logics ⋮ An informational view of classical logic ⋮ Approximate coherence-based reasoning

This page was built for publication: Anytime clausal reasoning