|
552
|
A Truth Maintenance System
– J Doyle
|
|
568
|
Diagnosing multiple faults
– J de Kleer, B C Williams
|
|
129
|
On the semantics of updates in databases
– Ronald Fagin, Jeffrey D Ullman, Moshe Y Vardi
- 1983
|
|
732
|
Circumscription - A Form of Non-Monotonic Reasoning
– John McCarthy
- 1980
|
|
120
|
Explanation and Prediction: An Architecture for Default and Abductive Reasoning
– David Poole
- 1993
|
|
1247
|
A logic for default reasoning
– R Reiter
- 1980
|
|
77
|
Counterfactuals
– M L Ginsberg
- 1986
|
|
8882
|
Computers and Intractability: A Guide to the Theory of NP-Completeness. W.H
– M R Garey, D S Johnson
- 1979
|
|
1360
|
Some Philosophical Problems from the Standpoint of Artificial Intelligence
– John Mccarthy, Patrick J. Hayes
- 1969
|
|
272
|
An assumption-based truth maintenance system
– J de Kleer
- 1986
|
|
348
|
A logical framework for default reasoning
– D Poole�
- 1988
|
|
407
|
Semantical considerations on nonmonotonic logic
– Robert Moore
- 1985
|
|
570
|
On the logic of theory change: Partial meet contraction and revision functions
– C E Alchourron, P Gärdenfors, D Makinson
- 1985
|
|
78
|
Diagnostic Expert Systems Based on a Set Covering Model
– J A Reggia, D S Nau, P Y Wang
- 1983
|
|
388
|
An assumption-based TMS
– J de Kleer
- 1986
|
|
223
|
Introduction to Artificial Intelligence
– E Charniak, D McDermott
- 1985
|
|
258
|
Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae
– William F Dowling, Jean H Gallier
- 1984
|
|
53
|
General diagnosis by abductive inference
– P T Cox, T Pietrzykowski
- 1987
|
|
92
|
On the mechanization of abductive logic
– H E Pople
- 1973
|
