Artificial Intelligence, Volume 74

Volume 74, Number 1, March 1995

• Andrew Gelsey:
  Automated Reasoning About Machines. 1-53
  
• Roland Olsson:
  Inductive Functional Programming Using Incremental Program Transformation. 55-8
  
• David J. Musliner, Edmund H. Durfee, Kang G. Shin:
  World Modeling for the Dynamic Construction of Real-Time Control Plans. 83-127
  
• Henry A. Kautz, Michael J. Kearns, Bart Selman:
  Horn Approximations of Empirical Data. 129-145
  
• Murray Shanahan:
  Default Reasoning about Spatial Occupancy. 147-163
  
• Armand Prieditis, Robert Davis:
  Quantitatively Relating Abstractness to the Accuracy of Admissible Heuristics. 165-175
  
• Hong Xu:
  Computing Marginals for Arbitrary Subsets from Marginal Representation in Markov Trees. 177-189
  
• Raúl E. Valdés-Pérez:
  Machine Discovery in Chemistry: New Results. 191-201
  

Volume 74, Number 2, April 1995

• Alfonso Gerevini, Lenhart K. Schubert:
  Efficient Algorithms for Qualitative Reasoning about Time. 207-248
  
• Marco Schaerf, Marco Cadoli:
  Tractable Reasoning via Approximation. 249-310
  
• Adam J. Grove:
  Naming and Identity in Epistemic Logic Part II: A First-Order Logic for Naming. 311-350
  
• Vladimir Lifschitz:
  Nested Abnormality Theories. 351-365
  
• Vittorio Brusoni, Luca Console, Paolo Terenziani:
  On the Computational Complexity of Querying Bounds on Differences Constraints. 367-379
  
• Joseph Y. Halpern, Gerhard Lakemeyer:
  Levesque's Axiomatization of only Knowing is Incomplete. 381-387
  
• Damjan Bojadziev:
  Sloman's View of Gödel's Sentence. 389-393