-
1
-
-
77956969818
-
An introduction to first-order logic
-
Barwise, J. (ed.) Amsterdam: North Holland
-
Barwise, J.: "An introduction to first-order logic". Barwise, J. (ed.) Handbook of Mathematical Logic, Amsterdam: North Holland, 1977, p.5-46
-
(1977)
Handbook of Mathematical Logic
, pp. 5-46
-
-
Barwise, J.1
-
2
-
-
0005462283
-
Embedding defaults into terminological knowledge representation formalisms
-
Cambridge, Mass., USA
-
Baader, F. and Hollunder, B.: "Embedding defaults into terminological knowledge representation formalisms". Proceedings of the 3rd International Conference on Knowledge Representation and Reasoning, Cambridge, Mass., USA, 1992
-
(1992)
Proceedings of the 3rd International Conference on Knowledge Representation and Reasoning
-
-
Baader, F.1
Hollunder, B.2
-
3
-
-
0021785464
-
Saturation, Nonmonotonic Reasoning and the Closed- World Assumption
-
Bossu, G. and Siegel, P.: "Saturation, Nonmonotonic Reasoning and the Closed- World Assumption", Artificial Intelligence 25, 1985, p.13-63
-
(1985)
Artificial Intelligence
, vol.25
, pp. 13-63
-
-
Bossu, G.1
Siegel, P.2
-
4
-
-
26444518044
-
-
Research Report RR-93-13, Deutsches Forschungszentrum fur Kunstliche Intelligenz, Stuhlsatzenhausweg 3, D-66123 Saarbrucken, Germany
-
Baader, F. and Schlechta, K.: "A semantics for open normal defaults via a modified preferential approach", Research Report RR-93-13, Deutsches Forschungszentrum fur Kunstliche Intelligenz, Stuhlsatzenhausweg 3, D-66123 Saarbrucken, Germany, 1993
-
(1993)
A Semantics for Open Normal Defaults via a Modified Preferential Approach
-
-
Baader, F.1
Schlechta, K.2
-
5
-
-
85157976250
-
Conditional Logics of Normality as Modal Systems
-
Boston
-
Boutilier, C.: "Conditional Logics of Normality as Modal Systems", AAAI, Boston, 1990, p.594
-
(1990)
AAAI
, pp. 594
-
-
Boutilier, C.1
-
7
-
-
0042009099
-
-
Dept. of Comp. Sc., Univ. Brit. Columbia TR 92-1, Jan. 92, Vancouver, Canada
-
Boutilier, C.: "Conditional Logics for Default Reasoning and Belief Revision", Dept. of Comp. Sc., Univ. Brit. Columbia TR 92-1, Jan. 92, Vancouver, Canada
-
Conditional Logics for Default Reasoning and Belief Revision
-
-
Boutilier, C.1
-
9
-
-
0002752749
-
Theoretical foundations for non-monotonic reasoning in expert systems
-
K.R. Apt (ed.), Berlin: Springer
-
Gabbay, D. M.: "Theoretical foundations for non-monotonic reasoning in expert systems". K.R. Apt (ed.), Logics and Models of Concurrent Systems, Berlin: Springer, 1985, p.439-457
-
(1985)
Logics and Models of Concurrent Systems
, pp. 439-457
-
-
Gabbay, D.M.1
-
10
-
-
0007774615
-
An analysis of some deontic logics
-
Hansson, B.: "An analysis of some deontic logics", Nous 3, p.373-398.
-
Nous
, vol.3
, pp. 373-398
-
-
Hansson, B.1
-
12
-
-
26444434158
-
Filter logics on ω
-
Kaufmann, M.: "Filter logics on ω", Journal of Symbolic Logic, 49, (1), 1984, p.241-256
-
(1984)
Journal of Symbolic Logic
, vol.49
, Issue.1
, pp. 241-256
-
-
Kaufmann, M.1
-
13
-
-
0002136379
-
Logic with the quantifier "there exist uncountably many"
-
Keisler, H. J.: "Logic with the quantifier "there exist uncountably many"", Annals of Mathematical Logic 1, 1970, p.1-93
-
(1970)
Annals of Mathematical Logic
, vol.1
, pp. 1-93
-
-
Keisler, H.J.1
-
14
-
-
0040950377
-
Fundamentals of model theory
-
J. Barwise ed., Amsterdam: North Holland
-
Keisler, H. J.: "Fundamentals of model theory", in Handbook of Mathematical Logic, J. Barwise ed., Amsterdam: North Holland, 1977, p.47-104
-
(1977)
Handbook of Mathematical Logic
, pp. 47-104
-
-
Keisler, H.J.1
-
15
-
-
0003798201
-
-
Berlin: Springer, original edition Princeton
-
Kelley, J. L.: General Topology, Berlin: Springer, 1975 (original edition Princeton 1955)
-
(1955)
General Topology
-
-
Kelley, J.L.1
-
16
-
-
0025462359
-
Nonmonotonic reasoning, preferential models and cumulative logics
-
Kraus, S., Lehmann, D., and Magidor, M.: "Nonmonotonic reasoning, preferential models and cumulative logics", Artificial Intelligence, 44, (1-2), 1990, p.167-207
-
(1990)
Artificial Intelligence
, vol.44
, Issue.1-2
, pp. 167-207
-
-
Kraus, S.1
Lehmann, D.2
Magidor, M.3
-
18
-
-
9444278958
-
-
Tech.Rept. TR-92-3, Feb. Hebrew University, Jerusalem 91904, Israel
-
Lehmann, D.: "Plausibility Logic", Tech.Rept. TR-92-3, Feb. 1992, Hebrew University, Jerusalem 91904, Israel
-
(1992)
Plausibility Logic
-
-
Lehmann, D.1
-
20
-
-
0026867827
-
What does a conditional knowledge base entail?
-
Lehmann, D. and Magidor, M.: "What does a conditional knowledge base entail?", Artificial Intelligence, 55, (1), 1992, p. 1-60
-
(1992)
Artificial Intelligence
, vol.55
, Issue.1
, pp. 1-60
-
-
Lehmann, D.1
Magidor, M.2
-
21
-
-
0000937409
-
Five Faces of Minimality
-
Makinson, D.: "Five Faces of Minimality", Studia Logica 52, (1993), p. 339-379
-
(1993)
Studia Logica
, vol.52
, pp. 339-379
-
-
Makinson, D.1
-
22
-
-
0003093745
-
General patterns in nonmonotonic reasoning
-
Gabbay, D., Hogger, C., and Robinson (eds.), Oxford: Oxford University Press
-
Makinson, D.: "General patterns in nonmonotonic reasoning", in Gabbay, D., Hogger, C., and Robinson (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, vol. III: Nonmonotonic and Uncertain Reasoning, Oxford: Oxford University Press, 1994, p. 35-110
-
(1994)
Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. III: Nonmonotonic and Uncertain Reasoning
, vol.3
, pp. 35-110
-
-
Makinson, D.1
-
23
-
-
0002400729
-
On a generalization of quantifiers
-
Mostowski, A.: "On a generalization of quantifiers", Fundamenta Mathematicae 44, 1957, 12-36
-
(1957)
Fundamenta Mathematicae
, vol.44
, pp. 12-36
-
-
Mostowski, A.1
-
24
-
-
49149147322
-
A logic for default reasoning
-
Reiter, R.: "A logic for default reasoning", Artificial Intelligence 13, (1-2), 1960, p.81-132
-
(1960)
Artificial Intelligence
, vol.13
, Issue.1-2
, pp. 81-132
-
-
Reiter, R.1
-
25
-
-
0040092868
-
Some Results on Classical Preferential Models
-
Oxford
-
Schlechta, K.: "Some Results on Classical Preferential Models", Journal of Logic and Computation, Oxford, 2, (No.6), 1992, p. 675-686 +
-
(1992)
Journal of Logic and Computation
, vol.2
, Issue.6
-
-
Schlechta, K.1
-
26
-
-
9444282600
-
-
Research Report RR 6, 03/94, Laboratoire d'Informatique de Marseille, URA CNRS 1787, CMI, 39, rue Joliot-Curie, F-13453 Marseille Cedex 13, France
-
Schlechta, K.: "Limit Preferential Models", Research Report RR 6, 03/94, Laboratoire d'Informatique de Marseille, URA CNRS 1787, CMI, 39, rue Joliot-Curie, F-13453 Marseille Cedex 13, France
-
Limit Preferential Models
-
-
Schlechta, K.1
-
27
-
-
0040686373
-
Defaults as Generalized Quantifiers
-
Oxford, No.92-27:4
-
Schlechta, K.: "Defaults as Generalized Quantifiers", Journal of Logic and Computation, Oxford, 5, (No.92-27:4), 1995, pp.1-22
-
(1995)
Journal of Logic and Computation
, vol.5
, pp. 1-22
-
-
Schlechta, K.1
-
28
-
-
0003922749
-
Preferential Choice Representation Theorems for Branching Time Structures
-
Oxford
-
Schlechta, K.: "Preferential Choice Representation Theorems for Branching Time Structures", Journal of Logic and Computation, Oxford, 5, 1995, pp.783-800
-
(1995)
Journal of Logic and Computation
, vol.5
, pp. 783-800
-
-
Schlechta, K.1
-
29
-
-
0040686370
-
Some Completeness Results for Stoppered and Ranked Classical Preferential Models
-
Oxford, No. 93-13
-
Schlechta, K.: "Some Completeness Results for Stoppered and Ranked Classical Preferential Models", Journal of Logic and Computation, Oxford, 6, (No. 93-13), 1996, pp.1-24
-
(1996)
Journal of Logic and Computation
, vol.6
, pp. 1-24
-
-
Schlechta, K.1
-
32
-
-
0023168460
-
A semantical approach to nonmonotonic logics
-
Ithaca, N.Y.
-
Shoham, Y.: "A semantical approach to nonmonotonic logics". In Proc. Logics in Computer Science, Ithaca, N.Y., 1987, p.275-279
-
(1987)
Proc. Logics in Computer Science
, pp. 275-279
-
-
Shoham, Y.1
-
33
-
-
0000551963
-
Combinations of Tense and Modality
-
Gabbay, D. and Guenthner, F. (eds.), Dordrecht: Reidel
-
Thomason, R. H.: "Combinations of Tense and Modality", Gabbay, D. and Guenthner, F. (eds.), Handbook of Philosophical Logic, Vol.II, Dordrecht: Reidel, 1984, p.135-165
-
(1984)
Handbook of Philosophical Logic
, vol.2
, pp. 135-165
-
-
Thomason, R.H.1
|