default search action
Artificial Intelligence, Volume 18
Volume 18, Number 1, January 1982
- David E. Wilkins:
Using Knowledge to Control Tree Searching. 1-51 - Dana S. Nau:
The Last Player Theorem. 53-65 - Neil V. Murray:
Completely Non-Clausal Theorem Proving. 67-85 - Allen Newell:
The Knowledge Level. 87-127
Volume 18, Number 2, March 1982
- Mark Stefik, Jan Aikins, Robert Balzer, John Benoit, Lawrence Birnbaum, Frederick Hayes-Roth, Earl D. Sacerdoti:
The Organization of Expert Systems, A Tutorial. 135-173 - Michael P. Georgeff:
Procedural Control in Production Systems. 175-201 - Tom M. Mitchell:
Generalization as Search. 203-226 - David A. Plaisted:
A Simplified Problem Reduction Format. 227-261
Volume 18, Number 3, May 1982
- Wolfgang Bibel:
A Comparative Study of Several Proof Procedures. 269-293 - William A. Woods:
Optimal Search Strategies for Speech Understanding Control. 295-326 - Michael C. McCord:
Using Slots and Modifiers in Logic Grammars for Natural Language. 327-367
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.