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

last updated on Sun May 26 04:28:43 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page