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
• Marc Gyssens, Peter Jeavons, David A. Cohen: Decomposing Constraint Satisfaction Problems Using Database Techniques. 57-89
• L. Victor Allis, Maarten van der Meulen, H. Jaap van den Herik: Proof-Number Search. 91-124
• Bernhard Nebel, Christer Bäckström: On the Computational Complexity of Temporal Projection, Planning, and Plan Validation. 125-160
• Laura Giordano, Alberto Martelli: On Cumulative Default Logics. 161-179

• Peter Norvig, Paul S. Jacobs: Text-Based Intelligent Systems. 181-188

Volume 66, Number 2, April 1994

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