Artificial Intelligence, Volume 25

Volume 25, Number 1, January 1985

Barbara J. Grosz: Natural-Language Processing. 1-4 BibTeX
Tomás Lozano-Pérez: Compliance in Robot Manipulation. 5-12 BibTeX
Genevieve Bossu, Pierre Siegel: Saturation, Nonmonotonic Reasoning and the Closed-World Assumption. 13-63 BibTeX
Alan K. Mackworth, Eugene C. Freuder: The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems. 65-74 BibTeX , Erratum: Artificial Intelligence 26(2): 247 (1985)
Robert C. Moore: Semantical Considerations on Nonmonotonic Logic. 75-94 BibTeX
Clark Glymour: Independence Assumptions and Bayesian Updating. 95-99 BibTeX

Book Review

Clive L. Dym: F. Hayes-Roth, D. A. Waterman and D. B. Lenat, Building Expert Systems (Book Review). 101-104 BibTeX
Johan de Kleer: F. Hayes-Roth, D. A. Waterman and D. B. Lenat, Building Expert Systems (Book Review). 105-107 BibTeX

Seizaburo Niizuma, Tadahiro Kitahashi: A Problem-Decomposition Method Using Differences or Equivalence Relations Between States. 117-151 BibTeX
Richard Alterman: A Dictionary Based on Concept Coherence. 153-186 BibTeX
Thomas G. Dietterich, Ryszard S. Michalski: Discovering Patterns in Sequences of Events. 187-232 BibTeX

Book Reviews

Kurt VanLehn: R. S. Michalski, J. G. Carbonell and T. M. Mitchell, Machine Learning: An Artificial Intelligence Approach. 233-236 BibTeX
Mark Stefik: R. S. Michalski, J. G. Carbonell and T. M. Mitchell, Machine Learning: An Artificial Intelligence Approach. 236-238 BibTeX
Clive L. Dym: S. M. Weiss and C. A. Kulikowski, A Practical Guide to Designing Expert Systems. 238-239 BibTeX

Edward E. Smith: Cognitive Psychology. 247-253 BibTeX
Jieh Hsiang: Refutational Theorem Proving Using Term-Rewriting Systems. 255-300 BibTeX
Donald Perlis: Languages With Self-Reference I: Foundations. 301-322 BibTeX
Nachum Dershowitz: Synthetic Programming. 323-373 BibTeX
Daniel G. Bobrow, Patrick J. Hayes: Artificial Intelligence - Where Are We? 375-415 BibTeX