{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T11:13:24Z","timestamp":1743160404298},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2016,8,1]],"date-time":"2016-08-01T00:00:00Z","timestamp":1470009600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["New Gener. Comput."],"published-print":{"date-parts":[[2016,8]]},"DOI":"10.1007\/s00354-016-0301-3","type":"journal-article","created":{"date-parts":[[2016,8,9]],"date-time":"2016-08-09T10:49:55Z","timestamp":1470739795000},"page":"193-220","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Bootstrapping Inference in the IDP Knowledge Base System"],"prefix":"10.1007","volume":"34","author":[{"given":"Bart","family":"Bogaerts","sequence":"first","affiliation":[]},{"given":"Joachim","family":"Jansen","sequence":"additional","affiliation":[]},{"given":"Broes","family":"de Cat","sequence":"additional","affiliation":[]},{"given":"Gerda","family":"Janssens","sequence":"additional","affiliation":[]},{"given":"Maurice","family":"Bruynooghe","sequence":"additional","affiliation":[]},{"given":"Marc","family":"Denecker","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,8,10]]},"reference":[{"key":"301_CR1","unstructured":"Abramson, H., Rogers, M. H., Meta-programming in logic programming, MIT Press, 1989"},{"key":"301_CR2","doi-asserted-by":"crossref","unstructured":"Apt, K.R., Principles of Constraint Programming, Cambridge University Press, 2003","DOI":"10.1017\/CBO9780511615320"},{"key":"301_CR3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation, Reasoning, and Declarative Problem Solving","author":"C Baral","year":"2003","unstructured":"Baral, C.: Knowledge Representation, Reasoning, and Declarative Problem Solving. Cambridge University Press, New York, NY, USA (2003)"},{"key":"301_CR4","unstructured":"Bogaerts, B., Jansen, J., De Cat, B., Janssens, G., Bruynooghe, M., Denecker, M., \u201cMeta-level representations in the IDP knowledge base system: Towards bootstrapping inference engine development,\u201d Workshop on Logic and Search 2014 (Mitchell, D., Denecker, M., eds.), pp. 1\u201314, 2014"},{"key":"301_CR5","doi-asserted-by":"crossref","unstructured":"Bruynooghe, M., Blockeel, H., Bogaerts, B., De Cat, B., De Pooter, S., Jansen, J., Labarre, A., Ramon, J., Denecker, M., Verwer, S., \u201cPredicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3,\u201d TPLP, 15, pp. 783\u2013817, November 2015.","DOI":"10.1017\/S147106841400009X"},{"key":"301_CR6","unstructured":"Chu, G., Stuckey, P. J., \u201cStructure based extended resolution for constraint programming,\u201d CoRR abs\/1306.4418 , 2013"},{"key":"301_CR7","unstructured":"De Cat, B., Bogaerts, B., Bruynooghe, M., Denecker, M., \u201cPredicate logic as a modelling language: The IDP system,\u201d CoRR abs\/1401.6312 , 2014"},{"issue":"4\u20135","key":"301_CR8","first-page":"471","volume":"13","author":"B Cat De","year":"2013","unstructured":"De Cat, B., Bruynooghe, M.: \u201cDetection and exploitation of functional dependencies for model generation\u201d. TPLP 13(4\u20135), 471\u2013485 (2013)","journal-title":"TPLP"},{"key":"301_CR9","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1613\/jair.4591","volume":"52","author":"B Cat De","year":"2015","unstructured":"De Cat, B., Denecker, M., Bruynooghe, M., Stuckey, P.J.: \u201cLazy model expansion: Interleaving grounding with search,\u201d J. Artif. Intell. Res. (JAIR) 52, 235\u2013286 (2015)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"301_CR10","unstructured":"De Cat, B., Jansen, J., Janssens, G., \u201cIDP3: Combining symbolic and ground reasoning for model generation,'' in 2nd Workshop on Grounding and Transformations for Theories With Variables, pp. 17\u201324, 2013"},{"key":"301_CR11","unstructured":"Denecker, M., Lierler, Y., Truszczynski, M., Vennekens, J., \u201cA Tarskian informal semantics for answer set programming,'' ICLP (Technical Communications), 17 of LIPIcs., Schloss Dagstuhl - Leibniz- Zentrum fuer Informatik (Dovier, A., Costa, V. S., eds.), pp. 277\u2013289, 2012"},{"key":"301_CR12","doi-asserted-by":"crossref","unstructured":"Denecker, M., Ternovska, E., \u201cA logic of nonmonotone inductive definitions,'' ACM Trans. Comput. Log., 9, 2, 14, April 2008","DOI":"10.1145\/1342991.1342998"},{"key":"301_CR13","doi-asserted-by":"crossref","unstructured":"Denecker, M., Vennekens, J., \u201cBuilding a knowledge base system for an integration of logic programming and classical logic,\u201d ICLP, 5366 of LNCS (Garc\u00eda de la Banda, M., Pontelli, E., eds.), Springer, pp. 71\u201376, 2008","DOI":"10.1007\/978-3-540-89982-2_12"},{"key":"301_CR14","doi-asserted-by":"crossref","unstructured":"Denecker, M., Vennekens, J., \u201cThe well-founded semantics is the principle of inductive definition, revisited,\u201d KR (Baral, C., De Giacomo, G., Eiter, T., eds.), AAAI Press, pp. 1\u201310, 2014","DOI":"10.1007\/3-540-49545-2_1"},{"key":"301_CR15","doi-asserted-by":"crossref","unstructured":"Devriendt, J., Bogaerts, B., Bruynooghe, M., Denecker, M., \u201cImproved static symmetry breaking for SAT,\u201d in Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings, LNCS 9710, (Creignou, N., Le Berre, D., eds.), Springer. (to appear)","DOI":"10.1007\/978-3-319-40970-2_8"},{"key":"301_CR16","doi-asserted-by":"crossref","unstructured":"Devriendt, J., Bogaerts, B., De Cat, B., Denecker, M., Mears, C., \u201cSymmetry propagation: Improved dynamic symmetry breaking in SAT,\u201d in IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012, Athens, Greece, November 7-9, 2012, IEEE Computer Society, pp. 49\u201356, 2012","DOI":"10.1109\/ICTAI.2012.16"},{"key":"301_CR17","volume-title":"Answer Set Solving in Practice","author":"M Gebser","year":"2012","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Answer Set Solving in Practice. Morgan & Claypool Publishers, Synthesis Lectures on Artificial Intelligence and Machine Learning (2012)"},{"issue":"4\u20135","key":"301_CR18","first-page":"821","volume":"11","author":"M Gebser","year":"2011","unstructured":"Gebser, M., Kaminski, R., Schaub, T.: \u201cComplex optimization in Answer Set Programming\u201d. TPLP 11(4\u20135), 821\u2013839 (2011)","journal-title":"TPLP"},{"key":"301_CR19","unstructured":"Gebser, M., P\u00fchrer, J., Schaub, T., Tompits, H., \u201cA meta-programming technique for debugging answer-set programs,\u201d in AAAI (Fox, D., Gomes, C.P., eds.), AAAI Press, pp. 448\u2013453, 2008"},{"key":"301_CR20","unstructured":"Hill, P. M., Lloyd, J. W., The G\u00f6del programming language, MIT Press, 1994"},{"issue":"3","key":"301_CR21","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1145\/72551.72554","volume":"21","author":"P Hudak","year":"1989","unstructured":"Hudak, P.: \u201cConception, evolution, and application of functional programming languages,\u201d ACM Comput. Surv. 21(3), 359\u2013411 (1989)","journal-title":"ACM Comput. Surv."},{"key":"301_CR22","doi-asserted-by":"crossref","unstructured":"Janhunen, T., Luukkala, V., \u201cMeta programming with answer sets for smart spaces,\u201d in Web Reasoning and Rule Systems, RR 2012, LNCS, 7497, (Kr\u00f6tzsch, M., Straccia, U., eds.), Springer, pp. 106\u2013121, 2012","DOI":"10.1007\/978-3-642-33203-6_9"},{"issue":"4\u20135","key":"301_CR23","first-page":"691","volume":"13","author":"J Jansen","year":"2013","unstructured":"Jansen, J., Jorissen, A., Janssens, G.: \u201cCompiling input * $$\\rm FO(\\cdot)$$ FO ( \u00b7 ) inductive definitions into tabled Prolog rules for IDP3,\u201d TPLP 13(4\u20135), 691\u2013704 (2013)","journal-title":"TPLP"},{"issue":"5\u20136","key":"301_CR24","first-page":"691","volume":"8","author":"M J\u00e4rvisalo","year":"2008","unstructured":"J\u00e4rvisalo, M., Oikarinen, E.: \u201cExtended ASP tableaux and rule redundancy in normal logic programs,\u201d TPLP 8(5\u20136), 691\u2013716 (2008)","journal-title":"TPLP"},{"key":"301_CR25","unstructured":"Kowalski, R.: Logic for Problem Solving. The Computer Science Library, vol. 7. Artificial Intelligence Series, North Holland, New York, Oxford (1979)"},{"key":"301_CR26","doi-asserted-by":"crossref","unstructured":"Lloyd, J. W., Foundations of Logic Programming, second edition, Springer, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"301_CR27","unstructured":"Syrj\u00e4nen, T., Lparse 1.0 user's manual. http:\/\/www.tcs.hut.fi\/Software\/smodels\/lparse.ps.gz"},{"key":"301_CR28","unstructured":"Vandevoorde, D., Josuttis, N., C $$++$$ + + Templates: The Complete Guide, Pearson Education, 2002"}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00354-016-0301-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00354-016-0301-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00354-016-0301-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,12]],"date-time":"2019-09-12T05:54:21Z","timestamp":1568267661000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00354-016-0301-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,8]]},"references-count":28,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,8]]}},"alternative-id":["301"],"URL":"https:\/\/doi.org\/10.1007\/s00354-016-0301-3","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,8]]}}}