-
2
-
-
0346231037
-
Foundations of conditional logic
-
J. Van Benthem. Foundations of conditional logic. J. of Philosophical Logic, 13:303-349, 1984.
-
(1984)
J. of Philosophical Logic
, vol.13
, pp. 303-349
-
-
Van Benthem, J.1
-
3
-
-
0001260586
-
On the semantics of supernormal defaults
-
S. Brass. On the semantics of supernormal defaults. In Proceedings IJCAI-93, pages 578-583, 1993.
-
(1993)
Proceedings IJCAI-93
, pp. 578-583
-
-
Brass, S.1
-
4
-
-
84957619276
-
Non-monotonic syntax-based entailment: A classification of consequence relations
-
C. Froidevaux and J. Kohlas, editors, Symbolic and Qualitative Approaches to Reasoning and Uncertainty, ECSQARU'95, Fribourg, Switzerland, July Springer Verlag
-
C. Cayrol and M.-C, Lagasquie-Shiex. Non-monotonic syntax-based entailment: A classification of consequence relations. In C. Froidevaux and J. Kohlas, editors, Symbolic and Qualitative Approaches to Reasoning and Uncertainty, ECSQARU'95, pages 107-114, Fribourg, Switzerland, July 1995. Springer Verlag. Lecture Notes in AI, 946.
-
(1995)
Lecture Notes in AI
, vol.946
, pp. 107-114
-
-
Cayrol, C.1
Lagasquie-Shiex, M.-C.2
-
5
-
-
0042157871
-
The relationship between KLM and MAK models for nonmonotonic inference operations
-
J. Dix and D. Makinson. The relationship between KLM and MAK models for nonmonotonic inference operations. J. of Logic and Computation, 1:131-140, 1992.
-
(1992)
J. of Logic and Computation
, vol.1
, pp. 131-140
-
-
Dix, J.1
Makinson, D.2
-
6
-
-
0028379075
-
Nonmonotonic inference based on expectations
-
P. Gardenfors and D. Makinson. Nonmonotonic inference based on expectations. Artificial Intelligence, 65:197-245, 1994.
-
(1994)
Artificial Intelligence
, vol.65
, pp. 197-245
-
-
Gardenfors, P.1
Makinson, D.2
-
8
-
-
0025462359
-
Nonmonotonic reasoning, preferential models and cumulative logics
-
S. Kraus, D. Lehmann, and M. Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44:167-207, 1990. (Pubitemid 20719858)
-
(1990)
Artificial Intelligence
, vol.44
, Issue.1-2
, pp. 167-207
-
-
Kraus, S.1
Lehmann, D.2
Magidor, M.3
-
9
-
-
0003093745
-
General patterns in nonmonotonic reasoning
-
D. M. Gabbay and Others, editors, Oxford University Press, Oxford
-
D. Makinson. General patterns in nonmonotonic reasoning. In D. M. Gabbay and Others, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3, Nonmonotonic and Uncertain Reasoning, volume 2, pages 35-110. Oxford University Press, Oxford, 1994.
-
(1994)
Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3, Nonmonotonic and Uncertain Reasoning
, vol.2
, pp. 35-110
-
-
Makinson, D.1
-
10
-
-
35348901949
-
Circumscriptions from what they cannot do
-
(Preliminary report). University of London
-
Y. Moinard and R. Rolland. Circumscriptions from what they cannot do (Preliminary report). In Working papers of Common Sense'98, pages 20-41, University of London, 1998.
-
(1998)
Working Papers of Common Sense'98
, pp. 20-41
-
-
Moinard, Y.1
Rolland, R.2
-
11
-
-
0006665530
-
Defeasible logic and the frame problem
-
R. Loui H. Kyburg and G. Carlson, editors, Kluwer Academic Publishers, Boston MA
-
D. Nute. Defeasible logic and the frame problem. In R. Loui H. Kyburg and G. Carlson, editors, Knowledge Representation and Defeasible Reasoning, pages 3-24. Kluwer Academic Publishers, Boston MA, 1990.
-
(1990)
Knowledge Representation and Defeasible Reasoning
, pp. 3-24
-
-
Nute, D.1
-
12
-
-
49149147322
-
A logic for default reasoning
-
R. Reiter. A logic for default reasoning. Artificial Intelligence, 13:81-132, 1980.
-
(1980)
Artificial Intelligence
, vol.13
, pp. 81-132
-
-
Reiter, R.1
-
13
-
-
0348122178
-
A representation theorem for preferential logics
-
L. C. Aiello, J. Doyle, and S. C. Shapiro, editors, Morgan Kaufmann
-
P. Siegel and L. Forget. A representation theorem for preferential logics. In L. C. Aiello, J. Doyle, and S. C. Shapiro, editors, Principles of Knowledge Representation and Reasoning. Proc. Fifth Int. Conference, KR'96, pages 453-460. Morgan Kaufmann, 1996.
-
(1996)
Principles of Knowledge Representation and Reasoning. Proc. Fifth Int. Conference, KR'96
, pp. 453-460
-
-
Siegel, P.1
Forget, L.2
|