Artificial Intelligence
, Volume 92
Volume 92, Numbers 1-2, May 1997
Gian Aldo Antonelli
:
Defeasible Inheritance on Cyclic Networks.
1-12
Electronic Edition
(link)
BibTeX
Joseph Douglas Horton
,
Bruce Spencer
:
Clause Trees: A Tool for Understanding and Implementing Resolution in Automated Reasoning.
25-89
Electronic Edition
(link)
BibTeX
Benjamin Shults
,
Benjamin Kuipers
:
Proving Properties of Continuous Systems: Qualitative Simulation and Temporal Logic.
91-129
Electronic Edition
(link)
BibTeX
Fangzhen Lin
,
Raymond Reiter
:
How to Progress a Database.
131-167
Electronic Edition
(link)
BibTeX
David Pierce
,
Benjamin Kuipers
:
Map Learning with Uninterpreted Sensors and Effectors.
169-227
Electronic Edition
(link)
BibTeX
Philippe Smets
:
The Normative Representation of Quantified Beliefs by Belief Functions.
229-242
Electronic Edition
(link)
BibTeX
Xumin Nie
:
Non-Horn Clause Logic Programming.
243-258
Electronic Edition
(link)
BibTeX
Salem Benferhat
,
Didier Dubois
,
Henri Prade
:
Nonmonotonic Reasoning, Conditional Objects and Possibility Theory.
259-276
Electronic Edition
(link)
BibTeX
M. Freund
:
Default Extensions: Dealing with Computer Information.
277-288
Electronic Edition
(link)
BibTeX
Tommy W. S. Chow
,
Jin-Yan Li
:
Higher-Order Petri Net Models Based on Artificial Neural Networks.
289-300
Electronic Edition
(link)
BibTeX
Ajay D. Kshemkalyani
:
Reasoning About Causality Between Distributed Nonatomic Events.
301-315
Electronic Edition
(link)
BibTeX
Paul E. Dunne
,
Trevor J. M. Bench-Capon
:
The Maximum Length of Prime Implicates for Instances of 3-SAT.
317-329
Electronic Edition
(link)
BibTeX
Copyright ©
Sat May 16 23:49:46 2009 by
Michael Ley
(
ley@uni-trier.de
)