Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Browse All Reviews > Computing Methodologies (I) > Artificial Intelligence (I.2) > Deduction And Theorem Proving (I.2.3) > Metatheory (I.2.3...)  
 
Options:
 
  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
 
 
 
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy