{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:13:15Z","timestamp":1760170395655},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540651413"},{"type":"electronic","value":"9783540495451"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49545-2_1","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T14:41:28Z","timestamp":1186411288000},"page":"1-16","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":16,"title":["The Well-Founded Semantics Is the Principle of Inductive Definition"],"prefix":"10.1007","author":[{"given":"Marc","family":"Denecker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,2,26]]},"reference":[{"unstructured":"S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addusin-Wesley Publishing Company, 1995.","key":"1_CR1"},{"doi-asserted-by":"crossref","unstructured":"P. Aczel. An Introduction to Inductive Definitions. In J. Barwise, editor, Handbook of Mathematical Logic, pages 739\u2013782. North-Holland Publishing Company, 1977.","key":"1_CR2","DOI":"10.1016\/S0049-237X(08)71120-0"},{"doi-asserted-by":"crossref","unstructured":"K.R. Apt, H.A. Blair, and A. Walker. Towards a theory of Declarative Knowledge. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann, 1988.","key":"1_CR3","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"doi-asserted-by":"crossref","unstructured":"W. Buchholz, S. Feferman, and W. Pohlers W. Sieg. Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies. Springer-Verlag, Lecture Notes in Mathematics 897, 1981.","key":"1_CR4","DOI":"10.1007\/BFb0091894"},{"doi-asserted-by":"crossref","unstructured":"K.L. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logic and Databases, pages 293\u2013322. Plenum Press, 1978.","key":"1_CR5","DOI":"10.1007\/978-1-4684-3384-5_11"},{"doi-asserted-by":"crossref","unstructured":"M. Denecker. A Terminological Interpretation of (Abductive) Logic Programming. In V.W. Marek, A. Nerode, and M. Truszczynski, editors, International Conference on Logic Programming and Nonmonotonic Reasoning, pages 15\u201329. Springer, Lecture notes in Artificial Intelligence 928, 1995.","key":"1_CR6","DOI":"10.1007\/3-540-59487-6_2"},{"unstructured":"M. Denecker and D. De Schreye. Justification semantics: a unifying framework for the semantics of logic programs. Technical Report 157, Department of Computer Science, K.U.Leuven, 1992.","key":"1_CR7"},{"issue":"2","key":"1_CR8","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/S0743-1066(97)00074-5","volume":"34","author":"M. Denecker","year":"1997","unstructured":"M. Denecker and D. De Schreye. SLDNFA: an abductive procedure for abductive logic programs. Journal of Logic Programming, 34(2):111\u2013167, 1997.","journal-title":"Journal of Logic Programming"},{"doi-asserted-by":"crossref","unstructured":"S. Feferman. Formal theories for transfinite iterations of generalised inductive definitions and some subsystems of analysis. In A. Kino, J. Myhill, and R.E. Vesley, editors, Intuitionism and Proof theory, pages 303\u2013326. North Holland, 1970.","key":"1_CR9","DOI":"10.1016\/S0049-237X(08)70761-4"},{"issue":"4","key":"1_CR10","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","volume":"2","author":"M. Fitting","year":"1985","unstructured":"M. Fitting. A Kripke-Kleene Semantics for Logic Programs. Journal of Logic Programming, 2(4):295\u2013312, 1985.","journal-title":"Journal of Logic Programming"},{"unstructured":"M. Gelfond. On Stratified Autoepistemic Theories. In Proc. of AAAI87, pages 207\u2013211. Morgan Kaufman, 1987.","key":"1_CR11"},{"unstructured":"M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In Proc. of the International Joint Conference and Symposium on Logic Programming, pages 1070\u20131080. IEEE, 1988.","key":"1_CR12"},{"unstructured":"M. Gelfond and V. Lifschitz. Logic Programs with Classical Negation. In D.H.D. Warren and P. Szeredi, editors, Proc. of the 7th International Conference on Logic Programming 90, page 579. MIT press, 1990.","key":"1_CR13"},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/BF03037052","volume":"2","author":"M. Hagiya","year":"1984","unstructured":"M. Hagiya and T. Sakurai. Foundation of Logic Programming Based on Inductive Definition. New Generation Computing, 2:59\u201377, 1984.","journal-title":"New Generation Computing"},{"unstructured":"G. Kreisel. Generalized inductive definitions. Technical report, Stanford University, 1963.","key":"1_CR15"},{"doi-asserted-by":"crossref","unstructured":"P. Martin-L\u00f6f. Hauptsatz for the intuitionistic theory of iterated inductive definitions. In J.e. Fenstad, editor, Proceedings of the Second Scandinavian Logic Symposium, pages 179\u2013216, 1971.","key":"1_CR16","DOI":"10.1016\/S0049-237X(08)70847-4"},{"key":"1_CR17","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","volume":"28","author":"J. McCarthy","year":"1980","unstructured":"J. McCarthy. Applications of Circumscription to Formalizing Common-Sense Knowledge. Artifical Intelligence, 28:89\u2013116, 1980.","journal-title":"Artifical Intelligence"},{"key":"1_CR18","volume-title":"Elementary Induction on Abstract Structures","author":"Y. N. Moschovakis","year":"1974","unstructured":"Y. N. Moschovakis. Elementary Induction on Abstract Structures. North-Holland Publishing Company, Amsterdam-New York, 1974."},{"key":"1_CR19","doi-asserted-by":"publisher","first-page":"197","DOI":"10.2307\/2371809","volume":"65","author":"E. Post","year":"1943","unstructured":"E. Post. Formal reduction of the general combinatorial decision problem. American Journal of Mathematics, 65:197\u2013215, 1943.","journal-title":"American Journal of Mathematics"},{"unstructured":"H. Przymusinska and T.C. Przymusinski. Weakly perfect model semantics for logic programs. In R.A. Kowalski and K.A. Bowen, editors, Proc. of the fifth international conference and symposium on logic programming, pages 1106\u20131120. the MIT press, 1988.","key":"1_CR20"},{"doi-asserted-by":"crossref","unstructured":"T.C. Przymusinski. On the semantics of Stratified Databases. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming. Morgan Kaufman, 1988.","key":"1_CR21","DOI":"10.1016\/B978-0-934613-40-8.50009-9"},{"key":"1_CR22","doi-asserted-by":"crossref","first-page":"445","DOI":"10.3233\/FI-1990-13404","volume":"13","author":"T.C. Przymusinski","year":"1990","unstructured":"T.C. Przymusinski. Well founded semantics coincides with three valued Stable Models. Fundamenta Informaticae, 13:445\u2013463, 1990.","journal-title":"Fundamenta Informaticae"},{"unstructured":"R. Reiter. The Frame Problem in the Situation Calculus: A simple Solution (Sometimes) and a Completeness Result for Goal Regression. In V. Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation: Papers in Honour of John McCarthy, pages 359\u2013380. Academic Press, 1991.","key":"1_CR23"},{"key":"1_CR24","first-page":"97","volume-title":"Infinitistic Methods (Proc. 1959 Symposium on Foundation of Mathematis in Warsaw)","author":"C. Spector","year":"1961","unstructured":"C. Spector. Inductively defined sets of natural numbers. In Infinitistic Methods (Proc. 1959 Symposium on Foundation of Mathematis in Warsaw), pages 97\u2013102. Pergamon Press, Oxford, 1961."},{"unstructured":"K. Van Belleghem, M. Denecker, and D. De Schreye. A strong correspondence between description logics and open logic programming. In Lee Naish, editor, Proc. of the International Conference on Logic Programming, 1997, pages 346\u2013360. MIT-press, 1997.","key":"1_CR25"},{"unstructured":"K. Van Belleghem, M. Denecker, and D. Theseider Dupr\u00e9. Dependencies and ramifications in an event-based language. In Proc. of the Ninth Dutch Artificial Intelligence Conference, 1997, 1997.","key":"1_CR26"},{"issue":"4","key":"1_CR27","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"4","author":"M. Emden van","year":"1976","unstructured":"M. van Emden and R.A Kowalski. The semantics of Predicate Logic as a Programming Language. Journal of the ACM, 4(4):733\u2013742, 1976.","journal-title":"Journal of the ACM"},{"issue":"3","key":"1_CR28","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"A. Van Gelder, K.A. Ross, and J.S. Schlipf. The Well-Founded Semantics for General Logic Programs. Journal of the ACM, 38(3):620\u2013650, 1991.","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49545-2_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,21]],"date-time":"2021-08-21T03:58:19Z","timestamp":1629518299000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49545-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540651413","9783540495451"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-49545-2_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"26 February 1999","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}