A case study in the meta-reasoning procedure ND

DOI10.1080/0952813021000028621zbMath1025.68079OpenAlexW1964840444MaRDI QIDQ4407241

James J. Lu, Andrew Shaffer, Jeffrey S. Rosenthal

Publication date: 26 June 2003

Published in: Journal of Experimental & Theoretical Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/0952813021000028621

zbMATH Keywords

propositional reasoning procedures

Mathematics Subject Classification ID

Knowledge representation (68T30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Uses Software

• SATO