{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:26:58Z","timestamp":1725488818217},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540411314"},{"type":"electronic","value":"9783540400066"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-40006-0_26","type":"book-chapter","created":{"date-parts":[[2007,8,11]],"date-time":"2007-08-11T13:41:54Z","timestamp":1186839714000},"page":"376-390","source":"Crossref","is-referenced-by-count":5,"title":["A Compilation of Brewka and Eiter\u2019s Approach to Prioritization"],"prefix":"10.1007","author":[{"given":"James P.","family":"Delgrande","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Torsten","family":"Schaub","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans","family":"Tompits","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,9,19]]},"reference":[{"key":"26_CR1","unstructured":"F. Baader and B. Hollunder. How to prefer more specific defaults in terminological default logic. In Proceedings of the International Joint Conference on Artificial Intelligence, pages 669\u2013674, 1993."},{"key":"26_CR2","unstructured":"[2] G. Brewka. Reasoning about priorities in default logic. In Proceedings of the AAAI National Conference on Artificial Intelligence, volume 2, pages 940\u2013945. AAAI Press\/The MIT Press, 1994."},{"issue":"1-2","key":"26_CR3","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/S0004-3702(99)00015-6","volume":"109","author":"G. Brewka","year":"1999","unstructured":"G. Brewka and T. Eiter. Preferred answer sets for extended logic programs. Artificial Intelligence, 109(1-2):297\u2013356, 1999.","journal-title":"Artificial Intelligence"},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"G. Brewka and T. Eiter. Prioritizing default logic. In St. H\u00f6lldobler, editor, Intellectics and Computational Logic \u2014 Papers in Honour of Wolfgang Bibel. Kluwer Academic Publishers, 2000.","DOI":"10.1007\/978-94-015-9383-0_3"},{"key":"26_CR5","unstructured":"P. Cholewinski, V. W. Marek, and M. Truszczy\u0144ski. Default reasoning system DeReS. In Proceedings KR\u201996, pages 518\u2013528, 1996."},{"key":"26_CR6","unstructured":"J. Delgrande and T. Schaub. Compiling reasoning with and about preferences into default logic. InM. Pollack, editor, Proceedings of the International Joint Conference on Artificial Intelligence, pages 168\u2013174. Morgan Kaufmann Publishers, 1997."},{"key":"26_CR7","doi-asserted-by":"crossref","unstructured":"J. Delgrande and T. Schaub. The role of default logic in knowledge representation. In J. Minker, editor, Logic-Based Artificial Intelligence. Kluwer Academic Publishers, 2000.","DOI":"10.1007\/978-1-4615-1567-8_5"},{"key":"26_CR8","unstructured":"J. Delgrande, T. Schaub, and H. Tompits. Logic programs with compiled preferences. In C. Baral and M. Truszczy\u0144ski, editors, Proceedings of the Eighth International Workshop on Non-Monotonic Reasoning, 2000."},{"key":"26_CR9","doi-asserted-by":"crossref","unstructured":"J. Delgrande, T. Schaub, and H. Tompits. A compiler for ordered logic programs. In C. Baral and M. Truszczy\u0144ski, editors, Proceedings of the Eighth International Workshop on Non-Monotonic Reasoning, 2000.","DOI":"10.1007\/3-540-45402-0_33"},{"key":"26_CR10","doi-asserted-by":"crossref","unstructured":"T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello. A deductive system for nonmonotonic reasoning. In J. Dix, U. Furbach, and A. Nerode, editors, Proceedings LPNMR\u201997, pages 363\u2013374. Springer Verlag, 1997.","DOI":"10.1007\/3-540-63255-7_27"},{"key":"26_CR11","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"M. Gelfond and V. Lifschitz. Classical negation in logic programs and deductive databases. New Generation Computing, 9:365\u2013385, 1991.","journal-title":"New Generation Computing"},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"T. Janhunen. Classifying semi-normal default logic on the basis of its expressive power. In M. Gelfond, N. Leone, and G. Pfeifer, editors, Proceedings LPNMR\u201999, pages 19\u201333. Springer Verlag, 1999.","DOI":"10.1007\/3-540-46767-X_2"},{"key":"26_CR13","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","volume":"28","author":"J. McCarthy","year":"1986","unstructured":"J. McCarthy. Applications of circumscription to formalizing common-sense knowledge. Artificial Intelligence, 28:89\u2013116, 1986.","journal-title":"Artificial Intelligence"},{"key":"26_CR14","doi-asserted-by":"crossref","unstructured":"I. Niemel\u00e4 and P. Simons. Smodels: An implementation of the stable model and wellfounded semantics for normal logic programs. In J. Dix, U. Furbach, and A. Nerode, editors, Proceedings LPNMR\u201997, pages 420\u2013429. Springer Verlag, 1997.","DOI":"10.1007\/3-540-63255-7_32"},{"key":"26_CR15","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D. Poole","year":"1988","unstructured":"D. Poole. A logical framework for default reasoning. Artificial Intelligence, 36:27\u201347, 1988.","journal-title":"Artificial Intelligence"},{"issue":"1-2","key":"26_CR16","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"R. Reiter. A logic for default reasoning. Artificial Intelligence, 13(1-2):81\u2013132, 1980.","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-40006-0_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T23:22:30Z","timestamp":1556752950000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-40006-0_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411314","9783540400066"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-40006-0_26","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}