{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T05:34:41Z","timestamp":1743140081418,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642415234"},{"type":"electronic","value":"9783642415241"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41524-1_16","type":"book-chapter","created":{"date-parts":[[2013,11,15]],"date-time":"2013-11-15T10:48:20Z","timestamp":1384512500000},"page":"279-286","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A Prototype of a Knowledge-Based Programming Environment"],"prefix":"10.1007","author":[{"given":"Stef","family":"De Pooter","sequence":"first","affiliation":[]},{"given":"Johan","family":"Wittocx","sequence":"additional","affiliation":[]},{"given":"Marc","family":"Denecker","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,11,16]]},"reference":[{"key":"16_CR1","unstructured":"IBM, ILOG CPLEX optimizer. http:\/\/www.ibm.com\/software\/integration\/optimization\/cplex-optimizer"},{"key":"16_CR2","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2007","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press, Cambridge (2007)","edition":"2"},{"key":"16_CR3","first-page":"407","volume-title":"ICLP 2008. LNCS","author":"F Calimeri","year":"2008","unstructured":"Calimeri, F., Cozza, S., Ianni, G., Leone, N.: Computable functions in ASP: theory and implementation. In: de la Banda, M.G., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 407\u2013424. Springer, Heidelberg (2008)"},{"issue":"3","key":"16_CR4","doi-asserted-by":"publisher","first-page":"22:1","DOI":"10.1145\/1806907.1806914","volume":"35","author":"M Denecker","year":"2010","unstructured":"Denecker, M., Calabuig, \u00c1.C., Bruynooghe, M., Arieli, O.: Towards a logical reconstruction of a theory for locally closed databases. ACM Trans. Database Syst. 35(3), 22:1\u201322:60 (2010)","journal-title":"ACM Trans. Database Syst."},{"issue":"3\u20134","key":"16_CR5","first-page":"363","volume":"7","author":"M Denecker","year":"1990","unstructured":"Denecker, M., De Schreye, D., Willems, Y.: Terms in Logic programs: a problem with their semantics and its effect on the programming methodology. CCAI: J. Integr. Study Artif. Intell., Cogn. Sci. Appl. Epistemology 7(3\u20134), 363\u2013383 (1990)","journal-title":"CCAI: J. Integr. Study Artif. Intell., Cogn. Sci. Appl. Epistemology"},{"issue":"2","key":"16_CR6","doi-asserted-by":"crossref","first-page":"14:1","DOI":"10.1145\/1342991.1342998","volume":"9","author":"M Denecker","year":"2008","unstructured":"Denecker, M., Ternovska, E.: A logic of nonmonotone inductive definitions. ACM Trans. Comput. Logic (TOCL) 9(2), 14:1\u201314:52 (2008)","journal-title":"ACM Trans. Comput. Logic (TOCL)"},{"key":"16_CR7","first-page":"71","volume-title":"ICLP 2008. LNCS","author":"M Denecker","year":"2008","unstructured":"Denecker, M., Vennekens, J.: Building a knowledge base system for an integration of logic programming and classical logic. In: Pontelli, E., Garcia de la Banda, M. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 71\u201376. Springer, Heidelberg (2008)"},{"key":"16_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-2360-3","volume-title":"First-order logic and automated theorem proving","author":"M Fitting","year":"1996","unstructured":"Fitting, M.: First-order logic and automated theorem proving, 2nd edn. Springer-Verlag New York Inc., Secaucus, NJ, USA (1996)","edition":"2"},{"key":"16_CR9","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Thiele, S.: A user\u2019s guide to gringo, clasp, clingo, and iclingo. http:\/\/downloads.sourceforge.net\/potassco\/guide.pdf (2010)"},{"key":"16_CR10","unstructured":"The IDP system. http:\/\/dtai.cs.kuleuven.be\/krr\/software (2012)"},{"issue":"6","key":"16_CR11","doi-asserted-by":"publisher","first-page":"635","DOI":"10.1002\/(SICI)1097-024X(199606)26:6<635::AID-SPE26>3.0.CO;2-P","volume":"26","author":"R Ierusalimschy","year":"1996","unstructured":"Ierusalimschy, R., de Figueiredo, L.H., Celes, W.: Lua - an extensible extension language. Softw.: Pract. Experience 26(6), 635\u2013652 (1996)","journal-title":"Softw.: Pract. Experience"},{"key":"16_CR12","doi-asserted-by":"publisher","first-page":"20:20","DOI":"10.1145\/1978862.1983083","volume":"9","author":"R Ierusalimschy","year":"2011","unstructured":"Ierusalimschy, R., Henrique de Figueiredo, L., Celes, W.: Passing a language through the eye of a needle. Queue 9, 20:20\u201320:29 (2011)","journal-title":"Queue"},{"key":"16_CR13","first-page":"211","volume-title":"SAT 2008. LNCS","author":"M Mari\u00ebn","year":"2008","unstructured":"Mari\u00ebn, M., Wittocx, J., Denecker, M., Bruynooghe, M.: SAT(ID): Satisfiability of propositional logic extended with inductive definitions. In: B\u00fcning, H.K., Zhao, X. (eds.) SAT 2008. LNCS, vol. 4996, pp. 211\u2013224. Springer, Heidelberg (2008)"},{"issue":"3","key":"16_CR14","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s10601-008-9041-4","volume":"13","author":"K Marriott","year":"2008","unstructured":"Marriott, K., Nethercote, N., Rafeh, R., Stuckey, P.J., de Banda, M.G., Wallace, M.: The design of the Zinc modelling language. Constraints 13(3), 229\u2013267 (2008)","journal-title":"Constraints"},{"key":"16_CR15","first-page":"881","volume-title":"CP 2005. LNCS","author":"L Michel","year":"2005","unstructured":"Michel, L., Van Hentenryck, P.: The comet programming language and system. In: van Beek, P. (ed.) CP 2005. LNCS, vol. 3709, pp. 881\u2013881. Springer, Heidelberg (2005)"},{"key":"16_CR16","unstructured":"Mitchell, D.G., Ternovska, E., Hach, F., Mohebali, R.: Model expansion as a framework for modelling and solving search problems. Technical Report TR 2006\u201324, Simon Fraser University, Canada (2006)"},{"issue":"3","key":"16_CR17","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1017\/S1471068406002973","volume":"7","author":"N. Pelov","year":"2007","unstructured":"Pelov, N., Denecker, M., Bruynooghe, M.: Well-founded and stable semantics of logic programs with aggregates. Theory Pract. Logic Program. (TPLP) 7(3), 301\u2013353 (2007)","journal-title":"Theory Pract. Logic Program. (TPLP)"},{"issue":"4","key":"16_CR18","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/s10817-009-9143-8","volume":"43","author":"G Sutcliffe","year":"2009","unstructured":"Sutcliffe, G.: The TPTP problem library and associated infrastructure: The FOF and CNF parts, v3.5.0. J. Autom. Reasoning 43(4), 337\u2013362 (2009)","journal-title":"J. Autom. Reasoning"},{"volume-title":"MOZ 2004. LNCS","year":"2005","key":"16_CR19","unstructured":"Van Roy, P. (ed.): MOZ 2004. LNCS, vol. 3389. Springer, Heidelberg (2005)"},{"key":"16_CR20","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1145\/1599410.1599428","volume-title":"PPDP","author":"H Vlaeminck","year":"2009","unstructured":"Vlaeminck, H., Vennekens, J., Denecker, M.: A logical framework for configuration software. In: Porto, A., Javier L\u00f3pez-Fraguas, F. (eds.) PPDP, pp. 141\u2013148. ACM, New York (2009)"},{"key":"16_CR21","unstructured":"Wittocx, J., Denecker, M., Bruynooghe, M.: Constraint propagation for extended first-order logic. In: CoRR, abs\/1008.2121 (2010)"},{"key":"16_CR22","unstructured":"Wittocx, J., Mari\u00ebn, M., Denecker, M.: The IDP system: a model expansion system for an extension of classical logic. In: Denecker, M. (ed.) LaSh, pp. 153\u2013165 (2008)"},{"key":"16_CR23","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1613\/jair.2980","volume":"38","author":"J Wittocx","year":"2010","unstructured":"Wittocx, J., Mari\u00ebn, M., Denecker, M.: Grounding FO and FO(ID) with bounds. J. Artif. Intell. Res. 38, 223\u2013269 (2010)","journal-title":"J. Artif. Intell. Res."}],"container-title":["Lecture Notes in Computer Science","Applications of Declarative Programming and Knowledge Management"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41524-1_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T19:50:37Z","timestamp":1676836237000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-41524-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642415234","9783642415241"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41524-1_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]},"assertion":[{"value":"16 November 2013","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}