-
1
-
-
0011653221
-
Analysis of multi-interpretable ecological monitoring information
-
Hunter A., Parsons S. (Eds.), Springer Verlag
-
F.M.T. Brazier, J. Engelfriet, J. Treur, Analysis of multi-interpretable ecological monitoring information, in: A. Hunter, S. Parsons (Eds.), Applications of Uncertainty Formalisms, Lecture Notes in AI, vol. 1455, Springer Verlag, 1998, pp. 303-324. Extended version in: Applied Artificial Intelligence Journal 16 (2002) 51-71.
-
(1998)
Applications of Uncertainty Formalisms, Lecture Notes in AI
, vol.1455
, pp. 303-324
-
-
Brazier, F.M.T.1
Engelfriet, J.2
Treur, J.3
-
2
-
-
84923711791
-
-
F.M.T. Brazier, J. Engelfriet, J. Treur, Analysis of multi-interpretable ecological monitoring information, in: A. Hunter, S. Parsons (Eds.), Applications of Uncertainty Formalisms, Lecture Notes in AI, vol. 1455, Springer Verlag, 1998, pp. 303-324. Extended version in: Applied Artificial Intelligence Journal 16 (2002) 51-71.
-
(2002)
Applied Artificial Intelligence Journal
, vol.16
, pp. 51-71
-
-
-
4
-
-
85028463688
-
Adding priorities and specificity to default logic
-
C. MacNish, D. Pearce, L.M. Pereira (Eds.), Logics in Artificial Intelligence, Proceedings of the JELIA-94, Springer-Verlag
-
G. Brewka, Adding priorities and specificity to default logic, in: C. MacNish, D. Pearce, L.M. Pereira (Eds.), Logics in Artificial Intelligence, Proceedings of the JELIA-94, Lecture Notes in Artificial Intelligence, vol. 838, Springer-Verlag, 1994, pp. 247-260.
-
(1994)
Lecture Notes in Artificial Intelligence
, vol.838
, pp. 247-260
-
-
Brewka, G.1
-
5
-
-
0028555757
-
Reasoning about priorities in default logic
-
G. Brewka, Reasoning about Priorities in Default Logic, in: Proceedings of the AAAI-94, 1994.
-
(1994)
Proceedings of the AAAI-94
-
-
Brewka, G.1
-
6
-
-
0032236025
-
Nonmonotonic reasoning with multiple belief sets
-
J. Engelfriet, H. Herre, J. Treur, Nonmonotonic reasoning with multiple belief sets, Annals of Mathematics and Artificial Intelligence 24 (1998) 225-248. Preliminary version in: D.M. Gabbay, H.J. Ohlbach (Eds.), Practical Reasoning, Proceedings FAPR'96, Lecture Notes in Artificial Intelligence, vol. 1085, Springer-Verlag, 1996, pp. 331-344.
-
(1998)
Annals of Mathematics and Artificial Intelligence
, vol.24
, pp. 225-248
-
-
Engelfriet, J.1
Herre, H.2
Treur, J.3
-
7
-
-
0011586638
-
Practical reasoning, proceedings FAPR'96
-
Springer-Verlag
-
J. Engelfriet, H. Herre, J. Treur, Nonmonotonic reasoning with multiple belief sets, Annals of Mathematics and Artificial Intelligence 24 (1998) 225-248. Preliminary version in: D.M. Gabbay, H.J. Ohlbach (Eds.), Practical Reasoning, Proceedings FAPR'96, Lecture Notes in Artificial Intelligence, vol. 1085, Springer-Verlag, 1996, pp. 331-344.
-
(1996)
Lecture Notes in Artificial Intelligence
, vol.1085
, pp. 331-344
-
-
Gabbay, D.M.1
Ohlbach, H.J.2
-
8
-
-
0035629121
-
Default logic and specification of nonmonotonic reasoning
-
J. Engelfriet, V.W. Marek, J. Treur, M. Truszczynski, Default logic and specification of nonmonotonic reasoning, Journal of Experimental and Theoretical AI 13 (2001) 99-112. Preliminary version in: J.J. Alferes, L.M. Pereira, E. Orlowska (Eds.), Logics in Artificial Intelligence, Proceedings of the Fourth European Workshop on Logics in AI, JELIA'96, Lecture Notes in Artificial Intelligence, vol. 1126, Springer-Verlag, 1996, pp. 224-236.
-
(2001)
Journal of Experimental and Theoretical AI
, vol.13
, pp. 99-112
-
-
Engelfriet, J.1
Marek, V.W.2
Treur, J.3
Truszczynski, M.4
-
9
-
-
0011585772
-
Logics in artificial intelligence
-
Proceedings of the Fourth European Workshop on Logics in AI, JELIA'96, Springer-Verlag
-
J. Engelfriet, V.W. Marek, J. Treur, M. Truszczynski, Default logic and specification of nonmonotonic reasoning, Journal of Experimental and Theoretical AI 13 (2001) 99-112. Preliminary version in: J.J. Alferes, L.M. Pereira, E. Orlowska (Eds.), Logics in Artificial Intelligence, Proceedings of the Fourth European Workshop on Logics in AI, JELIA'96, Lecture Notes in Artificial Intelligence, vol. 1126, Springer-Verlag, 1996, pp. 224-236.
-
(1996)
Lecture Notes in Artificial Intelligence
, vol.1126
, pp. 224-236
-
-
Alferes, J.J.1
Pereira, L.M.2
Orlowska, E.3
-
10
-
-
0004240663
-
-
Cambridge University Press
-
Hodges W. Model Theory. 1993;Cambridge University Press.
-
(1993)
Model Theory
-
-
Hodges, W.1
-
11
-
-
0003093745
-
General patterns in nonmonotonic reasoning
-
Gabbay D.M., Hogger C.J., Robinson J.A. (Eds.), Oxford Science Publications
-
Makinson D. General patterns in nonmonotonic reasoning. Gabbay D.M., Hogger C.J., Robinson J.A. Handbook of Logic in Artificial Intelligence and Logic Programming. vol. 3:1994;35-110 Oxford Science Publications.
-
(1994)
Handbook of Logic in Artificial Intelligence and Logic Programming
, vol.3
, pp. 35-110
-
-
Makinson, D.1
-
14
-
-
49149147322
-
A logic for default reasoning
-
Reiter R. A logic for default reasoning. Artificial Intelligence. 13:1980;81-132.
-
(1980)
Artificial Intelligence
, vol.13
, pp. 81-132
-
-
Reiter, R.1
-
15
-
-
0000023467
-
Constructive default logic and the control of defeasible reasoning
-
B. Neumann (Ed.), John Wiley
-
Y.-H. Tan, J. Treur, Constructive default logic and the control of defeasible reasoning, in: B. Neumann (Ed.), Proceedings of the European Conference on Artificial Intelligence, ECAI'92, John Wiley, 1992, pp. 299-303.
-
(1992)
Proceedings of the European Conference on Artificial Intelligence, ECAI'92
, pp. 299-303
-
-
Tan, Y.-H.1
Treur, J.2
|