Artificial Intelligence, Volume 66

Volume 66, Number 1, March 1994

Steve Hanks, Drew V. McDermott: Modeling a Dynamic and Uncertain World I: Symbolic and Probabilistic Reasoning About Change. 1-55 BibTeX
Marc Gyssens, Peter Jeavons, David A. Cohen: Decomposing Constraint Satisfaction Problems Using Database Techniques. 57-89 BibTeX
L. Victor Allis, Maarten van der Meulen, H. Jaap van den Herik: Proof-Number Search. 91-124 BibTeX
Bernhard Nebel, Christer Bäckström: On the Computational Complexity of Temporal Projection, Planning, and Plan Validation. 125-160 BibTeX
Laura Giordano, Alberto Martelli: On Cumulative Default Logics. 161-179 BibTeX

Book Review

Philippe Smets, Robert Kennes: The Transferable Belief Model. 191-234 BibTeX
Hans-Jürgen Bürckert: A Resolution Principle for Constrained Logics. 235-271 BibTeX
Dirk Ourston, Raymond J. Mooney: Theory Refinement Combining Analytical and Empirical Methods. 273-309 BibTeX
Ingemar J. Cox, John J. Leonard: Modeling a Dynamic Environment Using a Bayesian Multiple Hypothesis Approach. 311-344 BibTeX
Eugene Charniak, Solomon Eyal Shimony: Cost-Based Abduction and MAP Explanation. 345-374 BibTeX
Luis Fariñas del Cerro, Andreas Herzig, Jérôme Lang: From Ordering-Based Nonmonotonic Reasoning to Conditional Logics. 375-393 BibTeX
Ronald L. Greene: Efficient Retrieval from Sparse Associative Memory. 395-410 BibTeX