{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:51:32Z","timestamp":1759146692952,"version":"3.28.0"},"reference-count":37,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1109\/lics.2017.8005080","type":"proceedings-article","created":{"date-parts":[[2017,8,10]],"date-time":"2017-08-10T16:43:24Z","timestamp":1502383404000},"page":"1-12","source":"Crossref","is-referenced-by-count":8,"title":["Learning first-order definable concepts over structures of small degree"],"prefix":"10.1109","author":[{"given":"Martin","family":"Grohe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Ritzert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1017\/S0960129500070079","article-title":"Linear time computable problems and first-order descriptions","volume":"6","author":"seese","year":"1996","journal-title":"Mathematical Structures in Computer Science"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90035-3"},{"journal-title":"Inductive Logic Programming","year":"1992","author":"muggleton","key":"ref31"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037089"},{"key":"ref37","first-page":"137","article-title":"The complexity of relational query languages","author":"vardi","year":"1982","journal-title":"Proceedings of the 14th ACM Symposium on Theory of Computing"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/1968.1972"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107298019"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/2783888.2783894"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2594538.2594539"},{"journal-title":"Finite Model Theory","year":"1999","author":"ebbinghaus","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.4064\/fm-47-1-57-103"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)71879-2"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837664"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s00453-001-0078-7"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22670-0_9"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44693-1_2"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s00224-003-1112-8"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90010-D"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49674-9_10"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/76359.76371"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/181668.181674"},{"journal-title":"Foundations of Data Science","year":"2016","author":"blum","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(82)90012-5"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2003.11.002"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2818637"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/978-3-642-15025-8_10","article-title":"Finding reductions automatically","volume":"6300","author":"crouch","year":"2010","journal-title":"Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037231"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejc.2013.06.048"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1137\/070681831"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2463664.2465220"},{"key":"ref20","article-title":"Learning logic programs with unary partial function graph background knowledge (extended abstract)","author":"horv\u00e1th","year":"2003","journal-title":"Proceedings of the First InternationalWorkshop on Mining Graphs Trees and Sequences"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39071-5_15"},{"key":"ref21","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/S0004-3702(01)00062-5","article-title":"Learning logic programs with structured background knowledge","volume":"128","author":"horv\u00e1th","year":"2001","journal-title":"Artificial Intelligence"},{"key":"ref24","article-title":"Learning games from videos guided by descriptive complexity","author":"kaiser","year":"2012","journal-title":"Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence July 22-26 2012"},{"journal-title":"Machine learning with guarantees using descriptive complexity and smt solvers","year":"2016","author":"jordan","key":"ref23"},{"key":"ref26","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3897.001.0001","author":"kearns","year":"1994","journal-title":"An Introduction to Computational Learning Theory"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-7(2:20)2011"}],"event":{"name":"2017 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","start":{"date-parts":[[2017,6,20]]},"location":"Reykjavik, Iceland","end":{"date-parts":[[2017,6,23]]}},"container-title":["2017 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7999337\/8005055\/08005080.pdf?arnumber=8005080","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T03:39:51Z","timestamp":1569987591000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8005080\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/lics.2017.8005080","relation":{},"subject":[],"published":{"date-parts":[[2017,6]]}}}