Artificial Intelligence, Volume 74

Volume 74, Number 1, March 1995

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

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