Luigia Carlucci Aiello;Richard W. Weyhrauch
-;-
Meta-reasoning: A Survey
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
A computerized referee
Reasoning, Action and Interaction in AI Theories and Systems