Simplifying the design of knowledge-based algorithms using knowledge consistency

DOI10.1006/inco.1995.1091zbMath0832.68101MaRDI QIDQ1893742

Gil Neiger

Publication date: 2 August 1995

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1995.1091

zbMATH Keywords

knowledge-based algorithms

Mathematics Subject Classification ID

68T30: Knowledge representation

68W10: Parallel algorithms in computer science

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