Artificial Intelligence, Volume 95

Volume 95, Number 1, August 1997

• T. L. McCluskey, J. M. Porteous:
  Engineering and Compiling Planning Domain Models to Promote Validity and Efficiency. 1-65
  
• Froduald Kabanza, Michel Barbeau, Richard St.-Denis:
  Planning Control Rules for Reactive Agents. 67-11
  
• Teodor C. Przymusinski:
  Autoepistemic Logic of Knowledge and Beliefs. 115-154
  
• Shmuel Onn, Moshe Tennenholtz:
  Determination of Social Laws for Multi-Agent Mobilization. 155-167
  
• Yan Xia, S. Sitharama Iyengar, Nathan E. Brener:
  An Event Drive Integration Reasoning Scheme for Handling Dynamic Threats in an Unstructured Environment. 169-186
  
• Luc De Raedt:
  Logical Settings for Concept-Learning. 187-201
  
• Kurt Ammon:
  An Automatic Proof of Gödel's Incompleteness Theorem. 203-207
  

Volume 95, Number 2, September 1997

• Daniel Berleant, Benjamin Kuipers:
  Qualitative and Quantitative Simulation: Bridging the Gap. 215-255
  
• Nir Friedman, Joseph Y. Halpern:
  Modeling Belief in Dynamic Systems, Part I: Foundations. 257-316
  
• Eliseo Clementini, Paolino Di Felice, Daniel Hernández:
  Qualitative Representation of Positional Information. 317-356
  
• Carl A. Gunter, Teow-Hin Ngair, Devika Subramanian:
  The Common Order-Theoretic Structure of Version Spaces and ATMSs. 357-407
  
• Enrico Giunchiglia, G. Neelakantan Kartha, Vladimir Lifschitz:
  Representing Action: Indeterminacy and Ramifications. 409-438