Artificial Intelligence, Volume 38

Volume 38, Number 1, February 1989

• Ken-ichi Kanatani, Tsai-Chia Chou:
  Shape from Texture: General Principle. 1-48
  
• Teodor C. Przymusinski:
  An Algorithm to Compute Circumscription. 49-73
  
• Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski:
  On the Relationship Between Circumscription and Negation as Failure. 75-94
  
• James B. H. Kwa:
  BS*: An Admissible Bidirectional Staged Heuristic Search Algorithm. 95-109
  
• Arkady Rabinov:
  A Generalization of Collapsible Cases of Circumscription. 111-117
  

• Stephen W. Smoliar:
  Michael R. Genesereth and Nils J. Nilsson, Logical Foundations of Artificial Intelligence. 119-124
  
• John F. Sowa:
  Michael R. Genesereth and Nils J. Nilsson, Logical Foundations of Artificial Intelligence. 125-131
  
• Nils J. Nilsson:
  On "Logical Foundations of Artificial Intelligence". A Response to the Reviews by S. Smoliar and J. Sowa. 132-133
  

Volume 38, Number 2, March 1989

• Francesco Gardin, Bernard Meltzer:
  Analogical Representations of Naive Physics. 139-159
  
• Hans J. Berliner, Carl Ebeling:
  Pattern Knowledge and Search: The SUPREM Architecture. 161-198
  

• Grigori F. Shvarts:
  Fixed Points in the Propositional Nonmonotonic Logic. 199-206
  
• Wei-Chung Lin, Cheng-Chung Liang, Chin-Tu Chen:
  A Computational Model for Process-Grammar. 207-224
  
• Vladimir Lifschitz, Arkady Rabinov:
  Miracles in Formal Theories of Action. 225-237
  

• Alan K. Mackworth:
  Z. W. Pylyshyn, Computation and Cognition: Toward a Foundation of Cognitive Science. 239-240
  
• Mark Stefik:
  Z .W. Pylyshyn, Computation and Cognition: Toward a Foundation of Cognitive Science. 241-247
  
• 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
  

Volume 38, Number 3, April 1989

• Dominique Pastre:
  MUSCADET: An Automatic Theorem Proving System Using Knowledge and Metaknowledge in Mathematics. 257-318
  
• Peter F. Patel-Schneider:
  A Four-Valued Semantics for Terminological Logics. 319-351, (Errata: Artificial Intelligence 39(3): 399 (1989))
  

• Rina Dechter, Judea Pearl:
  Tree Clustering for Constraint Networks. 353-366
  

• Daniel Jurafsky: James Allen, Understanding Natural Language. 367-377

Last update Sun May 19 23:47:22 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page