{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:13:49Z","timestamp":1725455629657},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540557074"},{"type":"electronic","value":"9783540472766"}],"license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/bfb0023862","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T06:02:35Z","timestamp":1132380155000},"page":"45-56","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Preference logics and nonmonotonicity in logic programming"],"prefix":"10.1007","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","published-online":{"date-parts":[[2005,6,13]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"K.R. Apt, H. Blair, A. Walker. Towards a Theory of Declarative Knowledge In Foundations of Deductive Databases and Logic Programming, ed. Jack Minker, Morgan Kaufmann Publishers, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"key":"5_CR2","unstructured":"A. L. Brown Jr., S. Mantha, T. Wakayama. Preferences as Normative Knowledge: Towards Declarative Obligations To be presented at the First International Workshop on Deontic Logic in Computer Science."},{"key":"5_CR3","unstructured":"A. L. Brown Jr., S. Mantha, T. Wakayama. Preference Logics: Towards a Unified Approach to Nonmonotonicity in Deductive Reasoning To be presented at the Second International Symposium on Artificial Intelligence and Mathematics."},{"key":"5_CR4","unstructured":"A. L. Brown Jr., S. Mantha, T. Wakayama. A Logical Reconstruction of Constraint Relaxation Hierarchies in Logic Programming Submitted to Conference on Automated Deduction."},{"key":"5_CR5","unstructured":"A. L. Brown Jr., S. Mantha, T. Wakayama. Assigning Meaning to Markup: A Study in the Logical Foundations of Document Representation In preparation."},{"key":"5_CR6","unstructured":"Allen L. Brown Jr., Surya Mantha, Toshiro Wakayama. An Axiomatic Account of Preferential Structures, Submitted for Publication."},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"B. F. Chellas. Modal Logic, an introduction Cambridge University Press, 1980.","DOI":"10.1017\/CBO9780511621192"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"D. Gabbay, F. Guenthner. Handbook of Philosophical Logic, Vol. II. D. Reidel Publishing Company, 1984.","DOI":"10.1007\/978-94-009-6259-0"},{"key":"5_CR9","unstructured":"M. Gelfond, V. Lifschitz. The Stable Model Semantics for Logic Programming Proc. of the 5th Conference on Logic Programming, MIT Press, 1988."},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"I. L. Humberstone. Inaccessible Worlds Notre Dame Journal of Formal Logic, Volume 24, Number 3, July 1983.","DOI":"10.1305\/ndjfl\/1093870378"},{"key":"5_CR11","unstructured":"K. Kunen. Negation in Logic Programming Journal of Logic Programming."},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"V. Lifschitz. On the Declarative Semantics of Logic Programs with Negation In Foundations of Deductive Databases and Logic Programming, ed. Jack Minker, Morgan Kaufmann Publishers, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50008-7"},{"key":"5_CR13","unstructured":"Vladimir Lifschitz. Pointwise Circumscription: Preliminary Report, Proceedings of AAAI-86."},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"J Lloyd. Foundations of Logic Programming Springer-Verlag Publishers, 1984.","DOI":"10.1007\/978-3-642-96826-6"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"W. Marek, A. Nerode, J. Remmell Nonmonotonic Rule Systems Proceedings of the LICS, 1990.","DOI":"10.1007\/BF01531080"},{"key":"5_CR16","doi-asserted-by":"publisher","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), pp. 75\u201394.","journal-title":"Artificial Intelligence"},{"key":"5_CR17","unstructured":"S. Mantha. First-Order Preference Theories and their Applications PhD thesis, Dept. of Computer Science, University of Utah, 1991."},{"key":"5_CR18","unstructured":"W. Marek, M. Truszczynski. Autoepistemic Logic Technical Report 115-88, Dept. of Computer Science, Univ. of Kentucky."},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"T.C. Przymusinski. On the Declarative Semantics of Deductive Databases and Logic Programs In Foundations of Deductive Databases and Logic Programming, ed. Jack Minker, Morgan Kaufmann Publishers, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50009-9"},{"key":"5_CR20","unstructured":"R. Reiter. A Logic for Default Reasoning In Readings in Nonmonotonic Reasoning, ed. Matthew Ginsburg, Morgan Kaufmann Publishers, 1987"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"J. Shepherdson Negation in Logic Programming In Foundations of Deductive Databases and Logic Programming, ed. Jack Minker, Morgan Kaufmann Publishers, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50005-1"},{"key":"5_CR22","unstructured":"J. Shoenfield. Mathematical Logic Addison-Wesley Publishing Company, 1967."},{"key":"5_CR23","unstructured":"Y. Shoham. Reasoning About Change, Time and Causation from the Standpoint of Artificial Intelligence MIT Press, 1987."},{"key":"5_CR24","unstructured":"R. Stalnaker A theory of conditionals in N. Rescher (ed.) Studies in Logical Theory, American Philosophical Quarterly Monograph Series, No. 2, Blackwell, Oxford."},{"key":"5_CR25","unstructured":"R. Stalnaker. A Note on Non-Monotonic Modal Logic Cornell University, Unpublished Manuscript."},{"key":"5_CR26","unstructured":"R. Turner. Logics for Artificial Intelligence Horwood Series in AI, 1984."},{"key":"5_CR27","doi-asserted-by":"crossref","unstructured":"M. H. van Emden, R. Kowalski. The Semantics of Predicate Logic as a Programming Language JACM 23(4):733\u2013742.","DOI":"10.1145\/321978.321991"},{"key":"5_CR28","unstructured":"G.H. von Wright. The Logic of Preference Edinburgh, 1963."},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"L. Y. Yuan, J. You. Discriminant Circumscription Proceedings of the Tenth FSTTCS, Bangalore, India, Dec.1990.","DOI":"10.1007\/3-540-53487-3_32"}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science \u2014 Tver '92"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0023862","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T13:59:53Z","timestamp":1683295193000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023862"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540557074","9783540472766"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/bfb0023862","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]},"assertion":[{"value":"13 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}