{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T02:54:01Z","timestamp":1778295241297,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540441908","type":"print"},{"value":"9783540457572","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45757-7_36","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T13:50:39Z","timestamp":1192888239000},"page":"432-443","source":"Crossref","is-referenced-by-count":18,"title":["Preferred Answer Sets for Ordered Logic Programs"],"prefix":"10.1007","author":[{"given":"Davy","family":"Van Nieuwenborgh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dirk","family":"Vermeir","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,20]]},"reference":[{"key":"36_CR1","doi-asserted-by":"crossref","unstructured":"Marcelo Arenas, Leopoldo Bertossi, and Jan Chomicki. Specifying and querying database repairs using logic programs with exceptions. In Proceedings of the 4th International Conference on Flexible Query Answering Systems, pages 27\u201341, Warsaw, Octobre 2000. Springer-Verlag.","DOI":"10.1007\/978-3-7908-1834-5_3"},{"issue":"1\u20132","key":"36_CR2","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/S0304-3975(96)00179-X","volume":"189","author":"T. Eiter","year":"1997","unstructured":"Thomas Eiter, Georg Gottlob, and Nicola Leone. Abduction from logic programs: Semantics and complexity. Theoretical Computer Science, 189(1\u20132):129\u2013177, 1997.","journal-title":"Theoretical Computer Science"},{"key":"36_CR3","unstructured":"T. Eiter and G. Gottlob. Complexity results for disjunctive logic programming and application to nonmonotnic logics. In Proceedings of the 1983 International Logic Programming Symposium, pages 266\u2013279, Vancouver, October 1993. MIT Press."},{"key":"36_CR4","unstructured":"Michael Gelfond and Vladimir Lifschitz. The stable model semantics for logic programming. In Robert A. Kowalski and Kenneth A. Bowen, editors, Logic Programming, Proceedings of the Fifth International Conference and Symposium, pages 1070\u20131080, Seattle, Washington, August 1988. The MIT Press."},{"key":"36_CR5","unstructured":"Robert A. Kowalski and Fariba Sadri. Logic programs with exceptions. In David H. D. Warren and Peter Szeredi, editors, Proceedings of the Seventh International Conference on Logic Programming, pages 598\u2013613, Jerusalem, 1990. The MIT Press."},{"issue":"2","key":"36_CR6","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1093\/logcom\/2.2.133","volume":"2","author":"E. Laenens","year":"1992","unstructured":"Els Laenens and Dirk Vermeir. Assumption-free semantics for ordered logic programs: On the relationship between well-founded and stable partial models. Journal of Logic and Computation, 2(2):133\u2013172, 1992.","journal-title":"Journal of Logic and Computation"},{"key":"36_CR7","unstructured":"Vladimir Lifschitz. Answer set programming and plan generation. Journal of Artificial Intelligence, to appear."},{"issue":"1","key":"36_CR8","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Raymond Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32(1):57\u201395, 1987.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"36_CR9","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/BF00881915","volume":"13","author":"C. Sakama","year":"1994","unstructured":"Chiaki Sakama and Katsumi Inoue. An alternative approach to the semantics of disjunctive logic programs and deductive databases. Journal of Automated Reasoning, 13(1):145\u2013172, 1994.","journal-title":"Journal of Automated Reasoning"},{"issue":"4","key":"36_CR10","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M.H. Emden van","year":"1976","unstructured":"M.H. van Emden and R. Kowalski. The semantics of predicate logic as a programming language. Journal of the Association for Computing Machinery, 23(4):733\u2013742, 1976.","journal-title":"Journal of the Association for Computing Machinery"},{"issue":"4","key":"36_CR11","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1111\/0824-7935.00168","volume":"17","author":"M. Vos De","year":"2001","unstructured":"M. De Vos and D. Vermeir. Semantic forcing in disjunctive logic programs. Computational Intelligence, 17(4):651\u2013684, 2001.","journal-title":"Computational 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-45757-7_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T18:07:58Z","timestamp":1556906878000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45757-7_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441908","9783540457572"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-45757-7_36","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]}}}