-
1
-
-
0004950884
-
Nonmonotonic inferences in neural networks
-
eds. J.A. Allen, R. Fikes, and E. Sandewall, Morgan Kaufmann, San Mateo
-
C. Balkenius and P. Gärdenfors, "Nonmonotonic inferences in neural networks", in Principles of Knowledge Representation and Reasoning, eds. J.A. Allen, R. Fikes, and E. Sandewall (Morgan Kaufmann, San Mateo, 1991) pp. 32-39.
-
(1991)
Principles of Knowledge Representation and Reasoning
, pp. 32-39
-
-
Balkenius, C.1
Gärdenfors, P.2
-
3
-
-
0002999704
-
Semantics of Logic Programs
-
eds. A. Fuhrmann and H. Rott, de Gruyter, Berlin
-
J. Dix, "Semantics of Logic Programs", in Logic, Action, and Information, eds. A. Fuhrmann and H. Rott (de Gruyter, Berlin, 1996) pp. 241-327.
-
(1996)
Logic, Action, and Information
, pp. 241-327
-
-
Dix, J.1
-
4
-
-
0037753879
-
Conditional objects, possibility theory and default rules
-
eds. G. Crccco et al., Oxford University Press, Oxford
-
D. Dubois and H. Prade, "Conditional objects, possibility theory and default rules", in Conditionals: From Philosophy to Computer Science, eds. G. Crccco et al. (Oxford University Press, Oxford, 1996) pp. 301-336.
-
(1996)
Conditionals: From Philosophy to Computer Science
, pp. 301-336
-
-
Dubois, D.1
Prade, H.2
-
5
-
-
0004969806
-
How Logic Emerges from the Dynamics of Information
-
eds. J. Van Eijck, A. Visser, The MIT Press, Cambridge
-
P. Gärdenfors, "How Logic Emerges from the Dynamics of Information", in Logic and Information Flow, eds. J. Van Eijck, A. Visser (The MIT Press, Cambridge, 1994) pp. 49-77.
-
(1994)
Logic and Information Flow
, pp. 49-77
-
-
Gärdenfors, P.1
-
6
-
-
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
-
7
-
-
0035338887
-
Nonmonotonic reasoning by inhibition nets
-
H. Leitgeb, "Nonmonotonic reasoning by inhibition nets", Artificial Intelligence 128 (2001) 161-201.
-
(2001)
Artificial Intelligence
, vol.128
, pp. 161-201
-
-
Leitgeb, H.1
-
8
-
-
0347601062
-
-
Doctoral Dissertation, University of Salzburg, Salzburg
-
H. Leitgeb, Inference on the Low Level (Doctoral Dissertation, University of Salzburg, Salzburg, 2001).
-
(2001)
Inference on the Low Level
-
-
Leitgeb, H.1
-
9
-
-
84887040610
-
New Results on the Network Semantics for Cumulative Systems of Nonmonotonic Reasoning
-
H. Leitgeb, "New Results on the Network Semantics for Cumulative Systems of Nonmonotonic Reasoning", Informatikbenchte 287-8 (2001) 37-52.
-
(2001)
Informatikbenchte
, vol.287
, Issue.8
, pp. 37-52
-
-
Leitgeb, H.1
-
10
-
-
0025403234
-
All I know: A study in autoepistemic logic
-
H. Levesque, "All I know: a study in autoepistemic logic", Artificial Intelligence 42 (1990) 263-309.
-
(1990)
Artificial Intelligence
, vol.42
, pp. 263-309
-
-
Levesque, H.1
-
11
-
-
0001991208
-
Foundations of Logic Programming
-
ed. G. Brewka, CSLI, Stanford
-
V. Lifschitz, "Foundations of Logic Programming", in Principles of Knowledge Representation, ed. G. Brewka (CSLI, Stanford, 1996) pp. 69-127.
-
(1996)
Principles of Knowledge Representation
, pp. 69-127
-
-
Lifschitz, V.1
-
12
-
-
0003093745
-
General Patterns in Nonmonotonic Reasoning
-
eds. D.M. Gabbay, C.J. Hogger, and J.A. Robinson, Clarendon Press, Oxford
-
D. Makinson, "General Patterns in Nonmonotonic Reasoning", in Handbook of Logic in Artificial Intelligence and Logic Programming 3, eds. D.M. Gabbay, C.J. Hogger, and J.A. Robinson (Clarendon Press, Oxford, 1994) pp. 35-110.
-
(1994)
Handbook of Logic in Artificial Intelligence and Logic Programming 3
, vol.3
, pp. 35-110
-
-
Makinson, D.1
|