{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T22:45:51Z","timestamp":1774046751304,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540677970","type":"print"},{"value":"9783540449577","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44957-4_47","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T05:24:41Z","timestamp":1180675481000},"page":"703-717","source":"Crossref","is-referenced-by-count":30,"title":["Extending Classical Logic with Inductive Definitions"],"prefix":"10.1007","author":[{"given":"Marc","family":"Denecker","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,12,15]]},"reference":[{"key":"47_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.","DOI":"10.1016\/S0049-237X(08)71120-0"},{"key":"47_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(96)00049-5","volume":"93","author":"G. Amati","year":"1997","unstructured":"Gianni Amati, Luigia Carlucci Aiello, and Fiora Pirri. Definability and commonsense reasoning. Artificial Intelligence Journal, 93:1\u201330, 1997. Abstract of this paper appeared also in Third Symposium on Logical Formalization of Commonsense Reasoning, Stanford, USA, 96.","journal-title":"Artificial Intelligence Journal"},{"key":"47_CR3","unstructured":"K.R. Apt and M. Bezem. Acyclic programs. In Proc. of the International Conference on Logic Programming, pages 579\u2013597. MIT press, 1990."},{"key":"47_CR4","unstructured":"R. J. Brachman and H.J. Levesque. Competence in Knowledge Representation. In Proc. of the National Conference on Artificial Intelligence, pages 189\u2013192, 1982."},{"key":"47_CR5","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.","DOI":"10.1007\/BFb0091894"},{"key":"47_CR6","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.","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"47_CR7","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, Lecture notes in Artificial Intelligence 928, pages 15\u201329. Springer, 1995.","DOI":"10.1007\/3-540-59487-6_2"},{"issue":"7","key":"47_CR8","first-page":"1","volume":"3","author":"M. Denecker","year":"1998","unstructured":"M. Denecker, D. Theseider Dupr\u00e9, and K. VanBelleghem. An inductive definition approach to ramifications. Link\u00f6ping Electronic Articles in Computer and Information Science, 3(7):1\u201343, 1998. URL: http:\/\/www.ep.liu.se\/ea\/cis\/1998\/007\/ .","journal-title":"Link\u00f6ping Electronic Articles in Computer and Information Science"},{"key":"47_CR9","doi-asserted-by":"crossref","unstructured":"Marc Denecker. The well-founded semantics is the principle of inductive definition. In J. Dix, L. Fari nas del Cerro, and U. Furbach, editors, Logics in Artificial Intelligence, pages 1\u201316, Schloss Daghstull, October 12\u201315 1998. Springer-Verlag, Lecture notes in Artificial Intelligence 1489.","DOI":"10.1007\/3-540-49545-2_1"},{"key":"47_CR10","unstructured":"Marc Denecker and Bert VanNuffelen. Experiments for integration CLP and abduction. In Krysztof R. Apt, Antonios C. Kakas, Eric Monfroy, and Francesca Rossi, editors, Workshop on Constraints, pages 1\u201315. ERCIM\/COMPULOG, October 25\u201327 1999."},{"key":"47_CR11","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.","DOI":"10.1016\/S0049-237X(08)70761-4"},{"issue":"4","key":"47_CR12","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"},{"key":"47_CR13","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0022-0000(93)90024-Q","volume":"47","author":"A. Gelder Van","year":"1993","unstructured":"A. VanGelder. The Alternating Fixpoint of Logic Programs with Negation. Journal of computer and system sciences, 47:185\u2013221, 1993.","journal-title":"Journal of computer and system sciences"},{"key":"47_CR14","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":"47_CR15","doi-asserted-by":"crossref","unstructured":"M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, pages 365\u2013387, 1991.","DOI":"10.1007\/BF03037169"},{"issue":"6","key":"47_CR16","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"A. C. Kakas","year":"1993","unstructured":"A. C. Kakas, R.A. Kowalski, and F. Toni. Abductive Logic Programming. Journal of Logic and Computation, 2(6):719\u2013770, 1993.","journal-title":"Journal of Logic and Computation"},{"key":"47_CR17","doi-asserted-by":"crossref","unstructured":"V.W. Marek and M. Truszczy\u0144ski. Nonmonotonic Logic Context-Dependent Reasoning. Springer-Verlag, 1993.","DOI":"10.1007\/978-3-662-02906-0"},{"key":"47_CR18","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"J. McCarthy. Circumscription-a form of nonmonotonic reasoning. Artifical Intelligence, 13:27\u201339, 1980.","journal-title":"Artifical Intelligence"},{"key":"47_CR19","unstructured":"John McCarthy. Elaboration tolerance. In COMMON SENSE 98, Symposium On Logical Formalizations Of Commonsense Reasoning, January 1998."},{"key":"47_CR20","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":"47_CR21","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.","DOI":"10.1016\/B978-0-934613-40-8.50009-9"},{"key":"47_CR22","unstructured":"T.C. Przymusinski. Extended Stable Semantics for Normal and Disjunctive Programs. In D.H.D. Warren and P. Szeredi, editors, Proc. of the seventh international conference on logic programming, pages 459\u2013477. MIT press, 1990."},{"key":"47_CR23","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"},{"key":"47_CR24","unstructured":"H. Reichgelt. Knowledge Representation: an AI Perspecitive. Ablex Publishing Corporation, 1991."},{"key":"47_CR25","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1145\/322186.322189","volume":"27","author":"R. Reiter","year":"1980","unstructured":"R. Reiter. Equality and domain closure in first-order databases. JACM, 27:235\u2013249, 1980.","journal-title":"JACM"},{"key":"47_CR26","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":"47_CR27","unstructured":"R. Reiter. Nonmonotonic Reasoning: Compiled vs Interpreted Theories. Distributed at the conference of Nonmonotonic Reasoning NMR96 as considerations for the panel discussion, 1996."},{"key":"47_CR28","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A. Tarski","year":"1955","unstructured":"A. Tarski. Lattice-theoretic fixpoint theorem and its applications. Pacific journal of Mathematics, 5:285\u2013309, 1955.","journal-title":"Pacific journal of Mathematics"},{"key":"47_CR29","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0055501","volume-title":"Transactions and Change in Logic Databases","author":"E. Ternovskaia","year":"1998","unstructured":"E. Ternovskaia. Inductive Definability and the Situation Calculus. In Burkhard Freitag, Hendrik Decker, Michael Kifer, and Andrei Voronkov, editors, Transactions and Change in Logic Databases, volume 1472 of LNCS. Springer-Verlag, Berlin, 1998."},{"issue":"4","key":"47_CR30","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":"47_CR31","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"A. VanGelder, 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"},{"issue":"3","key":"47_CR32","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/S0743-1066(99)00003-5","volume":"41","author":"S. Verbaeten","year":"2000","unstructured":"S. Verbaeten, M. Denecker, and D. DeSchreye. Compositionality of normal open logic programs. Journal of Logic Programming, 41(3):151\u2013183, March 2000.","journal-title":"Journal of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Computational Logic \u2014 CL 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44957-4_47","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,14]],"date-time":"2021-08-14T12:51:01Z","timestamp":1628945461000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44957-4_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677970","9783540449577"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3-540-44957-4_47","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2000]]}}}