{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:27:08Z","timestamp":1725575228065},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540207214"},{"type":"electronic","value":"9783540246091"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-24609-1_6","type":"book-chapter","created":{"date-parts":[[2011,1,13]],"date-time":"2011-01-13T22:31:31Z","timestamp":1294957891000},"page":"34-46","source":"Crossref","is-referenced-by-count":5,"title":["Answer Sets: From Constraint Programming Towards Qualitative Optimization"],"prefix":"10.1007","author":[{"given":"Gerhard","family":"Brewka","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge representation, reasoning and declarative problem solving","author":"C. Baral","year":"2003","unstructured":"Baral, C.: Knowledge representation, reasoning and declarative problem solving. Cambridge University Press, Cambridge (2003)"},{"key":"6_CR2","series-title":"Lecture Notes in Artificial Intelligence","first-page":"186","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"C. Baral","year":"2001","unstructured":"Baral, C., Uyan, C.: Declarativ specification and solution of combinatorial auctions using logic programming. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol.\u00a02173, p. 186. Springer, Heidelberg (2001)"},{"key":"6_CR3","unstructured":"Balduccini, M., Gelfond, M.: Logic Programs with Consistency-Restoring Rules. In: Doherty, P., McCarthy, J., Williams, M.-A. (eds.) International Symposium on Logical Formalization of Commonsense Reasoning, March 2003. AAAI 2003 Spring Symposium Series (2003)"},{"key":"6_CR4","first-page":"100","volume-title":"Proc. AAAI 2002","author":"G. Brewka","year":"2002","unstructured":"Brewka, G.: Logic programming with ordered disjunction. In: Proc. AAAI 2002, pp. 100\u2013105. Morgan Kaufmann, San Francisco (2002)"},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/S0004-3702(99)00015-6","volume":"109","author":"G. Brewka","year":"1999","unstructured":"Brewka, G., Eiter, T.: Preferred answer sets for extended logic programs. Artificial Intelligence\u00a0109, 297\u2013356 (1999)","journal-title":"Artificial Intelligence"},{"key":"6_CR6","unstructured":"Brewka, G., Niemel\u00e4, I., Truszczynski, M.: Answer set optimization. In: Proc. IJCAI 2003, Acapulco, pp. 867\u2013872 (2003)"},{"key":"6_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1007\/3-540-45757-7_37","volume-title":"Logics in Artificial Intelligence","author":"G. Brewka","year":"2002","unstructured":"Brewka, G., Niemel\u00e4, I., Syrj\u00e4nen, T.: Implementing ordered disjunction using answer set solvers for normal programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, p. 444. Springer, Heidelberg (2002)"},{"issue":"5","key":"6_CR8","doi-asserted-by":"publisher","first-page":"845","DOI":"10.1109\/69.877512","volume":"12","author":"F. Buccafurri","year":"2000","unstructured":"Buccafurri, F., Leone, N., Rullo, P.: Enhancing disjunctive datalog by constraints. IEEE Transactions on Knowledge and Data Engineering\u00a012(5), 845\u2013860 (2000)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"5","key":"6_CR9","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1093\/logcom\/1.5.661","volume":"1","author":"L. Console","year":"1991","unstructured":"Console, L., Dupre, D.T., Torasso, P.: On the relatio between abduction and deduction. Journal of Logic and Computation\u00a01(5), 661\u2013690 (1991)","journal-title":"Journal of Logic and Computation"},{"key":"6_CR10","first-page":"241","volume-title":"Handbook of Defeasible Reasoning and Uncertainty Management Systems","author":"C.V. Damasio","year":"1998","unstructured":"Damasio, C.V., Pereira, L.M.: A Survey on Paraconsistent Semantics for Extended Logic Programas. In: Gabbay, D.M., Smets, P. (eds.) Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol.\u00a02, pp. 241\u2013320. Kluwer Academic Publishers, Dordrecht (1998)"},{"key":"6_CR11","volume-title":"Principles of Knowledge Representation","author":"O. Dressler","year":"1996","unstructured":"Dressler, O., Struss, P.: The consistency-based approach to automated diagnosis of devices. In: Brewka, G. (ed.) Principles of Knowledge Representation. CSLI Publications, Stanford (1996)"},{"key":"6_CR12","volume-title":"Proc. Principles of Knowledge Representation and Reasoning, KR 1998","author":"T. Eiter","year":"1998","unstructured":"Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: The kr system dlv: Progress report, comparisons and benchmarks. In: Proc. Principles of Knowledge Representation and Reasoning, KR 1998. Morgan Kaufmann, San Francisco (1998)"},{"issue":"1-2","key":"6_CR13","first-page":"99","volume":"12","author":"T. Eiter","year":"1999","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G.: The Diagnosi Frontend of the dlv System. AI Communications\u00a012(1-2), 99\u2013111 (1999)","journal-title":"AI Communications"},{"key":"6_CR14","volume-title":"Proc. Principles of Knowledge Representation and Reasoning, KR 2002","author":"T. Eiter","year":"2002","unstructured":"Eiter, T., Fink, M., Sabbatini, G., Tompits, H.: A generic approach for knowledgebased information-site selection. In: Proc. Principles of Knowledge Representation and Reasoning, KR 2002, Toulouse. Morgan Kaufman, San Francisco (2002)"},{"key":"6_CR15","volume-title":"Proc. JELIA 2002","author":"T. Eiter","year":"2002","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G., Polleres, A.: Answer se planning under action costs. In: Proc. JELIA 2002, Springer, Heidelberg (2002); extended version to appear in Journal of Artificial Intelligence Research"},{"key":"6_CR16","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/0004-3702(92)90073-7","volume":"53","author":"K. Konolige","year":"1992","unstructured":"Konolige, K.: Abduction versus closure in causal theories. Artificial Intelligence\u00a053, 255\u2013272 (1992)","journal-title":"Artificial Intelligence"},{"key":"6_CR17","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing\u00a09, 365\u2013385 (1991)","journal-title":"New Generation Computing"},{"issue":"1-2","key":"6_CR18","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0004-3702(02)00186-8","volume":"138","author":"V. Lifschitz","year":"2002","unstructured":"Lifschitz, V.: Answer set programming and plan generation. Artificial Intelligence\u00a0138(1-2), 39\u201354 (2002)","journal-title":"Artificial Intelligence"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Marek, V., Truszczynski, M.: Stable models and an alternative logic programming paradigm. In: The Logic Programming Paradigm: a 25-Year Perspective (1999)","DOI":"10.1007\/978-3-642-60085-2_17"},{"issue":"3,4","key":"6_CR20","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1018930122475","volume":"25","author":"I. Niemel\u00e4","year":"1999","unstructured":"Niemel\u00e4, I.: Logic programs with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence\u00a025(3,4), 241\u2013273 (1999)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"6_CR21","volume-title":"Proc. 4th Intl. Conference on Logic Programming and Nonmonotonic Reasoning","author":"I. Niemel\u00e4","year":"1997","unstructured":"Niemel\u00e4, I., Simons, P.: Efficient implementation of the stable model and wellfounded semantics for normal logic programs. In: Proc. 4th Intl. Conference on Logic Programming and Nonmonotonic Reasoning. Springer, Heidelberg (1997)"},{"key":"6_CR22","volume-title":"Symbolic Computation - Artificial Intelligence","author":"Y. Peng","year":"1990","unstructured":"Peng, Y., Reggia, J.: Abductive inference models for diagnostic problem solving. In: Symbolic Computation - Artificial Intelligence. Springer, Heidelberg (1990)"},{"key":"6_CR23","first-page":"105","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"L.M. Pereira","year":"1991","unstructured":"Pereira, L.M., Alferes, J.J., Aparicio, J.: Contradiction Removal within Well Founded Semantics. In: Nerode, A., Marek, W., Subrahmanian, V.S. (eds.) Logic Programming and Nonmonotonic Reasoning, pp. 105\u2013119. MIT Press, Cambridge (1991)"},{"issue":"1","key":"6_CR24","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1111\/j.1467-8640.1989.tb00319.x","volume":"5","author":"D. Poole","year":"1989","unstructured":"Poole, D.: An architecture for default and abductive reasoning. Computational Intelligence\u00a05(1), 97\u2013110 (1989)","journal-title":"Computational Intelligence"},{"issue":"1-2","key":"6_CR25","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/S0004-3702(00)00054-0","volume":"123","author":"C. Sakama","year":"2000","unstructured":"Sakama, C., Inoue, K.: Prioritized logic programming and its application to commonsense reasoning. Artificial Intelligence\u00a0123(1-2), 185\u2013222 (2000)","journal-title":"Artificial Intelligence"},{"key":"6_CR26","unstructured":"Schaub, T., Wang, K.: A comparative study of logic programs with preference. In: Proc. Intl. Joint Conference on Artificial Intelligence, IJCAI 2001 (2001)"},{"issue":"1-2","key":"6_CR27","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/S0004-3702(02)00187-X","volume":"138","author":"P. Simons","year":"2002","unstructured":"Simons, P., Niemel\u00e4, I., Soininen, T.: Extending and implementing the stable model semantics. Artificial Intelligence\u00a0138(1-2), 181\u2013234 (2002)","journal-title":"Artificial Intelligence"},{"key":"6_CR28","unstructured":"Soininen, T.: An Approach to Knowledge Representation and Reasoning for Product Configuration Tasks. PhD thesis, Helsinki University of Technology, Finland (2000)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24609-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T15:19:19Z","timestamp":1553354359000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24609-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540207214","9783540246091"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24609-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}