Artificial Intelligence, Volume 18

Volume 18, Number 1, January 1982

• David E. Wilkins: Using Knowledge to Control Tree Searching. 1-51 BibTeX
• Dana S. Nau: The Last Player Theorem. 53-65 BibTeX
• Neil V. Murray: Completely Non-Clausal Theorem Proving. 67-85 BibTeX
• Allen Newell: The Knowledge Level. 87-127 BibTeX

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 BibTeX
• Michael P. Georgeff: Procedural Control in Production Systems. 175-201 BibTeX
• Tom M. Mitchell: Generalization as Search. 203-226 BibTeX
• David A. Plaisted: A Simplified Problem Reduction Format. 227-261 BibTeX

Volume 18, Number 3, May 1982

• Wolfgang Bibel: A Comparative Study of Several Proof Procedures. 269-293 BibTeX
• William A. Woods: Optimal Search Strategies for Speech Understanding Control. 295-326 BibTeX
• Michael C. McCord: Using Slots and Modifiers in Logic Grammars for Natural Language. 327-367 BibTeX