{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T15:30:12Z","timestamp":1742916612463,"version":"3.40.3"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319491295"},{"type":"electronic","value":"9783319491301"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-49130-1_20","type":"book-chapter","created":{"date-parts":[[2016,11,4]],"date-time":"2016-11-04T14:13:59Z","timestamp":1478268839000},"page":"266-279","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Model+Solver Approach to Concept Learning"],"prefix":"10.1007","author":[{"given":"Francesca Alessandra","family":"Lisi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,11,5]]},"reference":[{"issue":"11","key":"20_CR1","doi-asserted-by":"publisher","first-page":"1134","DOI":"10.1145\/1968.1972","volume":"27","author":"L Valiant","year":"1984","unstructured":"Valiant, L.: A theory of the learnable. Commun. ACM 27(11), 1134\u20131142 (1984)","journal-title":"Commun. ACM"},{"key":"20_CR2","unstructured":"De Raedt, L., Guns, T., Nijssen, S.: Constraint programming for data mining and machine learning. In: Fox, M., Poole, D. (eds.) Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, 11\u201315 July 2010. AAAI Press, Atlanta (2010)"},{"key":"20_CR3","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/0004-3702(82)90040-6","volume":"18","author":"TM Mitchell","year":"1982","unstructured":"Mitchell, T.M.: Generalization as search. Artif. Intell. 18, 203\u2013226 (1982)","journal-title":"Artif. Intell."},{"key":"20_CR4","unstructured":"De Raedt, L.: Languages for learning and mining. In: Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 25\u201330 January 2015, Austin, Texas, USA, pp. 4107\u20134111 (2015)"},{"key":"20_CR5","volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","year":"2007","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation and Applications, 2nd edn. Cambridge University Press, New York (2007)","edition":"2"},{"key":"20_CR6","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/j.artint.2015.09.008","volume":"231","author":"F Calimeri","year":"2016","unstructured":"Calimeri, F., Gebser, M., Maratea, M., Ricca, F.: Design and results of the fifth answer set programming competition. Artif. Intell. 231, 151\u2013181 (2016)","journal-title":"Artif. Intell."},{"key":"20_CR7","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-642-38812-5_11","volume-title":"Inductive Logic Programming","author":"FA Lisi","year":"2013","unstructured":"Lisi, F.A.: A declarative modeling language for concept learning in description logics. In: Riguzzi, F., \u017delezn\u00fd, F. (eds.) ILP 2012. LNCS (LNAI), vol. 7842, pp. 151\u2013165. Springer, Heidelberg (2013). doi:10.1007\/978-3-642-38812-5_11"},{"issue":"1","key":"20_CR8","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/j.websem.2003.07.001","volume":"1","author":"I Horrocks","year":"2003","unstructured":"Horrocks, I., Patel-Schneider, P.F., Harmelen, F.: From SHIQ and RDF to OWL: the making of a web ontology language. J. Web Semant. 1(1), 7\u201326 (2003)","journal-title":"J. Web Semant."},{"key":"20_CR9","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible SROIQ. In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, 2\u20135 June 2006, pp. 57\u201367. AAAI Press (2006)"},{"issue":"1\u20132","key":"20_CR10","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1016\/0004-3702(96)00004-5","volume":"82","author":"A Borgida","year":"1996","unstructured":"Borgida, A.: On the relative expressiveness of description logics and predicate logics. Artif. Intell. 82(1\u20132), 353\u2013367 (1996)","journal-title":"Artif. Intell."},{"key":"20_CR11","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1145\/322186.322189","volume":"27","author":"R Reiter","year":"1980","unstructured":"Reiter, R.: Equality and domain closure in first order databases. J. ACM 27, 235\u2013249 (1980)","journal-title":"J. ACM"},{"key":"20_CR12","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artifical Intelligence)","volume-title":"Non-Standard Inferences in Description Logics","year":"2001","unstructured":"K\u00fcsters, R. (ed.): Non-Standard Inferences in Description Logics. LNCS (LNAI), vol. 2100. Springer, Heidelberg (2001)"},{"issue":"1\u20132","key":"20_CR13","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1016\/j.ic.2004.11.002","volume":"199","author":"C Lutz","year":"2005","unstructured":"Lutz, C., Sattler, U., Tendera, L.: The complexity of finite model reasoning in description logics. Inf. Comput. 199(1\u20132), 132\u2013171 (2005)","journal-title":"Inf. Comput."},{"key":"20_CR14","unstructured":"Gaggl, S.A., Rudolph, S., Schweizer, L.: Bound your models! how to make OWL an ASP modeling language. CoRR abs\/1511.00924 (2015)"},{"issue":"3\/4","key":"20_CR15","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive. New Gener. Comput. 9(3\/4), 365\u2013386 (1991)","journal-title":"New Gener. Comput."},{"issue":"12","key":"20_CR16","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/2043174.2043195","volume":"54","author":"G Brewka","year":"2011","unstructured":"Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming at a glance. Commun. ACM 54(12), 92\u2013103 (2011)","journal-title":"Commun. ACM"},{"issue":"1\u20132","key":"20_CR17","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/s10994-009-5146-2","volume":"78","author":"J Lehmann","year":"2010","unstructured":"Lehmann, J., Hitzler, P.: Concept learning in description logics using refinement operators. Mach. Learn. 78(1\u20132), 203\u2013250 (2010)","journal-title":"Mach. Learn."},{"issue":"4","key":"20_CR18","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1109\/TPAMI.1980.4767034","volume":"2","author":"R Michalski","year":"1980","unstructured":"Michalski, R.: Pattern recognition as a rule-guided inductive inference. IEEE Trans. Pattern Anal. Mach. Intell. 2(4), 349\u2013361 (1980)","journal-title":"IEEE Trans. Pattern Anal. Mach. Intell."},{"key":"20_CR19","unstructured":"Colucci, S., Di Noia, T., Di Sciascio, E., Donini, F.M., Ragone, A.: A unified framework for non-standard reasoning services in description logics. In: Coelho, H., Studer, R., Wooldridge, M. (eds.) ECAI 2010\u201319th European Conference on Artificial Intelligence, Lisbon, Portugal, 16\u201320 August 2010, Proceedings, Frontiers in Artificial Intelligence and Applications, vol. 215, pp. 479\u2013484. IOS Press (2010)"},{"issue":"2","key":"20_CR20","doi-asserted-by":"publisher","first-page":"81","DOI":"10.2307\/2266967","volume":"15","author":"L Henkin","year":"1950","unstructured":"Henkin, L.: Completeness in the theory of types. J. Symbolic Logic 15(2), 81\u201391 (1950)","journal-title":"J. Symbolic Logic"},{"key":"20_CR21","unstructured":"Kazakov, Y.: $${\\cal{RIQ}}$$ and $${\\cal{SROIQ}}$$ are harder than $${\\cal{SHOIQ}}$$. In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 274\u2013284 (2008)"},{"key":"20_CR22","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1613\/jair.2811","volume":"36","author":"B Motik","year":"2009","unstructured":"Motik, B., Shearer, R., Horrocks, I.: Hypertableau reasoning for description logics. J. Artif. Intell. Res. 36, 165\u2013228 (2009)","journal-title":"J. Artif. Intell. Res."},{"issue":"5","key":"20_CR23","first-page":"61","volume":"1","author":"L Raedt","year":"2011","unstructured":"Raedt, L., Nijssen, S., O\u2019Sullivan, B., Hentenryck, P.: Constraint programming meets machine learning and data mining (Dagstuhl seminar 11201). Dagstuhl Rep. 1(5), 61\u201383 (2011)","journal-title":"Dagstuhl Rep."},{"key":"20_CR24","doi-asserted-by":"crossref","unstructured":"Nijssen, S., Guns, T., De Raedt, L.: Correlated itemset mining in ROC space: a constraint programming approach. In: Elder IV, J.F., Fogelman-Souli\u00e9, F., Flach, P.A., Zaki, M.J. (eds.) Proceedings of the 15th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Paris, France, June 28 - July 1, 2009, pp. 647\u2013656. ACM (2009)","DOI":"10.1145\/1557019.1557092"},{"key":"20_CR25","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1007\/978-3-642-20847-8_32","volume-title":"Advances in Knowledge Discovery and Data Mining","author":"T Guns","year":"2011","unstructured":"Guns, T., Nijssen, S., Raedt, L.: Evaluating pattern set mining strategies in a constraint programming framework. In: Huang, J.Z., Cao, L., Srivastava, J. (eds.) PAKDD 2011. LNCS (LNAI), vol. 6635, pp. 382\u2013394. Springer, Heidelberg (2011). doi:10.1007\/978-3-642-20847-8_32"},{"issue":"12\u201313","key":"20_CR26","doi-asserted-by":"publisher","first-page":"1951","DOI":"10.1016\/j.artint.2011.05.002","volume":"175","author":"T Guns","year":"2011","unstructured":"Guns, T., Nijssen, S., Raedt, L.: Itemset mining: a constraint programming perspective. Artif. Intell. 175(12\u201313), 1951\u20131983 (2011)","journal-title":"Artif. Intell."},{"issue":"2","key":"20_CR27","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1109\/TKDE.2011.204","volume":"25","author":"T Guns","year":"2013","unstructured":"Guns, T., Nijssen, S., Raedt, L.: k-pattern set mining under constraints. IEEE Trans. Knowl. Data Eng. 25(2), 402\u2013418 (2013)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"20_CR28","unstructured":"Guns, T., Dries, A., Tack, G., Nijssen, S., De Raedt, L.: MiningZinc: a modeling language for constraint-based mining. In: Rossi, F. (ed.) IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, 3\u20139 August 2013, IJCAI\/AAAI, Beijing, China (2013)"},{"issue":"6","key":"20_CR29","doi-asserted-by":"publisher","first-page":"783","DOI":"10.1017\/S147106841400009X","volume":"15","author":"M Bruynooghe","year":"2015","unstructured":"Bruynooghe, M., Blockeel, H., Bogaerts, B., Cat, B., Pooter, S., Jansen, J., Labarre, A., Ramon, J., Denecker, M., Verwer, S.: Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3. Theory Pract. Logic Program. 15(6), 783\u2013817 (2015)","journal-title":"Theory Pract. Logic Program."},{"issue":"1","key":"20_CR30","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/s10994-013-5358-3","volume":"94","author":"SH Muggleton","year":"2014","unstructured":"Muggleton, S.H., Lin, D., Pahlavi, N., Tamaddoni-Nezhad, A.: Meta-interpretive learning: application to grammatical inference. Mach. Learn. 94(1), 25\u201349 (2014)","journal-title":"Mach. Learn."},{"issue":"1","key":"20_CR31","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/s10994-014-5471-y","volume":"100","author":"SH Muggleton","year":"2015","unstructured":"Muggleton, S.H., Lin, D., Tamaddoni-Nezhad, A.: Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited. Mach. Learn. 100(1), 49\u201373 (2015)","journal-title":"Mach. Learn."},{"issue":"1","key":"20_CR32","doi-asserted-by":"crossref","first-page":"45","DOI":"10.3233\/AIC-130581","volume":"27","author":"H Geffner","year":"2014","unstructured":"Geffner, H.: Artificial intelligence: from programs to solvers. AI Commun. 27(1), 45\u201351 (2014)","journal-title":"AI Commun."}],"container-title":["Lecture Notes in Computer Science","AI*IA 2016 Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-49130-1_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T17:54:57Z","timestamp":1710266097000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-49130-1_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319491295","9783319491301"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-49130-1_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"5 November 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"AI*IA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Conference of the Italian Association for Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Genova","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 November 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 December 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"XV","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aiia2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.aixia2016.unige.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}