-
2
-
-
0000128393
-
On the logic of theory change: Partial meet functions for contraction and revision
-
Alchourrón C.E.P., Gardenfors P., & Makinson D. (1985). On the logic of theory change: Partial meet functions for contraction and revision. J. of Symbolic Logic, 50, 513-530.
-
(1985)
J. of Symbolic Logic
, vol.50
, pp. 513-530
-
-
Alchourrón, C.E.P.1
Gardenfors, P.2
Makinson, D.3
-
3
-
-
0002604252
-
-
New-York, N.Y.: Academic Press
-
Bellman R., Cooke R.L., & Lockett J. (1970). Algorithms, Graphs and Computers., New-York, N.Y.: Academic Press.
-
(1970)
Algorithms, Graphs and Computers
-
-
Bellman, R.1
Cooke, R.L.2
Lockett, J.3
-
4
-
-
0036547530
-
A theoretical framework for possibilistic independence in a weakly ordered setting
-
Ben Amor N., Mellouli K., Benferhat S., Dubois D., & Prade H. (2002). A theoretical framework for possibilistic independence in a weakly ordered setting. Int. J. of Uncertainty, Fuzziness and Knowledge-Based Systems, 10, 117-155.
-
(2002)
Int. J. of Uncertainty, Fuzziness and Knowledge-based Systems
, vol.10
, pp. 117-155
-
-
Ben Amor, N.1
Mellouli, K.2
Benferhat, S.3
Dubois, D.4
Prade, H.5
-
5
-
-
0002149656
-
Representing default rules in possibilistic logic
-
Cambridge, MA
-
Benferhat S., Dubois D., & Prade H. (1992). Representing default rules in possibilistic logic. Proc. of the 3rd Inter. Conf. on Principles of Knowledge Representation and Reasoning (KR'92)., Cambridge, MA, 673-684.
-
(1992)
Proc. of the 3rd Inter. Conf. on Principles of Knowledge Representation and Reasoning (KR'92)
, pp. 673-684
-
-
Benferhat, S.1
Dubois, D.2
Prade, H.3
-
6
-
-
0043115834
-
Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study
-
Benferhat S., Dubois D., & Prade H. (1997a). Some syntactic approaches to the handling of inconsistent knowledge bases: a comparative study. Studia Logica, 58, 17-45.
-
(1997)
Studia Logica
, vol.58
, pp. 17-45
-
-
Benferhat, S.1
Dubois, D.2
Prade, H.3
-
7
-
-
0031145253
-
Non-monotonie reasoning, conditional objects and possibility theory
-
Benferhat S., Dubois D., & Prade H. (1997b). Non-monotonie reasoning, conditional objects and possibility theory. Artificial Intelligence, 92, 259-276.
-
(1997)
Artificial Intelligence
, vol.92
, pp. 259-276
-
-
Benferhat, S.1
Dubois, D.2
Prade, H.3
-
8
-
-
0033319827
-
Possibilistic and standard probabilistic semantics of conditional knowledge
-
1999
-
Benferhat S., Dubois D., & Prade H. (1999a). Possibilistic and standard probabilistic semantics of conditional knowledge. Journal of Logic and Computation, 9, 873-895, 1999.
-
(1999)
Journal of Logic and Computation
, vol.9
, pp. 873-895
-
-
Benferhat, S.1
Dubois, D.2
Prade, H.3
-
9
-
-
0032596396
-
A sequential reversible belief revision method based on polynomials
-
Orlando, Floride (USA) AAAI Press/The MIT Press
-
Benferhat S., Dubois D., & Papini O. (1999b). A sequential reversible belief revision method based on polynomials. Proceedings National American AI conference (AAAI-99), Orlando, Floride (USA) AAAI Press/The MIT Press, p. 733-738.
-
(1999)
Proceedings National American AI Conference (AAAI-99)
, pp. 733-738
-
-
Benferhat, S.1
Dubois, D.2
Papini, O.3
-
10
-
-
0242397224
-
A big-stepped probability approach for discovering default rules
-
Annecy, France
-
Benferhat S., Dubois D., Lagrue S., & Prade H. (2002). A big-stepped probability approach for discovering default rules. Proc. of the Ninth International Conference, Information Processing and Management of Uncertainty in Knowledge-based Systems (IPMU 2002), Annecy, France, p. 283-289.
-
(2002)
Proc. of the Ninth International Conference, Information Processing and Management of Uncertainty in Knowledge-based Systems (IPMU 2002)
, pp. 283-289
-
-
Benferhat, S.1
Dubois, D.2
Lagrue, S.3
Prade, H.4
-
11
-
-
84992255304
-
Probabilistic logic under coherence, model theoretic probabilistic logic, and default reasoning in system P
-
Biazzo V., Gilio A., Lukasiewicz T., & Sanfilippo G. Probabilistic Logic under Coherence, Model Theoretic Probabilistic Logic, and Default Reasoning in System P. J. Applied Non-Classical Logics, 12(2), 2002.
-
(2002)
J. Applied Non-classical Logics
, vol.12
, Issue.2
-
-
Biazzo, V.1
Gilio, A.2
Lukasiewicz, T.3
Sanfilippo, G.4
-
15
-
-
26444580783
-
Belief and acceptance
-
Cohen L. J. (1989). Belief and acceptance. Mind, XCVIII, No. 391, 367-390.
-
(1989)
Mind
, vol.98
, Issue.391
, pp. 367-390
-
-
Cohen, L.J.1
-
17
-
-
0030712510
-
On the logic of iterated belief revision
-
Darwishe A., & Pearl J. (1997). On the logic of iterated belief revision. Artificial Intelligence, 89, 1-29.
-
(1997)
Artificial Intelligence
, vol.89
, pp. 1-29
-
-
Darwishe, A.1
Pearl, J.2
-
19
-
-
27344452341
-
Probability kinematics - Conditional and entropy principles
-
Domotor Z. (1985). Probability kinematics - Conditional and entropy principles. Synthese, 63, 74-115.
-
(1985)
Synthese
, vol.63
, pp. 74-115
-
-
Domotor, Z.1
-
20
-
-
0000917282
-
Belief structures, possibility theory and decomposable confidence measures on finite sets
-
Dubois D. (1986). Belief structures, possibility theory and decomposable confidence measures on finite sets. Computers and Artificial Intelligence (Bratislava), 5(5), 403-416.
-
(1986)
Computers and Artificial Intelligence (Bratislava)
, vol.5
, Issue.5
, pp. 403-416
-
-
Dubois, D.1
-
21
-
-
0042143747
-
Decision making under ordinal preferences and comparative uncertainty
-
Providence, RI
-
Dubois D., Fargier H., & Prade H. (1997). Decision making under ordinal preferences and comparative uncertainty. Proc. of the 13h Conf. on Uncertainty in Artificial Intelligence, Providence, RI, 157-164.
-
(1997)
Proc. of the 13h Conf. on Uncertainty in Artificial Intelligence
, pp. 157-164
-
-
Dubois, D.1
Fargier, H.2
Prade, H.3
-
22
-
-
0010263702
-
Comparative uncertainty, belief functions and accepted beliefs
-
Madison, Wi.
-
Dubois D., Fargier H., & Prade H. (1998). Comparative uncertainty, belief functions and accepted beliefs. Proc. of 14th Conf. on Uncertainty in Artificial Intelligence, Madison, Wi., 113-120
-
(1998)
Proc. of 14th Conf. on Uncertainty in Artificial Intelligence
, pp. 113-120
-
-
Dubois, D.1
Fargier, H.2
Prade, H.3
-
23
-
-
27344442129
-
Acceptance, conditionals, and belief revision
-
Hagen, May 2002
-
Dubois D., Fargier H., & Prade H. (2003). Acceptance, Conditionals, and Belief Revision. Proc. of the Workshop on Conditionals, Information and Inference, Hagen, May 2002,
-
(2003)
Proc. of the Workshop on Conditionals, Information and Inference
-
-
Dubois, D.1
Fargier, H.2
Prade, H.3
-
25
-
-
0001245395
-
Possibilistic logic
-
D.M. Gabbay et al. (Eds.) Oxford, UK: Oxford University Press
-
Dubois D., Lang J., & Prade H. (1994). Possibilistic logic. In D.M. Gabbay et al. (Eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, Oxford, UK: Oxford University Press, 439-513
-
(1994)
Handbook of Logic in Artificial Intelligence and Logic Programming
, pp. 439-513
-
-
Dubois, D.1
Lang, J.2
Prade, H.3
-
26
-
-
0002872822
-
Belief change rules in ordinal and numerical uncertainty theories
-
D. Dubois & H. Prade, (Eds.): Dordrecht, The Netherlands: Kluwer Academic Publ.
-
Dubois D., Moral S., & Prade H. (1998). Belief change rules in ordinal and numerical uncertainty theories, in D. Dubois & H. Prade, (Eds.): Belief Change, Handbook on Defeasible Reasoning and Uncertainty Management Systems, Vol. 3. Dordrecht, The Netherlands: Kluwer Academic Publ., 311-392.
-
(1998)
Belief Change, Handbook on Defeasible Reasoning and Uncertainty Management Systems
, vol.3
, pp. 311-392
-
-
Dubois, D.1
Moral, S.2
Prade, H.3
-
27
-
-
0026187870
-
Epistemic entrenchment and possibilistic logic
-
Dubois D., & Prade H. (1991). Epistemic entrenchment and possibilistic logic. Artificial Intelligence 50, 223-239.
-
(1991)
Artificial Intelligence
, vol.50
, pp. 223-239
-
-
Dubois, D.1
Prade, H.2
-
28
-
-
0002429286
-
Belief change and possibility theory
-
P. Gärdenfors, (Ed.), Cambriidge, U.K.: Cambridge University Press
-
Dubois D., & Prade H. (1992). Belief change and possibility theory. In P. Gärdenfors, (Ed.), Belief Revision, Cambriidge, U.K.: Cambridge University Press, 142-182.
-
(1992)
Belief Revision
, pp. 142-182
-
-
Dubois, D.1
Prade, H.2
-
29
-
-
84974514571
-
Non-standard theories of uncertainty in knowledge representation and reasoning
-
Dubois D., & Prade H. (1994). Non-standard theories of uncertainty in knowledge representation and reasoning. The Knowledge Engineering Review, 9(4), 399-416.
-
(1994)
The Knowledge Engineering Review
, vol.9
, Issue.4
, pp. 399-416
-
-
Dubois, D.1
Prade, H.2
-
30
-
-
0037753879
-
Conditional objects, possibility theory and default rules
-
G. Crocco et al., (Eds.): Oxford, UK: Oxford University Press
-
Dubois D., & Prade H. (1995a). Conditional objects, possibility theory and default rules. In G. Crocco et al., (Eds.): Conditionals: From Philosophy to Computer Sciences Oxford, UK: Oxford University Press, 311-346.
-
(1995)
Conditionals: from Philosophy to Computer Sciences
, pp. 311-346
-
-
Dubois, D.1
Prade, H.2
-
32
-
-
0002571253
-
Possibility theory: Qualitative and quantitative aspects
-
P. Smets (Ed.), Dordrecht, The Netherlands: Kluwer Academic Publ.
-
Dubois D., & Prade H. (1998). Possibility theory: qualitative and quantitative aspects. In P. Smets (Ed.), Quantified Representation of Uncertainty and Imprecision, Handbook of Defeasible Reasoning and Uncertainty Management Systems, Vol. 1. Dordrecht, The Netherlands: Kluwer Academic Publ., 169-226
-
(1998)
Quantified Representation of Uncertainty and Imprecision, Handbook of Defeasible Reasoning and Uncertainty Management Systems
, vol.1
, pp. 169-226
-
-
Dubois, D.1
Prade, H.2
-
33
-
-
1642499595
-
A modal analysis of possibility theory
-
Smolenice Castle, Czechoslovakia, Lecture Notes in Computer Sciences, Berlin: Springer Verlag
-
Fariñas del Cerro L., & Herzig A. (1991). A modal analysis of possibility theory. Proc. of the Inter. Workshop on Fundamentals of Artificial Intelligence Research Smolenice Castle, Czechoslovakia, Lecture Notes in Computer Sciences, Vol. 535. Berlin: Springer Verlag, 11-18.
-
(1991)
Proc. of the Inter. Workshop on Fundamentals of Artificial Intelligence Research
, vol.535
, pp. 11-18
-
-
Fariñas Del Cerro, L.1
Herzig, A.2
-
34
-
-
0028407474
-
From ordering-based non-monotonic reasoning to conditional logics
-
Farinas del Cerro L., Herzig A., & Lang J. (1994). From ordering-based non-monotonic reasoning to conditional logics. Artificial Intelligence, 66, 375-393.
-
(1994)
Artificial Intelligence
, vol.66
, pp. 375-393
-
-
Farinas Del Cerro, L.1
Herzig, A.2
Lang, J.3
-
35
-
-
84972527141
-
The axioms of subjective probabilities
-
Fishburn P. (1986). The axioms of subjective probabilities. Statistical Science, 1, 335-358.
-
(1986)
Statistical Science
, vol.1
, pp. 335-358
-
-
Fishburn, P.1
-
38
-
-
0000874592
-
Two modellings for theory change
-
Grove A. (1988). Two modellings for theory change. J. Philos. Logic, 17, 157-170.
-
(1988)
J. Philos. Logic
, vol.17
, pp. 157-170
-
-
Grove, A.1
-
39
-
-
0010288660
-
Defining relative likelihood in partially-ordered preferential structures
-
Halpern J. (1997). Defining relative likelihood in partially-ordered preferential structures. J. AI Research, 7, 1-24
-
(1997)
J. AI Research
, vol.7
, pp. 1-24
-
-
Halpern, J.1
-
40
-
-
0000693755
-
Cox's Theorem revisited
-
Halpern J. (1999). Cox's Theorem revisited Journal of AI Research 11, 1999, pp. 429-435.
-
(1999)
Journal of AI Research 11
, vol.1999
, pp. 429-435
-
-
Halpern, J.1
-
43
-
-
0025462359
-
Non-monotonic reasoning, preferential models and cumulative logics
-
Kraus S., Lehmann D., & Magidor M. (1990). Non-monotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44, 167-207.
-
(1990)
Artificial Intelligence
, vol.44
, pp. 167-207
-
-
Kraus, S.1
Lehmann, D.2
Magidor, M.3
-
46
-
-
85012588175
-
Knowledge
-
J. F. Lemmer and L. N. Kanal (Eds): Amsterdam: Elsevier
-
Kyburg H.E. (1988). Knowledge. In J. F. Lemmer and L. N. Kanal (Eds): Uncertainty in Artificial Intelligence, vol 2, Amsterdam: Elsevier, 263-272.
-
(1988)
Uncertainty in Artificial Intelligence
, vol.2
, pp. 263-272
-
-
Kyburg, H.E.1
-
49
-
-
0026867827
-
What does a conditional knowledge base entail?
-
Lehmann D., & Magidor M. (1992). What does a conditional knowledge base entail? Artificial Intelligence, 55(1), 1-60.
-
(1992)
Artificial Intelligence
, vol.55
, Issue.1
, pp. 1-60
-
-
Lehmann, D.1
Magidor, M.2
-
50
-
-
0004271399
-
-
Oxford, UK: Basil Blackwell
-
Lewis D. L. (1973). Counterfactuals. Oxford, UK: Basil Blackwell.
-
(1973)
Counterfactuals
-
-
Lewis, D.L.1
-
51
-
-
0001031755
-
Relations between the logic of theory change and non-monotonic reasoning
-
A. Fürmann, M. Morreau, (Eds): LNAI465, Berlin: Springer Verlag
-
Makinson D. & Gärdenfors P. (1991). Relations between the logic of theory change and non-monotonic reasoning. In A. Fürmann, M. Morreau, (Eds): The Logic of Theory Change, LNAI465, Berlin: Springer Verlag, 185-205.
-
(1991)
The Logic of Theory Change
, pp. 185-205
-
-
Makinson, D.1
Gärdenfors, P.2
-
52
-
-
26944433268
-
Two characterizations of a minimum information principle for possibilistic reasoning
-
Maung I. (1995). Two characterizations of a minimum information principle for possibilistic reasoning, Int. J. Approximate Reasoning, 12, 133-156.
-
(1995)
Int. J. Approximate Reasoning
, vol.12
, pp. 133-156
-
-
Maung, I.1
-
56
-
-
0002634765
-
System Z: A natural ordering of defaults with tractable applications to default reasoning
-
San Mateo, CA, Morgan Kaufmann
-
Pearl J. (1990). System Z: a natural ordering of defaults with tractable applications to default reasoning. Proc. of the 3rd Conf. on the Theoretical Aspects of Reasoning About Knowledge, San Mateo, CA, Morgan Kaufmann, 121-135.
-
(1990)
Proc. of the 3rd Conf. on the Theoretical Aspects of Reasoning about Knowledge
, pp. 121-135
-
-
Pearl, J.1
-
57
-
-
0026153420
-
The effect of knowledge on belief: Conditioning, specificity and the lottery paradox in défaut reasoning
-
Poole D. (1991). The effect of knowledge on belief: conditioning, specificity and the lottery paradox in défaut reasoning. Artificial Intelligence, 49, 281-307
-
(1991)
Artificial Intelligence
, vol.49
, pp. 281-307
-
-
Poole, D.1
-
58
-
-
0003411457
-
-
Oxford Logic Guides, Oxford, U.K: Oxford University Press
-
Roth H. (2001). Change, Choice and Inference: A Study of Belief Revision and Non-monotonic Reasoning, Oxford Logic Guides, Bd. 42, Oxford, U.K: Oxford University Press.
-
(2001)
Change, Choice and Inference: A Study of Belief Revision and Non-monotonic Reasoning
, vol.42
-
-
Roth, H.1
-
59
-
-
0004276249
-
-
Lecture Notes in Economics and Mathematical Systems, Berlin: Springer Verlag
-
Roubens M., Vincke P. (1985). Preference Modelling. Lecture Notes in Economics and Mathematical Systems, Vol. 250, Berlin: Springer Verlag.
-
(1985)
Preference Modelling
, vol.250
-
-
Roubens, M.1
Vincke, P.2
-
62
-
-
0033189058
-
Diverse confidence levels in a probabilistic semantics for conditional logics
-
Snow P. (1999). Diverse confidence levels in a probabilistic semantics for conditional logics. Artificial Intelligence 113, 269-279.
-
(1999)
Artificial Intelligence
, vol.113
, pp. 269-279
-
-
Snow, P.1
-
63
-
-
0000731447
-
Ordinal conditional functions: A dynamic theory of epistemic states
-
W.L. Harper, B. Skyrms, (Eds.): Dordrecht: D. Reidel
-
Spohn W. (1988). Ordinal conditional functions: A dynamic theory of epistemic states. In W.L. Harper, B. Skyrms, (Eds.): Causation in Decision, Belief Change, and Statistics, Vol. 2., Dordrecht: D. Reidel, 105-134.
-
(1988)
Causation in Decision, Belief Change, and Statistics
, vol.2
, pp. 105-134
-
-
Spohn, W.1
-
67
-
-
0026185070
-
Axiomatization of qualitative belief structure
-
Wong S. K. M., Yao Y. Y., Bollmann P., Burger H. C. (1991). Axiomatization of qualitative belief structure. IEEE Transactions on Systems, Man & Cybernetics, vol 21 no 4, 726-734.
-
(1991)
IEEE Transactions on Systems, Man & Cybernetics
, vol.21
, Issue.4
, pp. 726-734
-
-
Wong, S.K.M.1
Yao, Y.Y.2
Bollmann, P.3
Burger, H.C.4
-
68
-
-
49349133217
-
Fuzzy sets as a basis for a possibility theory
-
Zadeh L. A. (1978). Fuzzy sets as a basis for a possibility theory, Fuzzy Sets and Systems, 1, 3-28.
-
(1978)
Fuzzy Sets and Systems
, vol.1
, pp. 3-28
-
-
Zadeh, L.A.1
|