Volume 38,
Number 1,
February 1989
Book Review
- Stephen W. Smoliar:
Michael R. Genesereth and Nils J. Nilsson, Logical Foundations of Artificial Intelligence.
119-124 BibTeX
- John F. Sowa:
Michael R. Genesereth and Nils J. Nilsson, Logical Foundations of Artificial Intelligence.
125-131 BibTeX
- Nils J. Nilsson:
On "Logical Foundations of Artificial Intelligence". A Response to the Reviews by S. Smoliar and J. Sowa.
132-133 BibTeX
Volume 38,
Number 2,
March 1989
Research Notes
Book Review
- Alan K. Mackworth:
Z. W. Pylyshyn, Computation and Cognition: Toward a Foundation of Cognitive Science.
239-240 BibTeX
- Mark Stefik:
Z .W. Pylyshyn, Computation and Cognition: Toward a Foundation of Cognitive Science.
241-247 BibTeX
- Zenon W. Pylyshyn:
On "Computation and Cognition: Toward a Foundation of Cognitive Science". A Response to the Reviews by A. K. Mackworth and M. J. Stefik.
248-251 BibTeX
Volume 38,
Number 3,
April 1989
- Dominique Pastre:
MUSCADET: An Automatic Theorem Proving System Using Knowledge and Metaknowledge in Mathematics.
257-318 BibTeX
- Peter F. Patel-Schneider:
A Four-Valued Semantics for Terminological Logics.
319-351 BibTeX
,
Errata:
Artificial Inteliigence 39(3):
399 (1989)
Research Note
Book Review
Copyright © Sat May 16 23:49:43 2009
by Michael Ley (ley@uni-trier.de)