{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:28:27Z","timestamp":1761596907989},"reference-count":61,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1994,9,1]],"date-time":"1994-09-01T00:00:00Z","timestamp":778377600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[1994,9]]},"DOI":"10.1007\/bf01530953","type":"journal-article","created":{"date-parts":[[2005,4,19]],"date-time":"2005-04-19T00:29:48Z","timestamp":1113870588000},"page":"233-280","source":"Crossref","is-referenced-by-count":5,"title":["Preference logics: Towards a unified approach to nonmonotonicity in deductive reasoning"],"prefix":"10.1007","volume":"10","author":[{"suffix":"Jr.","given":"Allen L.","family":"Brown","sequence":"first","affiliation":[]},{"given":"Surya","family":"Mantha","sequence":"additional","affiliation":[]},{"given":"Toshiro","family":"Wakayama","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF01530953_CR1","unstructured":"R. Ackermann, Comments on N. Rescher's \u201cSemantic foundation for the logic of preference\u201d, in:The Logic of Decision and Action (Pittsburgh, 1967)."},{"key":"BF01530953_CR2","unstructured":"E. Adams,The Logic of Conditionals: An Application of Probability to Deductive Logic (Reidel, Dordrecht)."},{"key":"BF01530953_CR3","volume-title":"Social Choice and Individual Values","author":"K.J. Arrow","year":"1951","unstructured":"K.J. Arrow,Social Choice and Individual Values (Cowles Foundation and Wiley, New York, 1951)."},{"key":"BF01530953_CR4","volume-title":"Social Choice and Multicriterion Decision-Making","author":"K.J. Arrow","year":"1986","unstructured":"K.J. Arrow and H. Raynaud,Social Choice and Multicriterion Decision-Making (The MIT Press, Cambridge, Mass, 1986)."},{"key":"BF01530953_CR5","volume-title":"Philosophy, Politics and Society","author":"K.J. Arrow","year":"1967","unstructured":"K.J. Arrow, Values and collective decision-making, in:Philosophy, Politics and Society, eds. P. Laslett and W.B. Runciman (Basil Blackwell, Oxford, 1967)."},{"key":"BF01530953_CR6","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1016\/0004-3702(90)90048-5","volume":"41","author":"J. Bell","year":"1990","unstructured":"J. Bell, The logic of nonmonotonicity, Artificial Intelligence 41 (1990) 365\u2013374.","journal-title":"Artificial Intelligence"},{"key":"BF01530953_CR7","unstructured":"A.L. Brown Jr., S. Mantha and T. Wakayama, Preferences as normative knowledge: towards declarative obligations,1st Int. Workshop on Deontic Logic in Computer Science."},{"key":"BF01530953_CR8","unstructured":"A.L. Brown Jr., S. Mantha and T. Wakayama, A logical reconstruction of constraint relaxation hierarchies in logic programming,Conf. on Automated Deduction."},{"key":"BF01530953_CR9","unstructured":"A.L. Brown Jr., S. Mantha and T. Wakayama, Preference logics and nonmonotonicity in logic programming, submitted for publication."},{"key":"BF01530953_CR10","unstructured":"A.L. Brown Jr., S. Mantha and T. Wakayama, Assigning meaning to markup: A study in the logical foundations of document representation, in preparation."},{"key":"BF01530953_CR11","unstructured":"A.L. Brown Jr., S. Mantha and T. Wakayama, An axiomatic account of preferential structures, submitted for publication."},{"key":"BF01530953_CR12","unstructured":"C. Boutilier, Viewing conditional logics of normality as extensions of the modal system S4, Draft, Dept. of Computer Science, University of Toronto (1990)."},{"key":"BF01530953_CR13","unstructured":"C. Boutilier, Preliminary report on inaccessible worlds and irrelevance, Draft, Dept. of Computer Science, University of Toronto (1991)."},{"key":"BF01530953_CR14","doi-asserted-by":"crossref","unstructured":"B.F. Chellas,Modal Logic, An Introduction (Cambridge University Press, 1980).","DOI":"10.1017\/CBO9780511621192"},{"key":"BF01530953_CR15","doi-asserted-by":"crossref","unstructured":"J.P. Delgrande, A first-order logic for prototypical properties, Artificial Intelligence 33, pp. 105\u2013130.","DOI":"10.1016\/0004-3702(87)90053-1"},{"key":"BF01530953_CR16","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/0004-3702(88)90079-3","volume":"36","author":"J.P. Delgrande","year":"1988","unstructured":"J.P. Delgrande, An approach to default reasoning based on a first-order conditional logic: A revised report, Artificial Intelligence, 36 (1988) 63\u201390.","journal-title":"Artificial Intelligence"},{"key":"BF01530953_CR17","unstructured":"J. Doyle,Reasoned Assumptions and Pareto Optimality, Proc. IJCAI 1985."},{"key":"BF01530953_CR18","unstructured":"J. Doyle and M.P. Wellman, Impediments to universal preference-based default theories,Proc. KR89 (Principles of Knowledge Representation and Reasoning)."},{"key":"BF01530953_CR19","unstructured":"D.W. Etherington, Relating default logic and circumscription,Proc. IJCAI-97, Milan, Italy, pp. 489\u2013494."},{"key":"BF01530953_CR20","doi-asserted-by":"crossref","unstructured":"P. Fishburn, Intransitive indifference in preference theory: A survey, Oper. Res. 18 (1970).","DOI":"10.1287\/opre.18.2.207"},{"key":"BF01530953_CR21","doi-asserted-by":"crossref","unstructured":"D. Gabbay, Theoretical foundations for nonmonotonic reasoning in expert systems, in:Logics and Models of Concurrent Systems, ed. K.R. Apt (Springer, 1985).","DOI":"10.1007\/978-3-642-82453-1_15"},{"key":"BF01530953_CR22","doi-asserted-by":"crossref","unstructured":"J. Garson, Quantification in modal logic, in:Handbook of Philosophical Logic, Vol. II, eds. D. Gabbay and F. Guenthner (Reidel, 1984).","DOI":"10.1007\/978-94-009-6259-0_5"},{"key":"BF01530953_CR23","doi-asserted-by":"crossref","unstructured":"D. Gabbay and F. Guenthner,Handbook of Philosophical Logic, Vol. II (Reidel, 1984).","DOI":"10.1007\/978-94-009-6259-0"},{"key":"BF01530953_CR24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01239128","volume":"31","author":"S.O. Hansson","year":"1989","unstructured":"S.O. Hansson, A new semantical approach to the logic of preference, Erkenntnis 31 (1989) 1\u201342.","journal-title":"Erkenntnis"},{"key":"BF01530953_CR25","unstructured":"S. Hallden,The Logic of Better (Lund, 1957)."},{"key":"BF01530953_CR26","doi-asserted-by":"crossref","unstructured":"B. Hansson, Fundamental axioms for preference relations, Synthese 18 (1968).","DOI":"10.1007\/BF00484978"},{"key":"BF01530953_CR27","doi-asserted-by":"crossref","unstructured":"R.I.G. Hughes, Rationality and intransitive preferences, Analysis 40(3) (1980).","DOI":"10.1093\/analys\/40.3.132"},{"key":"BF01530953_CR28","doi-asserted-by":"crossref","unstructured":"I.L. Humberstone, Inaccessible worlds, Notre Dame J. Formal Logic 24(3) (1983).","DOI":"10.1305\/ndjfl\/1093870378"},{"key":"BF01530953_CR29","unstructured":"R.C. Jeffrey,The Logic of Decision (University of Chicago Press, 1983)."},{"key":"BF01530953_CR30","doi-asserted-by":"crossref","unstructured":"S. Krauss, D. Lehmann and M. Magidor, Nonmonotonic reasoning, preferential models and cumulative logics, Artificial Intelligence 44, pp. 167\u2013207.","DOI":"10.1016\/0004-3702(90)90101-5"},{"key":"BF01530953_CR31","unstructured":"K. Konolige, On the relation between default theories and autoepistemic logic,Proc. IJCAI-87, Milan, Italy, pp. 394\u2013401."},{"key":"BF01530953_CR32","unstructured":"D. Lehman, Wat does a conditional knowledge base entail?Proc. Conf. on Principles of Reasoning and Knowledge Representation, Toronto (1989) pp. 212\u2013222."},{"key":"BF01530953_CR33","unstructured":"H. Levesque, All I know: An abridged report,Proc. AAAI-87, Seattle, WA, pp. 426\u2013431."},{"key":"BF01530953_CR34","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(90)90056-6","volume":"42","author":"H. Levesque","year":"1990","unstructured":"H. Levesque, All I know: A study in autoepistemic logic, Artificial Intelligence 42 (1990) 263\u2013309.","journal-title":"Artificial Intelligence"},{"key":"BF01530953_CR35","doi-asserted-by":"crossref","unstructured":"V. Lifschitz, Benchmark problems for formal nonmonotonic reasoning,Nonmonotonic Reasoning, 2nd Int. Workshop (1988),Lecture Notes in AI (Springer).","DOI":"10.1007\/3-540-50701-9_29"},{"key":"BF01530953_CR36","doi-asserted-by":"crossref","unstructured":"J. Lloyd,Foundations of Logic Programming (Springer, 1984).","DOI":"10.1007\/978-3-642-96826-6"},{"key":"BF01530953_CR37","unstructured":"R.D. Luce and H. Raifa,Games and Decisions (New York, 1957)."},{"key":"BF01530953_CR38","unstructured":"W. Lukaszewicz, Two results on default logic, Proc. IJCAI (1985)."},{"key":"BF01530953_CR39","doi-asserted-by":"crossref","unstructured":"D. Makinson, General theory of cumulative inference,Lecture Notes in Artificial Intelligence 346 (Springer, 1989).","DOI":"10.1007\/3-540-50701-9_16"},{"key":"BF01530953_CR40","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(80)90012-0","volume":"13","author":"D.V. McDermott","year":"1980","unstructured":"D.V. McDermott and J. Doyle, Non-monotonic logic I, Artificial Intelligence 13 (1980) 41\u201372.","journal-title":"Artificial Intelligence"},{"key":"BF01530953_CR41","doi-asserted-by":"crossref","unstructured":"W. Marek, A. Nerode and J. Remmell, Nonmonotonic rule systems,Proc. LICS (1990).","DOI":"10.1007\/BF01531080"},{"key":"BF01530953_CR42","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"28","author":"R.C. Moore","year":"1985","unstructured":"R.C. Moore, Semantical considerations on non-monotonic logic, Artificial Intelligence 28 (1985) 75\u201394.","journal-title":"Artificial Intelligence"},{"key":"BF01530953_CR43","unstructured":"S. Mantha, First-order preference theories and their applications, Ph.D. Thesis, Dept. of Computer Science, University of Utah."},{"key":"BF01530953_CR44","unstructured":"W. Marek and M. Truszczynski, Autoepistemic logic, Technical Report 115-88, Dept. of Computer Science, Univ. of Kentucky."},{"key":"BF01530953_CR45","doi-asserted-by":"crossref","unstructured":"J. Mullen, Does the logic of preference rest on a mistake?, Metaphilosophy 10 (1979).","DOI":"10.1111\/j.1467-9973.1979.tb00082.x"},{"key":"BF01530953_CR46","unstructured":"Ramsay,The Foundations of Mathematics and Other Logical Essays, ed. R.B. Braithwaite (Harcourt Brace, 1931)."},{"key":"BF01530953_CR47","doi-asserted-by":"crossref","unstructured":"R. Reiter, A logic for default reasoning, in:Readings in Nonmonotonic Reasoning, ed. M. Ginsburg (Morgan Kaufmann, 1987).","DOI":"10.1016\/B978-0-934613-67-5.50016-2"},{"key":"BF01530953_CR48","doi-asserted-by":"crossref","unstructured":"N. Rescher,Topics in Philosophical Logic (Reidel, 1968).","DOI":"10.1007\/978-94-017-3546-9"},{"key":"BF01530953_CR49","doi-asserted-by":"crossref","unstructured":"J. Shepherdson, Negation in logic programming, in:Foundations of Deductive Databases and Logic Programming, ed. J. Minker (Morgan Kaufman, 1988).","DOI":"10.1016\/B978-0-934613-40-8.50005-1"},{"key":"BF01530953_CR50","unstructured":"J. Shoenfield,Mathematical Logic (Addison-Wesley, 1967)."},{"key":"BF01530953_CR51","unstructured":"Y. Shoham,Reasoning About Change, Time and Causation from the Standpoint of Artificial Intelligence (MIT Press, 1987)."},{"key":"BF01530953_CR52","doi-asserted-by":"crossref","unstructured":"S. Saito, Modality and preference relation, Notre Dame J. Formal Logic 14(3) (1973).","DOI":"10.1305\/ndjfl\/1093891005"},{"key":"BF01530953_CR53","doi-asserted-by":"crossref","unstructured":"G. Sayre-McCord, Deontic logic and the priority of moral theory, No\u00fbs 20, pp. 179\u2013197.","DOI":"10.2307\/2215390"},{"key":"BF01530953_CR54","unstructured":"R. Stalnaker, A theory of conditionals, in:Studies in Logical Theory, ed. N. Rescher, Amer. Philos. Quart. Monograph Series, No. 2 (Blackwell, Oxford)."},{"key":"BF01530953_CR55","unstructured":"R. Stalnaker, A note on non-monotonic modal logic, Cornell University, unpublished manuscript."},{"key":"BF01530953_CR56","unstructured":"R. Turner,Logics for Artificial Intelligence, Horwood Series in AI (1984)."},{"key":"BF01530953_CR57","doi-asserted-by":"crossref","unstructured":"J. van Benthem, Correspondence theory, in:Handbook of Philosophical Logic, Vol. II, eds. D. Gabbay and F. Guenthner (Reidel, 1984).","DOI":"10.1007\/978-94-009-6259-0_4"},{"key":"BF01530953_CR58","doi-asserted-by":"crossref","unstructured":"M.H. van Emden and R. Kowalski, The semantics of predicate logic as a programming language, JACM 23(4), pp. 733\u2013742.","DOI":"10.1145\/321978.321991"},{"key":"BF01530953_CR59","doi-asserted-by":"crossref","unstructured":"B. Vermazen, The logic of practical ought-sentences, Philos. Studies 32, pp. 1\u201377.","DOI":"10.1007\/BF00373715"},{"key":"BF01530953_CR60","unstructured":"G.H. von Wright, The logic of preference, Edinburgh (1963)."},{"key":"BF01530953_CR61","doi-asserted-by":"crossref","unstructured":"G.H. von Wright, The logic of preference reconsidered, Theory and Decision (1972).","DOI":"10.1007\/BF00141053"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530953\/fulltext.html","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530953.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530953\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530953","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530953.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,3]],"date-time":"2023-05-03T00:18:16Z","timestamp":1683073096000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01530953"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,9]]},"references-count":61,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1994,9]]}},"alternative-id":["BF01530953"],"URL":"https:\/\/doi.org\/10.1007\/bf01530953","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,9]]}}}