{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:26:51Z","timestamp":1725514011436},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540721994"},{"type":"electronic","value":"9783540722007"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72200-7_15","type":"book-chapter","created":{"date-parts":[[2007,6,5]],"date-time":"2007-06-05T12:54:47Z","timestamp":1181048087000},"page":"162-174","source":"Crossref","is-referenced-by-count":1,"title":["A Deductive System for PC(ID)"],"prefix":"10.1007","author":[{"given":"Ping","family":"Hou","sequence":"first","affiliation":[]},{"given":"Johan","family":"Wittocx","sequence":"additional","affiliation":[]},{"given":"Marc","family":"Denecker","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","volume-title":"The Description Logic Handbook. Theory, Implementation and Applications","author":"F. Baader","year":"2002","unstructured":"Baader, F., et al.: The Description Logic Handbook. Theory, Implementation and Applications. Cambridge University Press, Cambridge (2002)"},{"key":"15_CR2","unstructured":"Brachman, R.J., Levesque, H.J.: Competence in Knowledge Representation. In: National Conference on Artificial Intelligence (AAAI\u201982), pp. 189\u2013192 (1982)"},{"issue":"2","key":"15_CR3","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1093\/logcom\/3.2.197","volume":"3","author":"K.J. Compton","year":"1993","unstructured":"Compton, K.J.: A deductive system for existential least fixpoint logic. Journal of Logic and Computation\u00a03(2), 197\u2013213 (1993)","journal-title":"Journal of Logic and Computation"},{"issue":"1","key":"15_CR4","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0304-3975(94)90091-4","volume":"131","author":"K.J. Compton","year":"1994","unstructured":"Compton, K.J.: Stratified least fixpoint logic. Theoretical Computer Science\u00a0131(1), 95\u2013120 (1994)","journal-title":"Theoretical Computer Science"},{"key":"15_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-49545-2_1","volume-title":"Logics in Artificial Intelligence","author":"M. Denecker","year":"1998","unstructured":"Denecker, M.: The well-founded semantics is the principle of inductive definition. In: Dix, J., Fari\u00f1as del Cerro, L., Furbach, U. (eds.) JELIA 1998. LNCS (LNAI), vol.\u00a01489, pp. 1\u201316. Springer, Heidelberg (1998)"},{"issue":"4","key":"15_CR6","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1145\/383779.383789","volume":"2","author":"M. Denecker","year":"2001","unstructured":"Denecker, M., Bruynooghe, M., Marek, V.: Logic programming revisited: logic programs as inductive definitions. ACM Transactions on Computational Logic\u00a02(4), 623\u2013654 (2001)","journal-title":"ACM Transactions on Computational Logic"},{"key":"15_CR7","unstructured":"Denecker, M., Ternovska, E.: Inductive Situation Calculus. In: Ninth International Conference on Principles of Knowledge Representation and Reasoning (KR\u201904), pp. 545\u2013553 (2004)"},{"key":"15_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-540-72200-7_9","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M. Denecker","year":"2007","unstructured":"Denecker, M., Vennekens, J.: Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol.\u00a04483, pp. 84\u201396. Springer, Heidelberg (2007)"},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/11799573_4","volume-title":"Logic Programming","author":"M. Gebser","year":"2006","unstructured":"Gebser, M., Schaub, T.: Tableau calculi for answer set programming. In: Etalle, S., Truszczy\u0144ski, M. (eds.) ICLP 2006. LNCS, vol.\u00a04079, pp. 11\u201325. Springer, Heidelberg (2006)"},{"issue":"3","key":"15_CR10","doi-asserted-by":"publisher","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"},{"key":"15_CR11","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/BF01201353","volume":"39","author":"G. Gentzen","year":"1935","unstructured":"Gentzen, G.: Untersuchungen \u00fcber das logische schlie\u00dfen. Mathematische Zeitschrift\u00a039, 176\u2013210 (1935)","journal-title":"Mathematische Zeitschrift"},{"issue":"1","key":"15_CR12","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/BF03037052","volume":"2","author":"M. Hagiya","year":"1984","unstructured":"Hagiya, M., Sakurai, T.: Foundation of logic programming based on inductive definition. New Generation Computing\u00a02(1), 59\u201377 (1984)","journal-title":"New Generation Computing"},{"key":"15_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1007\/978-3-540-30227-8_12","volume-title":"Logics in Artificial Intelligence","author":"M. Mari\u00ebn","year":"2004","unstructured":"Mari\u00ebn, M., Gilis, D., Denecker, M.: On the Relation Between ID-Logic and Answer Set Programming. In: Alferes, J.J., Leite, J.A. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 108\u2013120. Springer, Heidelberg (2004)"},{"key":"15_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1007\/11591191_39","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"M. Mari\u00ebn","year":"2005","unstructured":"Mari\u00ebn, M., et al.: Satisfiability checking for PC(ID). In: Sutcliffe, G., Voronkov, A. (eds.) LPAR 2005. LNCS (LNAI), vol.\u00a03835, pp. 565\u2013579. Springer, Heidelberg (2005)"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Martin-L\u00f6f, P.: Hauptsatz for the intuitionistic theory of iterated inductive definitions. In: Fenstad, J.E. (ed.) Proceedings of the Second Scandinavian Logic Symposium, pp. 179\u2013216 (1971)","DOI":"10.1016\/S0049-237X(08)70847-4"},{"volume-title":"The Collected Papers of Gerhard Gentzen","year":"1969","key":"15_CR16","unstructured":"Szabo, M.E. (ed.): The Collected Papers of Gerhard Gentzen. North-Holland, Amsterdam (1969)"},{"key":"15_CR17","unstructured":"Takeuti, G.: Proof Theory. North-Holland, Amsterdam"},{"key":"15_CR18","unstructured":"Zhang, L., Malik, S.: Validating SAT solvers using an independent resolution-based checker: Practical implementations and other applications. In: Proceedings of Design, Automation and Test in Europe (DATE2003), Munich, Germany (March 2003)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72200-7_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T00:29:32Z","timestamp":1605745772000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72200-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540721994","9783540722007"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72200-7_15","relation":{},"subject":[]}}