Artificial Intelligence, Volume 92
Volume 92, Numbers 1-2, May 1997
Gian Aldo Antonelli: Defeasible Inheritance on Cyclic Networks. 1-12- Joseph Douglas Horton, Bruce Spencer: Clause Trees: A Tool for Understanding and Implementing Resolution in Automated Reasoning. 25-89
- Benjamin Shults, Benjamin Kuipers: Proving Properties of Continuous Systems: Qualitative Simulation and Temporal Logic. 91-129
- Philippe Smets: The Normative Representation of Quantified Beliefs by Belief Functions. 229-242
- Xumin Nie: Non-Horn Clause Logic Programming. 243-258
- Salem Benferhat, Didier Dubois, Henri Prade: Nonmonotonic Reasoning, Conditional Objects and Possibility Theory. 259-276
- M. Freund: Default Extensions: Dealing with Computer Information. 277-288
- Tommy W. S. Chow, Jin-Yan Li: Higher-Order Petri Net Models Based on Artificial Neural Networks. 289-300
- Ajay D. Kshemkalyani: Reasoning About Causality Between Distributed Nonatomic Events. 301-315
- Paul E. Dunne, Trevor J. M. Bench-Capon: The Maximum Length of Prime Implicates for Instances of 3-SAT. 317-329
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team