List of contents of
Artificial Intelligence
Volume 92
- j-aij-92-1
- G.A. Antonelli:
Defeasible inheritance on cyclic networks.
Artificial Intelligence,
Vol. 92, pp. 1-23.
- j-aij-92-25
- J.D. Horton, B. Spencer:
Clause trees: a tool for understanding and implementing resolution in automated reasoning.
Artificial Intelligence,
Vol. 92, pp. 25-89.
- j-aij-92-91
- B. Shults, B.J. Kuipers:
Proving properties of continuous systems: qualitative simulation and temporal logic.
Artificial Intelligence,
Vol. 92, pp. 91-129.
- j-aij-92-131
- F. Lin, R. Reiter:
How to progress a database.
Artificial Intelligence,
Vol. 92, pp. 131-167.
- j-aij-92-169
- D. Pierce, B.J. Kuipers:
Map learning with uninterpreted sensors and effectors.
Artificial Intelligence,
Vol. 92, pp. 169-227.
- j-aij-92-229
- P. Smets:
The normative representation of quantified beliefs by belief functions.
Artificial Intelligence,
Vol. 92, pp. 229-242.
- j-aij-92-243
- N. Xumin:
Non-Horn clause logic programming.
Artificial Intelligence,
Vol. 92, pp. 243-258.
- j-aij-92-259
- S. Benferhat, D. Dubois and H. Prade:
Nonmonotonic reasoning, conditional objects and possibility theory.
Artificial Intelligence,
Vol. 92, pp. 259-276.
- j-aij-92-277
- M. Freund:
Default extensions: dealing with computer information.
Artificial Intelligence,
Vol. 92, pp. 277-288.
- j-aij-92-289
- T.W.S. Chow, J. Li:
Higher-order Petri net models based on artificial neural networks.
Artificial Intelligence,
Vol. 92, pp. 289-300.
- j-aij-92-301
- A.D. Kshemkalyani:
Reasoning about causality between distributed nonatomic events.
Artificial Intelligence,
Vol. 92, pp. 301-315.
- j-aij-92-317
- P.E. Dunne, T.J.M. Bench-Capon:
The maximum length of prime implicates for instances of 3-SAT.
Artificial Intelligence,
Vol. 92, pp. 317-329.
29-Jul-97 16:44