Inference guiding in propositional knowledge bases

DOI10.1023/A:1018984712480zbMath0913.68198OpenAlexW1576051098MaRDI QIDQ1277345

Jinchang Wang

Publication date: 2 February 1999

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

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

zbMATH Keywords

knowledge-based system

Mathematics Subject Classification ID

Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Related Items (1)

A cost-reducing question-selection algorithm for propositional knowledge-based systems

This page was built for publication: Inference guiding in propositional knowledge bases