{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:43:34Z","timestamp":1725565414470},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540226710"},{"type":"electronic","value":"9783540277750"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27775-0_14","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T20:29:36Z","timestamp":1284582576000},"page":"195-209","source":"Crossref","is-referenced-by-count":9,"title":["Splitting an Operator"],"prefix":"10.1007","author":[{"given":"Joost","family":"Vennekens","sequence":"first","affiliation":[]},{"given":"David","family":"Gilis","sequence":"additional","affiliation":[]},{"given":"Marc","family":"Denecker","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","first-page":"69","volume-title":"Intl. Workshop on Logic Programming and Nonmonotonic Reasoning","author":"C. Baral","year":"1991","unstructured":"Baral, C., Subrahmanian, V.: Duality between alternative semantics of logic programs and nonmonotonic formalisms. In: Nerode, A., Marek, W., Subrahmanian, V. (eds.) Intl. Workshop on Logic Programming and Nonmonotonic Reasoning, Washington DC, pp. 69\u201386. MIT Press, Cambridge (1991)"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Denecker, M., Marek, V., Truszczynski, M.: Approximating operators, stable operators, well-founded fixpoints and applications in non-monotonic reasoning. In: Logic-based Artificial Intelligence. The Kluwer International Series in Engineering and Computer Science, pp. 127\u2013144 (2000)","DOI":"10.1007\/978-1-4615-1567-8_6"},{"issue":"1","key":"14_CR3","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/S0004-3702(02)00293-X","volume":"143","author":"M. Denecker","year":"2003","unstructured":"Denecker, M., Marek, V., Truszczynski, M.: Uniform semantic treatment of default and autoepistemic logics. Artificial Intelligence\u00a0143(1), 79\u2013122 (2003)","journal-title":"Artificial Intelligence"},{"key":"14_CR4","unstructured":"Erdo\u011fan, S.T., Lifschitz, V.: Definitions in Answer Set Programming. In: Lifschitz, V., Niemel\u00e4, I. (eds.) LPNMR 2004. LNCS (LNAI), vol.\u00a02923, pp. 185\u2013197. Springer, Heidelberg (2004)"},{"issue":"4","key":"14_CR5","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","volume":"2","author":"M. Fitting","year":"1985","unstructured":"Fitting, M.: A Kripke-Kleene Semantics for Logic Programs. Journal of Logic Programming\u00a02(4), 295\u2013312 (1985)","journal-title":"Journal of Logic Programming"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Fitting, M.: Bilattices and the semantics of logic programming. Journal of Logic Programming (1989)","DOI":"10.1007\/BF00274066"},{"key":"14_CR7","first-page":"207","volume-title":"Proc. of AAAI 1987","author":"M. Gelfond","year":"1987","unstructured":"Gelfond, M.: On Stratified Autoepistemic Theories. In: Proc. of AAAI 1987, pp. 207\u2013211. Morgan Kaufmann, San Francisco (1987)"},{"issue":"1","key":"14_CR8","doi-asserted-by":"crossref","first-page":"59","DOI":"10.3233\/FI-1992-16104","volume":"16","author":"M. Gelfond","year":"1992","unstructured":"Gelfond, M., Przymusinska, H.: On consistency and completeness of autoepistemic theories. Fundamenta Informaticae\u00a016(1), 59\u201392 (1992)","journal-title":"Fundamenta Informaticae"},{"key":"14_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1987)"},{"key":"14_CR10","first-page":"399","volume-title":"Proc. of International Logic Programming Ssymposium-ILPS 1995","author":"N. Leone","year":"1995","unstructured":"Leone, N., Rullo, P., Scarcello, F.: Declarative and fixpoints characterizations of disjunctive stable models. In: Proc. of International Logic Programming Ssymposium-ILPS 1995, pp. 399\u2013413. MIT Press, Cambridge (1995)"},{"key":"14_CR11","unstructured":"Lifschitz, V., Turner, H.: Splitting a logic program. In: International Conference on Logic Programming, pp. 23\u201337 (1994)"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Niemel\u00e4, I., Rintanen, J.: On the impact of stratification on the complexity of nonmonotonic reasoning. Journal of Applied Non-Classical Logics\u00a04(2) (1994)","DOI":"10.1080\/11663081.1994.10510830"},{"key":"14_CR13","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A. Tarski","year":"1955","unstructured":"Tarski, A.: Lattice-theoretic fixpoint theorem and its applications. Pacific Journal of Mathematics\u00a05, 285\u2013309 (1955)","journal-title":"Pacific Journal of Mathematics"},{"key":"14_CR14","first-page":"645","volume-title":"Proc. Thirteenth National Conference on Artificial Intelligence and the Eighth Innovative Applications of Artificial Intelligence Conference","author":"H. Turner","year":"1996","unstructured":"Turner, H.: Splitting a default theory. In: Proc. Thirteenth National Conference on Artificial Intelligence and the Eighth Innovative Applications of Artificial Intelligence Conference, pp. 645\u2013651. AAAI Press, Menlo Park (1996)"},{"issue":"3","key":"14_CR15","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"Van Gelder, A., Ross, K.A., Schlipf, J.S.: 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"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27775-0_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,10]],"date-time":"2021-11-10T01:17:24Z","timestamp":1636507044000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27775-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540226710","9783540277750"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27775-0_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}