{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,15]],"date-time":"2026-05-15T05:50:30Z","timestamp":1778824230725,"version":"3.51.4"},"reference-count":76,"publisher":"Springer Science and Business Media LLC","issue":"1-3","license":[{"start":{"date-parts":[[2002,3,1]],"date-time":"2002-03-01T00:00:00Z","timestamp":1014940800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,3,1]],"date-time":"2002-03-01T00:00:00Z","timestamp":1014940800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Mathematics and Artificial Intelligence"],"published-print":{"date-parts":[[2002,3]]},"DOI":"10.1023\/a:1014445017537","type":"journal-article","created":{"date-parts":[[2002,12,29]],"date-time":"2002-12-29T19:13:07Z","timestamp":1041189187000},"page":"35-88","source":"Crossref","is-referenced-by-count":58,"title":["Probabilistic Default Reasoning with Conditional Constraints"],"prefix":"10.1007","volume":"34","author":[{"given":"Thomas","family":"Lukasiewicz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"392737_CR1","series-title":"Synthese Library","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-7622-2","volume-title":"The Logic of Conditionals","author":"E.W. Adams","year":"1975","unstructured":"E.W. Adams, The Logic of Conditionals, Synthese Library, Vol. 86 (Reidel, Dordrecht, 1975)."},{"key":"392737_CR2","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C.E. Alchourr\u00f3n","year":"1985","unstructured":"C.E. Alchourr\u00f3n, P. G\u00e4rdenfors and D. Makinson, On the logic of theory change: Partial meet contraction and revision functions, J. Symbolic Logic 50 (1985) 510-530.","journal-title":"J. Symbolic Logic"},{"key":"392737_CR3","doi-asserted-by":"crossref","unstructured":"S. Amarger, D. Dubois and H. Prade, Constraint propagation with imprecise conditional probabilities, in: Proceedings UAI-91 (1991) pp. 26-34.","DOI":"10.1016\/B978-1-55860-203-8.50007-3"},{"key":"392737_CR4","doi-asserted-by":"crossref","unstructured":"F. Bacchus, A. Grove, J.Y. Halpern and D. Koller, Generating new beliefs from old, in: Proceedings UAI-94 (1994) pp. 37-45.","DOI":"10.1016\/B978-1-55860-332-5.50010-9"},{"key":"392737_CR5","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1111\/j.1467-8640.1994.tb00141.x","volume":"10","author":"F. Bacchus","year":"1994","unstructured":"F. Bacchus, A. Grove, J.Y. Halpern and D. Koller, A response to: believing on the basis of evidence, Comput. Intell. 10 (1994) 21-25.","journal-title":"Comput. Intell."},{"key":"392737_CR6","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/S0004-3702(96)00003-3","volume":"87","author":"F. Bacchus","year":"1996","unstructured":"F. Bacchus, A. Grove, J.Y. Halpern and D. Koller, From statistical knowledge bases to degrees of belief, Artif. Intell. 87 (1996) 75-143.","journal-title":"Artif. Intell."},{"key":"392737_CR7","unstructured":"S. Benferhat, C. Cayrol, D. Dubois, J. Lang and H. Prade, Inconsistency management and prioritized syntax-based entailment, in: Proceedings IJCAI-93 (1993) pp. 640-645."},{"key":"392737_CR8","unstructured":"S. Benferhat, D. Dubois and H. Prade, Representing default rules in possibilistic logic, in: Proceedings KR-92 (1992) pp. 673-684."},{"issue":"1-2","key":"392737_CR9","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/S0004-3702(97)00012-X","volume":"92","author":"S. Benferhat","year":"1997","unstructured":"S. Benferhat, D. Dubois and H. Prade, Nonmonotonic reasoning, conditional objects and possibility theory, Artif. Intell. 92(1-2) (1997) 259-276.","journal-title":"Artif. Intell."},{"issue":"1-2","key":"392737_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0004-3702(00)00041-2","volume":"122","author":"S. Benferhat","year":"2000","unstructured":"S. Benferhat, A. Saffiotti and P. Smets, Belief functions and default reasoning, Artif. Intell. 122(1-2) (2000) 1-69.","journal-title":"Artif. Intell."},{"key":"392737_CR11","unstructured":"V. Biazzo, A. Gilio, T. Lukasiewicz and G. Sanfilippo, Probabilistic logic under coherence: Complexity and algorithms, in: Proceedings ISIPTA-01 (2001) pp. 51-61."},{"key":"392737_CR12","doi-asserted-by":"crossref","unstructured":"V. Biazzo, A. Gilio, T. Lukasiewicz and G. Sanfilippo, Probabilistic logic under coherence, model theoretic probabilistic logic, and default reasoning, in: Proceedings ECSQARU-01 (2001) pp. 290-302.","DOI":"10.1007\/3-540-44652-4_26"},{"issue":"1","key":"392737_CR13","doi-asserted-by":"crossref","first-page":"61","DOI":"10.2307\/2938240","volume":"59","author":"L. Blume","year":"1991","unstructured":"L. Blume, A. Brandenburger and E. Dekel, Lexicographic probabilities and choice under uncertainty, Econometrica 59(1) (1991) 61-79.","journal-title":"Econometrica"},{"key":"392737_CR14","doi-asserted-by":"crossref","DOI":"10.5962\/bhl.title.29413","volume-title":"An Investigation of the Laws of Thought, on which are Founded the Mathematical Theories of Logic and Probabilities","author":"G. Boole","year":"1854","unstructured":"G. Boole, An Investigation of the Laws of Thought, on which are Founded the Mathematical Theories of Logic and Probabilities (Walton and Maberley, London, 1854). Reprint (Dover, New York, 1958)."},{"key":"392737_CR15","unstructured":"R.A. Bourne and S. Parsons, Maximum entropy and variable strength defaults, in: Proceedings IJCAI-99 (1999) pp. 50-55."},{"key":"392737_CR16","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/0004-3702(94)90095-7","volume":"68","author":"C. Boutilier","year":"1994","unstructured":"C. Boutilier, Unifying default reasoning and belief revision in a modal framework, Artif. Intell. 68 (1994) 33-85.","journal-title":"Artif. Intell."},{"key":"392737_CR17","volume-title":"Logical Foundations of Probability","author":"R. Carnap","year":"1950","unstructured":"R. Carnap, Logical Foundations of Probability (University of Chicago Press, Chicago, 1950)."},{"issue":"12","key":"392737_CR18","doi-asserted-by":"crossref","first-page":"1747","DOI":"10.1109\/21.328932","volume":"24","author":"G. Coletti","year":"1994","unstructured":"G. Coletti, Coherent numerical and ordinal probabilistic assessments, IEEE Trans. Systems Man Cybernet. 24(12) (1994) 1747-1754.","journal-title":"IEEE Trans. Systems Man Cybernet"},{"key":"392737_CR19","volume-title":"Theory of Probability","author":"B. de Finetti","year":"1974","unstructured":"B. de Finetti, Theory of Probability (Wiley, New York, 1974)."},{"issue":"2","key":"392737_CR20","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1111\/j.1467-8640.1988.tb00120.x","volume":"4","author":"D. Dubois","year":"1988","unstructured":"D. Dubois and H. Prade, On fuzzy syllogisms, Comput. Intell. 4(2) (1988) 171-179.","journal-title":"Comput. Intell."},{"key":"392737_CR21","unstructured":"D. Dubois and H. Prade, Possibilistic logic, preferential models, non-monotonicity and related issues, in: Proceedings IJCAI-91 (1991) pp. 419-424."},{"key":"392737_CR22","doi-asserted-by":"crossref","first-page":"1724","DOI":"10.1109\/21.328930","volume":"24","author":"D. Dubois","year":"1994","unstructured":"D. Dubois and H. Prade, Conditional objects as non-monotonic consequence relationships, IEEE Trans. Systems Man Cybernet. 24 (1994) 1724-1740.","journal-title":"IEEE Trans. Systems Man Cybernet"},{"key":"392737_CR23","volume-title":"Principles of Knowledge Representation","author":"D. Dubois","year":"1996","unstructured":"D. Dubois and H. Prade, Non-standard theories of uncertainty, in: Principles of Knowledge Representation, ed. G. Brewka (CSLI Publications, Stanford, 1996)."},{"key":"392737_CR24","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1007\/BF00961659","volume":"2","author":"D. Dubois","year":"1993","unstructured":"D. Dubois, H. Prade, L. Godo and R.L. de M\u00e0ntaras, Qualitative reasoning with imprecise probabilities, J. Intell. Inform. Systems 2 (1993) 319-363.","journal-title":"J. Intell. Inform. Systems"},{"key":"392737_CR25","first-page":"53","volume-title":"Intelligent Systems","author":"D. Dubois","year":"1990","unstructured":"D. Dubois, H. Prade and J.-M. Touscas, Inference with imprecise numerical quantifiers, in: Intelligent Systems, eds. Z.W. Ras and M. Zemankova (Ellis Horwood, Chichester, UK, 1990) chapter 3, pp. 53-72"},{"issue":"2","key":"392737_CR26","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1016\/S0004-3702(00)00073-4","volume":"124","author":"T. Eiter","year":"2000","unstructured":"T. Eiter and T. Lukasiewicz, Default reasoning from conditional knowledge bases: Complexity and tractable cases, Artif. Intell. 124(2) (2000) 169-241.","journal-title":"Artif. Intell."},{"key":"392737_CR27","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1016\/0890-5401(90)90060-U","volume":"87","author":"R. Fagin","year":"1990","unstructured":"R. Fagin, J.Y. Halpern and N. Megiddo, A logic for reasoning about probabilities, Inf. Comput. 87 (1990) 78-128.","journal-title":"Inf. Comput."},{"key":"392737_CR28","unstructured":"N. Friedman and J.Y. Halpern, Plausibility measures and default reasoning, J. ACM, to appear."},{"key":"392737_CR29","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1016\/0004-3702(94)90079-5","volume":"69","author":"A.M. Frisch","year":"1994","unstructured":"A.M. Frisch and P. Haddawy, Anytime deduction for probabilistic logic, Artif. Intell. 69 (1994) 93-122.","journal-title":"Artif. Intell."},{"key":"392737_CR30","volume-title":"Handbook on Defeasible Reasoning and Uncertainty Management Systems","year":"1998","unstructured":"D.M. Gabbay and P. Smets, eds., Handbook on Defeasible Reasoning and Uncertainty Management Systems (Kluwer Academic, Dordrecht, 1998)."},{"key":"392737_CR31","volume-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"M.R. Garey","year":"1979","unstructured":"M.R. Garey and D.S. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness (Freeman, New York, 1979)."},{"key":"392737_CR32","volume-title":"Default Reasoning: Causal and Conditional Theories","author":"H. Geffner","year":"1992","unstructured":"H. Geffner, Default Reasoning: Causal and Conditional Theories (MIT Press, Cambridge, MA, 1992)."},{"issue":"2-3","key":"392737_CR33","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/0004-3702(92)90071-5","volume":"53","author":"H. Geffner","year":"1992","unstructured":"H. Geffner and J. Pearl, Conditional entailment: bridging two approaches to default reasoning, Artif. Intell. 53(2-3) (1992) 209-244.","journal-title":"Artif. Intell."},{"issue":"1","key":"392737_CR34","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0885-064X(88)90006-4","volume":"4","author":"G. Georgakopoulos","year":"1988","unstructured":"G. Georgakopoulos, D. Kavvadias and C.H. Papadimitriou, Probabilistic satisfiability, J. Complexity 4(1) (1988) 1-11.","journal-title":"J. Complexity"},{"key":"392737_CR35","unstructured":"A. Gilio, Probabilistic reasoning under coherence in system P, Ann. Math. Artif. Intell., to appear."},{"key":"392737_CR36","series-title":"Lecture Notes in Computer Sciences","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/BFb0035951","volume-title":"Advances in Intelligent Computing","author":"A. Gilio","year":"1995","unstructured":"A. Gilio, Probabilistic consistency of conditional probability bounds, in: Advances in Intelligent Computing, eds. B. Bouchon-Meunier, R.R. Yager and L.A. Zadeh, Lecture Notes in Computer Sciences, Vol. 945 (Springer, New York, 1995) pp. 200-209."},{"issue":"3","key":"392737_CR37","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1109\/34.204904","volume":"15","author":"M. Goldszmidt","year":"1993","unstructured":"M. Goldszmidt, P. Morris and J. Pearl, A maximum entropy approach to non-monotonic reasoning, IEEE Trans. Pattern Anal. Mach. Intell. 15(3) (1993) 220-232.","journal-title":"IEEE Trans. Pattern Anal. Mach. Intell."},{"issue":"2","key":"392737_CR38","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/0004-3702(91)90039-M","volume":"52","author":"M. Goldszmidt","year":"1991","unstructured":"M. Goldszmidt and J. Pearl, On the consistency of defeasible databases, Artif. Intell. 52(2) (1991) 121-149.","journal-title":"Artif. Intell."},{"key":"392737_CR39","unstructured":"M. Goldszmidt and J. Pearl, Rank-based systems: A simple approach to belief revision, belief update and reasoning about evidence and actions, in: Proceedings KR-92 (1992) pp. 661-672."},{"issue":"1-2","key":"392737_CR40","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(95)00090-9","volume":"84","author":"M. Goldszmidt","year":"1996","unstructured":"M. Goldszmidt and J. Pearl, Qualitative probabilities for default reasoning, belief revision, and causal modeling, Artif. Intell. 84(1-2) (1996) 57-112.","journal-title":"Artif. Intell."},{"key":"392737_CR41","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1613\/jair.61","volume":"2","author":"A. Grove","year":"1994","unstructured":"A. Grove, J.Y. Halpern and D. Koller, Random worlds and maximum entropy, J. Artif. Intell. Res. 2 (1994) 33-88.","journal-title":"J. Artif. Intell. Res."},{"key":"392737_CR42","volume-title":"Sentential Probability Logic: Origins, Development, Current Status, and Technical Applications","author":"T. Hailperin","year":"1996","unstructured":"T. Hailperin, Sentential Probability Logic: Origins, Development, Current Status, and Technical Applications (Associated University Presses, London, UK, 1996)."},{"key":"392737_CR43","doi-asserted-by":"crossref","unstructured":"J. Heinsohn, Probabilistic description logics, in: Proceedings UAI-94 (1994) pp. 311-318.","DOI":"10.1016\/B978-1-55860-332-5.50044-4"},{"key":"392737_CR44","doi-asserted-by":"crossref","unstructured":"M. Jaeger, Probabilistic reasoning in terminological logics, in: Proceedings KR-94 (1994) pp. 305-306.","DOI":"10.1016\/B978-1-4832-1452-8.50124-X"},{"key":"392737_CR45","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1287\/ijoc.3.2.135","volume":"3","author":"B. Jaumard","year":"1991","unstructured":"B. Jaumard, P. Hansen and M.P. de Arag\u00e3o, Column generation methods for probabilistic logic, ORSA J. Comput. 3 (1991) 135-147.","journal-title":"ORSA J. Comput."},{"key":"392737_CR46","first-page":"67","volume-title":"Handbook of Theoretical Computer Science, Vol. A","author":"D.S. Johnson","year":"1990","unstructured":"D.S. Johnson, A catalog of complexity classes, in: Handbook of Theoretical Computer Science, Vol. A, ed. J. van Leeuwen (MIT Press, Cambridge, MA, 1990) chapter 2, pp. 67-161."},{"key":"392737_CR47","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"141","author":"S. Kraus","year":"1990","unstructured":"S. Kraus, D. Lehmann and M. Magidor, Non-monotonic reasoning, preferential models and cumulative logics, Artif. Intell. 14(1) (1990) 167-207.","journal-title":"Artif. Intell."},{"key":"392737_CR48","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-2175-3","volume-title":"The Logical Foundations of Statistical Inference","author":"H.E. Kyburg Jr.","year":"1974","unstructured":"H.E. Kyburg, Jr., The Logical Foundations of Statistical Inference (Reidel, Dordrecht, 1974)."},{"key":"392737_CR49","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1086\/289125","volume":"50","author":"H.E. Kyburg Jr.","year":"1983","unstructured":"H.E. Kyburg, Jr., The reference class, Philos. Sci. 50 (1983) 374-397.","journal-title":"Philos. Sci."},{"key":"392737_CR50","unstructured":"H.E. Kyburg, Jr., Evidential probability, in: Proceedings IJCAI-91 (1991) pp. 1196-1202."},{"key":"392737_CR51","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1111\/0824-7935.00039","volume":"13","author":"H.E. Kyburg Jr.","year":"1997","unstructured":"H.E. Kyburg, Jr., Combinatorial semantics: semantics for frequent validity, Comput. Intell. 13 (1997) 215-257.","journal-title":"Comput. Intell."},{"key":"392737_CR52","doi-asserted-by":"crossref","unstructured":"H.E. Kyburg, Jr. and B. Murtezaoglu, A modification to evidential probability, in: Proceedings UAI-91 (1991) pp. 228-231.","DOI":"10.1016\/B978-1-55860-203-8.50033-4"},{"key":"392737_CR53","unstructured":"P. Lamarre, A promenade from monotonicity to non-monotonicity following a theorem prover, in: Proceedings KR-92 (1992) pp. 572-580."},{"key":"392737_CR54","unstructured":"D. Lehmann, What does a conditional knowledge base entail?, in: Proceedings KR-89 (1989) pp. 212-222."},{"issue":"1","key":"392737_CR55","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/BF01535841","volume":"15","author":"D. Lehmann","year":"1995","unstructured":"D. Lehmann, Another perspective on default reasoning, Ann. Math. Artif. Intell. 15(1) (1995) 61-82.","journal-title":"Ann. Math. Artif. Intell."},{"key":"392737_CR56","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(92)90041-U","volume":"551","author":"D. Lehmann","year":"1992","unstructured":"D. Lehmann and M. Magidor, What does a conditional knowledge base entail?, Artif. Intell. 55(1) (1992) 1-60.","journal-title":"Artif. Intell."},{"key":"392737_CR57","volume-title":"The Enterprise of Knowledge","author":"I. Levi","year":"1980","unstructured":"I. Levi, The Enterprise of Knowledge (MIT Press, Cambridge, MA, 1980)."},{"key":"392737_CR58","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1016\/B978-0-444-70396-5.50030-3","volume-title":"Uncertainty in Artificial Intelligence 2","author":"R.P. Loui","year":"1988","unstructured":"R.P. Loui, Computing reference classes, in: Uncertainty in Artificial Intelligence 2, eds. L.N. Kanal and J.F. Lemmer (North-Holland, Amsterdam, 1988) pp. 273-289."},{"issue":"1","key":"392737_CR59","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/S0888-613X(99)00006-7","volume":"21","author":"T. Lukasiewicz","year":"1999","unstructured":"T. Lukasiewicz, Local probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events, Internat. J. Approx. Reasoning 21(1) (1999) 23-61.","journal-title":"Internat. J. Approx. Reasoning"},{"key":"392737_CR60","series-title":"Lecture Notes in Artificial Inteligence","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/3-540-46767-X_20","volume-title":"Proceedings of the 5th Internat. Conf. on Logic Programming and Nonmonotonic Reasoning","author":"T. Lukasiewicz","year":"1999","unstructured":"T. Lukasiewicz, Many-valued disjunctive logic programs with probabilistic semantics, in: Proceedings of the 5th Internat. Conf. on Logic Programming and Nonmonotonic Reasoning, Lecture Notes in Artificial Inteligence, Vol. 1730 (Springer, Berlin, 1999) pp. 277-289."},{"key":"392737_CR61","doi-asserted-by":"crossref","unstructured":"T. Lukasiewicz, Probabilistic and truth-functional many-valued logic programming, in: Proceedings of the 29th IEEE Internat. Symposium on Multiple-Valued Logic (1999) pp. 236-241.","DOI":"10.1109\/ISMVL.1999.779722"},{"key":"392737_CR62","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1613\/jair.577","volume":"10","author":"T. Lukasiewicz","year":"1999","unstructured":"T. Lukasiewicz, Probabilistic deduction with conditional constraints over basic events, J. Artif. Intell. Res. 10 (1999) 199-241.","journal-title":"J. Artif. Intell. Res."},{"key":"392737_CR63","unstructured":"T. Lukasiewicz, Probabilistic logic programming under inheritance with overriding, in: Proceedings UAI-01 (2001) pp. 329-336."},{"issue":"3","key":"392737_CR64","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1145\/377978.377983","volume":"2","author":"T. Lukasiewicz","year":"2001","unstructured":"T. Lukasiewicz, Probabilistic logic programming with conditional constraints, ACM Trans. Comput. Logic 2(3) (2001) 289-339.","journal-title":"ACM Trans. Comput. Logic"},{"issue":"4","key":"392737_CR65","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1111\/j.1467-8640.1996.tb00276.x","volume":"12","author":"C. Luo","year":"1996","unstructured":"C. Luo, C. Yu, J. Lobo, G. Wang and T. Pham, Computation of best bounds of probabilities from uncertain data, Comput. Intell. 12(4) (1996) 541-566.","journal-title":"Comput. Intell."},{"key":"392737_CR66","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1109\/69.567045","volume":"91","author":"R.T. Ng","year":"1997","unstructured":"R.T. Ng, Semantics, consistency, and query processing of empirical deductive databases, IEEE Trans. Knowl. Data Engrg. 9(1) (1997) 32-49.","journal-title":"IEEE Trans. Knowl. Data Engrg."},{"key":"392737_CR67","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0004-3702(86)90031-7","volume":"28","author":"N.J. Nilsson","year":"1986","unstructured":"N.J. Nilsson, Probabilistic logic, Artif. Intell. 28 (1986) 71-88.","journal-title":"Artif. Intell."},{"key":"392737_CR68","volume-title":"Computational Complexity","author":"C.H. Papadimitriou","year":"1994","unstructured":"C.H. Papadimitriou, Computational Complexity (Addison-Wesley, Reading, MA, 1994)."},{"key":"392737_CR69","unstructured":"J. Pearl, Probabilistic semantics for nonmonotonic reasoning: A survey, in: Proceedings KR-89 (1989) pp. 505-516."},{"key":"392737_CR70","unstructured":"J. Pearl, System Z: A natural ordering of defaults with tractable applications to default reasoning, in: Proceedings TARK-90 (1990) pp. 121-135."},{"key":"392737_CR71","volume-title":"Principles of Knowledge Representation","author":"J. Pearl","year":"1996","unstructured":"J. Pearl and M. Goldszmidt, Probabilistic foundations of reasoning with conditionals, in: Principles of Knowledge Representation, ed. G. Brewka (CSLI Publications, Stanford, CA, 1996)."},{"key":"392737_CR72","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195060133.001.0001","volume-title":"Nomic Probabilities and the Foundations of Induction","author":"J.L. Pollock","year":"1990","unstructured":"J.L. Pollock, Nomic Probabilities and the Foundations of Induction (Oxford Univ. Press, Oxford, 1990)."},{"key":"392737_CR73","volume-title":"Theory of Probability","author":"H. Reichenbach","year":"1949","unstructured":"H. Reichenbach, Theory of Probability (University of California Press, Berkeley, CA, 1949)."},{"key":"392737_CR74","unstructured":"Y. Shoham, A semantical approach to nonmonotonic logics, in: Proceedings of the 2nd IEEE Symposium on Logic in Computer Science (1987) pp. 275-279."},{"key":"392737_CR75","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/978-94-009-2865-7_6","volume-title":"Causation in Decision, Belief Change, and Statistics, Vol. 2","author":"W. Spohn","year":"1988","unstructured":"W. Spohn, Ordinal conditional functions: A dynamic theory of epistemic states, in: Causation in Decision, Belief Change, and Statistics, Vol. 2, eds. W. Harper and B. Skyrms (Reidel, Dordrecht, 1988) pp. 105-134."},{"key":"392737_CR76","doi-asserted-by":"crossref","unstructured":"H. Th\u00f6ne, U. G\u00fcntzer and W. Kie\u00dfling, Towards precision of probabilistic bounds propagation, in: Proceedings UAI-92 (1992) pp. 315-322.","DOI":"10.1016\/B978-1-4832-8287-9.50048-7"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1014445017537.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1014445017537\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1014445017537.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:43:01Z","timestamp":1747546981000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1014445017537"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,3]]},"references-count":76,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2002,3]]}},"alternative-id":["392737"],"URL":"https:\/\/doi.org\/10.1023\/a:1014445017537","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,3]]}}}