A cost-reducing question-selection algorithm for propositional knowledge-based systems
From MaRDI portal
Publication:1776198
DOI10.1007/s10472-005-1809-2zbMath1060.68115OpenAlexW1981377900MaRDI QIDQ1776198
Publication date: 20 May 2005
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10472-005-1809-2
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Diagnosing multiple faults
- Inference guiding in propositional knowledge bases
- The problem of asking the minimum number of questions in Horn clause systems
- Solving propositional satisfiability problems
- Question-asking strategies for Horn clause systems
- A cost effective question-asking strategy for Horn clause systems
- Branching rules for satisfiability
This page was built for publication: A cost-reducing question-selection algorithm for propositional knowledge-based systems
