


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














