List of contents of
Artificial Intelligence
Volume 74 (1995)
- j-aij-74-1
- Andrew Gelsey:
Automated reasoning about machines.
Pages 1-53.
- j-aij-74-55
- Roland Olsson:
Inductive functional programming using incremental program transformation.
Pages 55-81.
- j-aij-74-83
- David J. Musliner, Edmund H. Durfee, and Kang G. Shin:
World modeling for the dynamic construction of real-time control plans.
Pages 83-127.
- j-aij-74-129
- Henry Kautz, Michael Kearns, and Bart Selman:
Horn approximations of empirical data.
Pages 129-145.
- j-aij-74-147
- Murray Shanahan:
Default reasoning about spatial occupancy.
Pages 147-163.
- j-aij-74-165
- Armand Prieditis and Robert Davis:
Quantitatively relating abstractness to the accuracy of admissible heuristics.
Pages 165-175.
- j-aij-74-177
- Hong Xu:
Computing marginals for arbitrary subsets from marginal representation in Markov trees.
Pages 177-189.
- j-aij-74-191
- Raul E. Valdes-Perez:
Machine discovery in chemistry: new results.
Pages 191-201.
- j-aij-74-207
- Alfonso Gerevini and Lenhart Schubert:
Efficient algorithms for qualitative reasoning about time.
Pages 207-248.
- j-aij-74-249
- Marco Schaerf and Marco Cadoli:
Tractable reasoning via approximation.
Pages 249-310.
- j-aij-74-311
- Adam J. Grove:
Naming and identity in epistemic logic Part II: a first-order logic for naming.
Pages 311-350.
- j-aij-74-351
- Vladimir Lifschitz:
Nested abnormality theories.
Pages 351-365.
- j-aij-74-367
- Vittorio Brusoni, Luca Console, and Paolo Terenziani:
On the computational complexity of querying bounds on differences constraints.
Pages 367-379.
- j-aij-74-381
- Joseph Y. Halpern and Gerhard Lakemeyer:
Levesque's axiomatization of only knowing is incomplete.
Pages 381-387.
- j-aij-74-389
- Damjan Bojadziev:
Sloman's view of Godel's sentence.
Pages 389-393.
29-Jul-97 16:44