{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:27:00Z","timestamp":1725575220277},"publisher-location":"Berlin, Heidelberg","reference-count":17,"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_13","type":"book-chapter","created":{"date-parts":[[2011,1,13]],"date-time":"2011-01-13T22:31:31Z","timestamp":1294957891000},"page":"127-140","source":"Crossref","is-referenced-by-count":4,"title":["Graphs and Colorings for Answer Set Programming: Abridged Report"],"prefix":"10.1007","author":[{"given":"Kathrin","family":"Konczak","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Linke","sequence":"additional","affiliation":[]},{"given":"Torsten","family":"Schaub","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1007\/3-540-45757-7_46","volume-title":"Logics in Artificial Intelligence","author":"C. Anger","year":"2002","unstructured":"Anger, C., Konczak, K., Linke, T.: noMoRe: Non-monotonic reasoning with logic programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, pp. 521\u2013524. Springer, Heidelberg (2002)"},{"key":"13_CR2","first-page":"89","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"K. Apt","year":"1987","unstructured":"Apt, K., Blair, H., Walker, A.: Towards a theory of declarative knowledge. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, pp. 89\u2013148. Morgan Kaufmann, San Francisco (1987)"},{"key":"13_CR3","first-page":"197","volume-title":"Proceedings of the Conference on Information Technology","author":"G. Brignoli","year":"1999","unstructured":"Brignoli, G., Costantini, S., D\u2019Antona, O., Provetti, A.: Characterizing and computing stable models of logic programs: the non-stratified case. In: Baral, C., Mohanty, H. (eds.) Proceedings of the Conference on Information Technology, Bhubaneswar, India, pp. 197\u2013201. AAAI Press, Menlo Park (1999)"},{"key":"13_CR4","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/S0304-3975(96)80707-9","volume":"170","author":"Y. Dimopoulos","year":"1996","unstructured":"Dimopoulos, Y., Torres, A.: Graph theoretical structures in logic programs and default theories. Theoretical Computer Science\u00a0170, 209\u2013244 (1996)","journal-title":"Theoretical Computer Science"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1007\/3-540-63255-7_27","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Eiter","year":"1997","unstructured":"Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: A deductive system for nonmonotonic reasoning. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol.\u00a01265, pp. 363\u2013374. Springer, Heidelberg (1997)"},{"key":"13_CR6","first-page":"51","volume":"1","author":"F. Fages","year":"1994","unstructured":"Fages, F.: Consistency of clark\u2019s completion and the existence of stable models. Journal of Methods of Logic in Computer Science\u00a01, 51\u201360 (1994)","journal-title":"Journal of Methods of Logic in Computer Science"},{"issue":"1-2","key":"13_CR7","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/S0304-3975(00)00330-3","volume":"278","author":"M. Fitting","year":"2002","unstructured":"Fitting, M.: Fixpoint semantics for logic programming a survey. Theoretical Computer Science\u00a0278(1-2), 25\u201351 (2002)","journal-title":"Theoretical Computer Science"},{"key":"13_CR8","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 deductive databases. New Generation Computing\u00a09, 365\u2013385 (1991)","journal-title":"New Generation Computing"},{"key":"13_CR9","first-page":"641","volume-title":"Proceedings of the International Joint Conference on Artificial Intelligence","author":"T. Linke","year":"2001","unstructured":"Linke, T.: Graph theoretical characterization and computation of answer sets. In: Nebel, B. (ed.) Proceedings of the International Joint Conference on Artificial Intelligence, pp. 641\u2013645. Morgan Kaufmann Publishers, San Francisco (2001)"},{"key":"13_CR10","unstructured":"Linke, T.: Using nested logic programs for answer set programming. In: De Voss, M., Provetti, A. (eds.) Proceedings of the Workshop on Answer Set Programming: Advances in Theory and Implementation (ASP 2003), pp. 181\u2013194, CEUR (2003)"},{"key":"13_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"468","DOI":"10.1007\/3-540-45757-7_39","volume-title":"Logics in Artificial Intelligence","author":"T. Linke","year":"2002","unstructured":"Linke, T., Anger, C., Konczak, K.: More on noMoRe. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, pp. 468\u2013480. Springer, Heidelberg (2002)"},{"key":"13_CR12","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/3-540-49545-2_16","volume-title":"Proceedings of the Sixth European Workshop on Logics in Artificial Intelligence","author":"T. Linke","year":"1998","unstructured":"Linke, T., Schaub, T.: An approach to query-answering in Reiter\u2019s default logic and the underlying existence of extensions problem. In: Dix, J., et al. (eds.) Proceedings of the Sixth European Workshop on Logics in Artificial Intelligence, pp. 233\u2013247. Springer, Heidelberg (1998)"},{"issue":"1","key":"13_CR13","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/S0004-3702(00)00060-6","volume":"124","author":"T. Linke","year":"2000","unstructured":"Linke, T., Schaub, T.: Alternative foundations for Reiter\u2019s default logic. Artificial Intelligence\u00a0124(1), 31\u201386 (2000)","journal-title":"Artificial Intelligence"},{"key":"13_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J. Lloyd","year":"1987","unstructured":"Lloyd, J.: Foundations of Logic Programming. Springer, Heidelberg (1987)"},{"key":"13_CR15","first-page":"289","volume-title":"Proceedings of the Joint International Conference and Symposium on Logic Programming","author":"I. Niemel\u00e4","year":"1996","unstructured":"Niemel\u00e4, I., Simons, P.: Efficient implementation of the well-founded and stable model semantics. In: Maher, M. (ed.) Proceedings of the Joint International Conference and Symposium on Logic Programming, pp. 289\u2013303. The MIT Press, Cambridge (1996)"},{"key":"13_CR16","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/0004-3702(94)90087-6","volume":"69","author":"C. Papadimitriou","year":"1994","unstructured":"Papadimitriou, C., Sideri, M.: Default theories that always have extensions. Artificial Intelligence\u00a069, 347\u2013357 (1994)","journal-title":"Artificial Intelligence"},{"issue":"3","key":"13_CR17","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"K. Gelder van","year":"1991","unstructured":"van Gelder, K.: Ross, and J. S. Schlipf. The well-founded semantics for general logic programs. Journal of the ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"Journal of the ACM"}],"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_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T15:01:44Z","timestamp":1553353304000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24609-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540207214","9783540246091"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24609-1_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}