{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,13]],"date-time":"2025-09-13T16:42:46Z","timestamp":1757781766545},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441908"},{"type":"electronic","value":"9783540457572"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45757-7_37","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T13:50:39Z","timestamp":1192888239000},"page":"444-456","source":"Crossref","is-referenced-by-count":24,"title":["Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs"],"prefix":"10.1007","author":[{"given":"G.","family":"Brewka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ilkka","family":"Niemel\u00e4","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tommi","family":"Syrj\u00e4nen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,20]]},"reference":[{"unstructured":"G. Brewka, S. Benferhat, and D. Le Berre. Qualitative choice logic. In Proc. Principles of Knowledge Representation and Reasoning, KR-02, pages 158\u2013169. Morgan Kaufmann, 2002.","key":"37_CR1"},{"unstructured":"G. Brewka. Logic programming with ordered disjunction. In Proc. 18th National Conference on Artificial Intelligence, AAAI-2002. Morgan Kaufmann, 2002.","key":"37_CR2"},{"key":"37_CR3","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0304-3975(93)90073-3","volume":"114","author":"T. Eiter","year":"1993","unstructured":"T. Eiter and G. Gottlob. Propositional circumscription and extended closed-world reasoning are IIP\n                           2-complete. Theoretical Computer Science, 114:231\u2013245, 1993.","journal-title":"Theoretical Computer Science"},{"key":"37_CR4","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 disjunctive databases. New Generation Computing, 9:365\u2013385, 1991.","journal-title":"New Generation Computing"},{"unstructured":"Tomi Janhunen, Ilkka Niemel\u00e4, Patrik Simons, and Jia-Huai You. Unfolding partiality and disjunctions in stable model semantics. In Principles of Knowledge Representation and Reasoning: Proceedings of the 7th International Conference, pages 411\u2013419. Morgan Kaufmann Publishers, April 2000.","key":"37_CR5"},{"doi-asserted-by":"crossref","unstructured":"Ilkka Niemel\u00e4 and Patrik Simons. Extending the Smodels system with cardinality and weight constraints. In Jack Minker, editor, Logic-Based Artificial Intelligence, pages 491\u2013521. Kluwer Academic Publishers, 2000.","key":"37_CR6","DOI":"10.1007\/978-1-4615-1567-8"},{"key":"37_CR7","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/BF00881915","volume":"13","author":"C. Sakama","year":"1994","unstructured":"C. Sakama and K. Inoue. An alternative approach to the semantics of disjunctive logic programs and deductive databases. Journal of Automated Reasoning, 13:145\u2013172, 1994.","journal-title":"Journal of Automated Reasoning"},{"unstructured":"T. Soininen. An Approach to Knowledge Representation and Reasoning for Product Configuration Tasks. PhD thesis, Helsinki University of Technology, Finland, 2000.","key":"37_CR8"}],"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-45757-7_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T04:26:04Z","timestamp":1550982364000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45757-7_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441908","9783540457572"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-45757-7_37","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}