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