|
Browse All Reviews > Computing Methodologies (I) > Artificial Intelligence (I.2) > Deduction And Theorem Proving (I.2.3) > Metatheory (I.2.3...)
|
|
|
|
|
|
|
|
|
1-2 of 2
Reviews about "Metatheory (I.2.3...)":
|
Date Reviewed |
|
Principles of metareasoning Russell S. Artificial Intelligence 49(1-3): 361-395, 1991. Type: Article
The aim of the research presented in this paper is to give a rational agent with bounded resources a basis for selecting and justifying computational actions. The metareasoning in the title should be interpreted as “reasonin...
|
Aug 1 1992 |
|
Solving symbolic equations with PRESS Sterling L. (ed), Bundy A., Byrd L., O’Keefe R., Silver B. (ed) Journal of Symbolic Computation 7(1): 71-84, 1989. Type: Article
PRESS (PRolog Equation Solving System) is a program that uses heuristic reasoning to automatically solve systems of elementary equations like those given in General Certificate of Education A-level examinations at British universities....
|
Apr 1 1990 |
|
|
|
|
|