Artificial Intelligence, Volume 92

Volume 92, Numbers 1-2, May 1997

• Gian Aldo Antonelli:
  Defeasible Inheritance on Cyclic Networks. 1-12
  
• Joseph Douglas Horton, Bruce Spencer:
  Clause Trees: A Tool for Understanding and Implementing Resolution in Automated Reasoning. 25-89
  
• Benjamin Shults, Benjamin Kuipers:
  Proving Properties of Continuous Systems: Qualitative Simulation and Temporal Logic. 91-129
  
• Fangzhen Lin, Raymond Reiter:
  How to Progress a Database. 131-167
  
• David Pierce, Benjamin Kuipers:
  Map Learning with Uninterpreted Sensors and Effectors. 169-227
  
• Philippe Smets:
  The Normative Representation of Quantified Beliefs by Belief Functions. 229-242
  
• Xumin Nie:
  Non-Horn Clause Logic Programming. 243-258
  
• Salem Benferhat, Didier Dubois, Henri Prade:
  Nonmonotonic Reasoning, Conditional Objects and Possibility Theory. 259-276
  
• M. Freund:
  Default Extensions: Dealing with Computer Information. 277-288
  
• Tommy W. S. Chow, Jin-Yan Li:
  Higher-Order Petri Net Models Based on Artificial Neural Networks. 289-300
  
• Ajay D. Kshemkalyani:
  Reasoning About Causality Between Distributed Nonatomic Events. 301-315
  
• Paul E. Dunne, Trevor J. M. Bench-Capon:
  The Maximum Length of Prime Implicates for Instances of 3-SAT. 317-329