-
1
-
-
0000128393
-
On the logic of theory change: Partial meet contraction and revision functions
-
C.E. Alchourrón, P. Gärdenfors and D. Makinson, On the logic of theory change: partial meet contraction and revision functions, J. Symbolic Logic 50 (1985) 510-530.
-
(1985)
J. Symbolic Logic
, vol.50
, pp. 510-530
-
-
Alchourrón, C.E.1
Gärdenfors, P.2
Makinson, D.3
-
2
-
-
0002198395
-
Towards a theory of declarative knowledge
-
ed. J. Minker Morgan Kaufmann, San Mateo, CA
-
K.R. Apt, H.A. Blair and A. Walker, Towards a theory of declarative knowledge, in: Foundations of Deductive Databases and Logic Programming, ed. J. Minker (Morgan Kaufmann, San Mateo, CA, 1988) pp. 89-142.
-
(1988)
Foundations of Deductive Databases and Logic Programming
, pp. 89-142
-
-
Apt, K.R.1
Blair, H.A.2
Walker, A.3
-
5
-
-
0041303237
-
Development of an ecological decision support system
-
Proceedings of the 11th International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, IEA/AIE '98, eds. A.P. del Pobil, J. Mira and M. Ali, Springer, Berlin
-
F. van Beusekom, F.M.T. Brazier, P. Schipper and J. Treur, Development of an ecological decision support system, in: Proceedings of the 11th International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, IEA/AIE '98, eds. A.P. del Pobil, J. Mira and M. Ali, Lecture Notes in Artificial Intelligence, Vol. 1416 (Springer, Berlin, 1998) pp. 815-825.
-
(1998)
Lecture Notes in Artificial Intelligence
, vol.1416
, pp. 815-825
-
-
Van Beusekom, F.1
Brazier, F.M.T.2
Schipper, P.3
Treur, J.4
-
6
-
-
0011653221
-
Analysis of multi-interpretable ecological monitoring information
-
Applications of Uncertainty Formalisms, eds. A. Hunter and S. Parsons, Springer, Berlin
-
F.M.T. Brazier, J. Engelfriet and J. Treur, Analysis of multi-interpretable ecological monitoring information, in: Applications of Uncertainty Formalisms, eds. A. Hunter and S. Parsons, Lecture Notes in Artificial Intelligence, Vol. 1455 (Springer, Berlin, 1998) pp. 303-324.
-
(1998)
Lecture Notes in Artificial Intelligence
, vol.1455
, pp. 303-324
-
-
Brazier, F.M.T.1
Engelfriet, J.2
Treur, J.3
-
8
-
-
85028463688
-
Adding priorities and specificity to default logic
-
Logics in Artificial Intelligence, Proceedings JELIA '94, eds. C. MacNish, D. Pearce and L.M. Pereira, Springer, Berlin
-
G. Brewka, Adding priorities and specificity to default logic, in: Logics in Artificial Intelligence, Proceedings JELIA '94, eds. C. MacNish, D. Pearce and L.M. Pereira, Lecture Notes in Artificial Intelligence, Vol. 838 (Springer, Berlin, 1994) pp. 247-260.
-
(1994)
Lecture Notes in Artificial Intelligence
, vol.838
, pp. 247-260
-
-
Brewka, G.1
-
9
-
-
0042304848
-
-
Working paper, NTZ-Report 7/94, Department of Computer Science, University of Leipzig, Germany
-
J. Dietrich, Deductive bases of nonmonotonic inference operations, Working paper, NTZ-Report 7/94, Department of Computer Science, University of Leipzig, Germany (1994).
-
(1994)
Deductive Bases of Nonmonotonic Inference Operations
-
-
Dietrich, J.1
-
10
-
-
0042304859
-
-
Working paper, NTZ-Report 5/94, Department of Computer Science, University of Leipzig, Germany
-
J. Dietrich and H. Herre, Outline of nonmonotonic model theory, Working paper, NTZ-Report 5/94, Department of Computer Science, University of Leipzig, Germany (1994).
-
(1994)
Outline of Nonmonotonic Model Theory
-
-
Dietrich, J.1
Herre, H.2
-
11
-
-
0010317071
-
Reasoning with parsimonious and moderately grounded expansions
-
T. Eiter and G. Gottlob, Reasoning with parsimonious and moderately grounded expansions, Fund. Inform. 17 (1992) 31-53.
-
(1992)
Fund. Inform.
, vol.17
, pp. 31-53
-
-
Eiter, T.1
Gottlob, G.2
-
12
-
-
84957368670
-
Nonmonotonic belief state frames and reasoning frames
-
Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Proceedings ECSQARU '95, eds. C. Froidevaux and J. Kohlas, Springer, Berlin
-
J. Engelfriet, H. Herre and J. Treur, Nonmonotonic belief state frames and reasoning frames, in: Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Proceedings ECSQARU '95, eds. C. Froidevaux and J. Kohlas, Lecture Notes in Artificial Intelligence, Vol. 946 (Springer, Berlin, 1995) pp. 189-196.
-
(1995)
Lecture Notes in Artificial Intelligence
, vol.946
, pp. 189-196
-
-
Engelfriet, J.1
Herre, H.2
Treur, J.3
-
13
-
-
84947930138
-
Nonmonotonic reasoning with multiple belief sets
-
Practical Reasoning, Proceedings FAPR '96, eds. D.M. Gabbay and H.J. Ohlbach, Springer, Berlin
-
J. Engelfriet, H. Herre and J. Treur, Nonmonotonic reasoning with multiple belief sets, in: Practical Reasoning, Proceedings FAPR '96, eds. D.M. Gabbay and H.J. Ohlbach, Lecture Notes in Artificial Intelligence, Vol. 1085 (Springer, Berlin, 1996) pp. 331-344.
-
(1996)
Lecture Notes in Artificial Intelligence
, vol.1085
, pp. 331-344
-
-
Engelfriet, J.1
Herre, H.2
Treur, J.3
-
14
-
-
84955607175
-
Infinitary default logic for specification of nonmonotonic reasoning
-
Logics in Artificial Intelligence, Proceedings JELIA '96, eds. J.J. Alferes, L.M. Pereira and E. Orlowska, Springer, Berlin
-
J. Engelfriet, V.W. Marek, J. Treur and M. Truszczynski, Infinitary default logic for specification of nonmonotonic reasoning, in: Logics in Artificial Intelligence, Proceedings JELIA '96, eds. J.J. Alferes, L.M. Pereira and E. Orlowska, Lecture Notes in Artificial Intelligence, Vol. 1126 (Springer, Berlin, 1996) pp. 224-236.
-
(1996)
Lecture Notes in Artificial Intelligence
, vol.1126
, pp. 224-236
-
-
Engelfriet, J.1
Marek, V.W.2
Treur, J.3
Truszczynski, M.4
-
15
-
-
0011606388
-
A temporal model theory for default logic
-
Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Proceedings ECSQARU '93, eds. M. Clarke, R. Kruse and S. Moral, Springer, New York
-
J. Engelfriet and J. Treur, A temporal model theory for default logic, in: Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Proceedings ECSQARU '93, eds. M. Clarke, R. Kruse and S. Moral, Lecture Notes in Computer Science, Vol. 747 (Springer, New York, 1993) pp. 91-96. A fully revised and extended version appeared as: An interpretation of default logic in minimal temporal epistemic logic, J. Logic Language Inform. 7 (1998) 369-388.
-
(1993)
Lecture Notes in Computer Science
, vol.747
, pp. 91-96
-
-
Engelfriet, J.1
Treur, J.2
-
16
-
-
54649083637
-
An interpretation of default logic in minimal temporal epistemic logic
-
J. Engelfriet and J. Treur, A temporal model theory for default logic, in: Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Proceedings ECSQARU '93, eds. M. Clarke, R. Kruse and S. Moral, Lecture Notes in Computer Science, Vol. 747 (Springer, New York, 1993) pp. 91-96. A fully revised and extended version appeared as: An interpretation of default logic in minimal temporal epistemic logic, J. Logic Language Inform. 7 (1998) 369-388.
-
(1998)
J. Logic Language Inform.
, vol.7
, pp. 369-388
-
-
-
17
-
-
0011597246
-
-
Logics in Artificial Intelligence, Proceedings JELIA '94, eds. C. MacNish, D. Pearce and L.M. Pereira, Springer, Berlin
-
J. Engelfriet and J. Treur, Temporal theories of reasoning, in: Logics in Artificial Intelligence, Proceedings JELIA '94, eds. C. MacNish, D. Pearce and L.M. Pereira, Lecture Notes in Artificial Intelligence, Vol. 838 (Springer, Berlin, 1994) pp. 279-299. Also in: J. Appl. Non-Classical Logics 5(2) (1995) 239-261.
-
(1994)
Lecture Notes in Artificial Intelligence
, vol.838
, pp. 279-299
-
-
Engelfriet, J.1
Treur, J.2
Reasoning, T.T.O.3
-
18
-
-
84947855143
-
-
J. Engelfriet and J. Treur, Temporal theories of reasoning, in: Logics in Artificial Intelligence, Proceedings JELIA '94, eds. C. MacNish, D. Pearce and L.M. Pereira, Lecture Notes in Artificial Intelligence, Vol. 838 (Springer, Berlin, 1994) pp. 279-299. Also in: J. Appl. Non-Classical Logics 5(2) (1995) 239-261.
-
(1995)
J. Appl. Non-Classical Logics
, vol.5
, Issue.2
, pp. 239-261
-
-
-
19
-
-
84947917477
-
Specification of nonmonotonic reasoning
-
Practical Reasoning, Proceedings FAPR '96, eds. D.M. Gabbay and H.J. Ohlbach, Springer, Berlin
-
J. Engelfriet and J. Treur, Specification of nonmonotonic reasoning, in: Practical Reasoning, Proceedings FAPR '96, eds. D.M. Gabbay and H.J. Ohlbach, Lecture Notes in Artificial Intelligence, Vol. 1085 (Springer, Berlin, 1996) pp. 111-125.
-
(1996)
Lecture Notes in Artificial Intelligence
, vol.1085
, pp. 111-125
-
-
Engelfriet, J.1
Treur, J.2
-
20
-
-
85167866605
-
A semantics for default logic
-
D.W. Etherington, A semantics for default logic, in: Proceedings IJCAI-87 (1987) pp. 495-498. See also D.W. Etherington, Reasoning with Incomplete Information (Morgan Kaufmann, San Mateo, CA, 1988).
-
(1987)
Proceedings IJCAI-87
, pp. 495-498
-
-
Etherington, D.W.1
-
21
-
-
0004084659
-
-
Morgan Kaufmann, San Mateo, CA
-
D.W. Etherington, A semantics for default logic, in: Proceedings IJCAI-87 (1987) pp. 495-498. See also D.W. Etherington, Reasoning with Incomplete Information (Morgan Kaufmann, San Mateo, CA, 1988).
-
(1988)
Reasoning with Incomplete Information
-
-
Etherington, D.W.1
-
22
-
-
0002752749
-
Theoretical foundations for non-monotonic reasoning in expert systems
-
ed. K. Apt Springer, Berlin
-
D.M. Gabbay, Theoretical foundations for non-monotonic reasoning in expert systems, in: Logic and Models of Concurrent Systems, ed. K. Apt (Springer, Berlin, 1985).
-
(1985)
Logic and Models of Concurrent Systems
-
-
Gabbay, D.M.1
-
23
-
-
0000874592
-
Two modelings for theory change
-
A. Grove, Two modelings for theory change, J. Philos. Logic 17 (1988) 157-170.
-
(1988)
J. Philos. Logic
, vol.17
, pp. 157-170
-
-
Grove, A.1
-
24
-
-
0042805902
-
Compactness properties of nonmonotonic inference operations
-
Logics in Artificial Intelligence, Proceedings JELIA '94, eds. C. MacNish, D. Pearce and L.M. Pereira, Springer, Berlin
-
H. Herre, Compactness properties of nonmonotonic inference operations, in: Logics in Artificial Intelligence, Proceedings JELIA '94, eds. C. MacNish, D. Pearce and L.M. Pereira, Lecture Notes in Artificial Intelligence, Vol. 838 (Springer, Berlin, 1994) pp. 19-33. Also in: J. Appl. Non-Classical Logics 5(1) (1995) 121-136 (Special Issue with selected papers from JELIA '94).
-
(1994)
Lecture Notes in Artificial Intelligence
, vol.838
, pp. 19-33
-
-
Herre, H.1
-
25
-
-
84887480721
-
-
Special Issue with selected papers from JELIA '94
-
H. Herre, Compactness properties of nonmonotonic inference operations, in: Logics in Artificial Intelligence, Proceedings JELIA '94, eds. C. MacNish, D. Pearce and L.M. Pereira, Lecture Notes in Artificial Intelligence, Vol. 838 (Springer, Berlin, 1994) pp. 19-33. Also in: J. Appl. Non-Classical Logics 5(1) (1995) 121-136 (Special Issue with selected papers from JELIA '94).
-
(1995)
J. Appl. Non-Classical Logics
, vol.5
, Issue.1
, pp. 121-136
-
-
-
26
-
-
0031076755
-
Stable models are generated by a stable chain
-
H. Herre and G. Wagner, Stable models are generated by a stable chain, J. Logic Programming 30(2) (1997) 165-177.
-
(1997)
J. Logic Programming
, vol.30
, Issue.2
, pp. 165-177
-
-
Herre, H.1
Wagner, G.2
-
28
-
-
84990620238
-
Hierarchic autoepistemic theories for nonmonotonic reasoning
-
Minneapolis
-
K. Konolidge, Hierarchic autoepistemic theories for nonmonotonic reasoning, in: Proceedings AAAI '88, Minneapolis (1988).
-
(1988)
Proceedings AAAI '88
-
-
Konolidge, K.1
-
29
-
-
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 (1990) 167-207.
-
(1990)
Artificial Intelligence
, vol.44
, pp. 167-207
-
-
Kraus, S.1
Lehmann, D.2
Magidor, M.3
-
31
-
-
84910776762
-
General theory of cumulative inference
-
Non-Monotonic Reasoning, eds. M. Reinfrank et al., Springer, Berlin
-
D. Makinson, General theory of cumulative inference, in: Non-Monotonic Reasoning, eds. M. Reinfrank et al., Lecture Notes in Artificial Intelligence, Vol. 346 (Springer, Berlin, 1989) pp. 1-18.
-
(1989)
Lecture Notes in Artificial Intelligence
, vol.346
, pp. 1-18
-
-
Makinson, D.1
-
32
-
-
0003093745
-
General patterns in nonmonotonic reasoning
-
eds. D.M. Gabbay, C.J. Hogger and J.A. Robinson Oxford Science Publications, Oxford
-
D. Makinson, General patterns in nonmonotonic reasoning, in: Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3, eds. D.M. Gabbay, C.J. Hogger and J.A. Robinson (Oxford Science Publications, Oxford, 1994).
-
(1994)
Handbook of Logic in Artificial Intelligence and Logic Programming
, vol.3
-
-
Makinson, D.1
-
33
-
-
37349044608
-
Circumscription - A form of non-monotonic reasoning
-
J. McCarthy, Circumscription - a form of non-monotonic reasoning, Artificial Intelligence 13 (1980) 27-39.
-
(1980)
Artificial Intelligence
, vol.13
, pp. 27-39
-
-
McCarthy, J.1
-
36
-
-
0024066001
-
A logical framework for default reasoning
-
D. Poole, A logical framework for default reasoning, Artificial Intelligence 36 (1988) 27-47.
-
(1988)
Artificial Intelligence
, vol.36
, pp. 27-47
-
-
Poole, D.1
-
38
-
-
49149147322
-
A logic for default reasoning
-
R. Reiter, A logic for default reasoning, Artificial Intelligence 13 (1980) 81-132.
-
(1980)
Artificial Intelligence
, vol.13
, pp. 81-132
-
-
Reiter, R.1
-
40
-
-
0000023467
-
Constructive default logic and the control of defeasible reasoning
-
ed. B. Neumann Wiley, New York
-
Y.-H. Tan and J. Treur, Constructive default logic and the control of defeasible reasoning, in: Proceedings ECAI '92, ed. B. Neumann (Wiley, New York, 1992) pp. 299-303.
-
(1992)
Proceedings ECAI '92
, pp. 299-303
-
-
Tan, Y.-H.1
Treur, J.2
-
42
-
-
0011535301
-
Preference-based semantics for nonmonotonic logics
-
ed. R. Bajcsy Morgan Kaufmann, San Mateo, CA
-
F. Voorbraak, Preference-based semantics for nonmonotonic logics, in: Proceedings UCAI-93, ed. R. Bajcsy (Morgan Kaufmann, San Mateo, CA, 1993) pp. 584-589.
-
(1993)
Proceedings UCAI-93
, pp. 584-589
-
-
Voorbraak, F.1
|