{"id":"https://openalex.org/W1543252775","doi":"https://doi.org/10.1016/s0004-3702(01)00062-5","title":"Learning logic programs with structured background knowledge\u2606\u2606An extended abstract of this paper appeared in: L.\u00a0De Raedt (Ed.), Proceedings of the Fifth International Workshop on Inductive Logic Programming, Tokyo, Japan, 1995, pp. 53\u201376, Scientific Report of the Department of Computer Science, Katholieke Universiteit Leuven, and also in the post-conference volume: L.\u00a0De Raedt (Ed.), Advances in Inductive Logic Programming, IOS Press, Amsterdam/Ohmsha, Tokyo, 1996, pp. 172\u2013191.","display_name":"Learning logic programs with structured background knowledge\u2606\u2606An extended abstract of this paper appeared in: L.\u00a0De Raedt (Ed.), Proceedings of the Fifth International Workshop on Inductive Logic Programming, Tokyo, Japan, 1995, pp. 53\u201376, Scientific Report of the Department of Computer Science, Katholieke Universiteit Leuven, and also in the post-conference volume: L.\u00a0De Raedt (Ed.), Advances in Inductive Logic Programming, IOS Press, Amsterdam/Ohmsha, Tokyo, 1996, pp. 172\u2013191.","publication_year":2001,"publication_date":"2001-05-01","ids":{"openalex":"https://openalex.org/W1543252775","doi":"https://doi.org/10.1016/s0004-3702(01)00062-5","mag":"1543252775"},"language":"en","primary_location":{"id":"doi:10.1016/s0004-3702(01)00062-5","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s0004-3702(01)00062-5","pdf_url":null,"source":{"id":"https://openalex.org/S196139623","display_name":"Artificial Intelligence","issn_l":"0004-3702","issn":["0004-3702","1872-7921"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Artificial Intelligence","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101911318","display_name":"Tam\u00e1s Horv\u00e1th","orcid":"https://orcid.org/0000-0001-6852-6939"},"institutions":[{"id":"https://openalex.org/I4210144576","display_name":"Fraunhofer Institute for Intelligent Analysis and Information Systems","ror":"https://ror.org/04nc32781","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4210144576","https://openalex.org/I4923324"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Tam\u00e1s Horv\u00e1th","raw_affiliation_strings":["German National Research Center for Information Technology, Institute for Autonomous Intelligent Systems (GMD-AiS), Schlo\u00df Birlinghoven, D-53754 Sankt Augustin, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"German National Research Center for Information Technology, Institute for Autonomous Intelligent Systems (GMD-AiS), Schlo\u00df Birlinghoven, D-53754 Sankt Augustin, Germany","institution_ids":["https://openalex.org/I4210144576"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109457644","display_name":"Gy\u00f6rgy Tur\u00e1n","orcid":null},"institutions":[{"id":"https://openalex.org/I39422238","display_name":"University of Illinois Chicago","ror":"https://ror.org/02mpq6x41","country_code":"US","type":"education","lineage":["https://openalex.org/I39422238"]},{"id":"https://openalex.org/I4210152167","display_name":"MTA-SZTE Research Group on Artificial Intelligence","ror":"https://ror.org/0507fk326","country_code":"HU","type":"facility","lineage":["https://openalex.org/I227486990","https://openalex.org/I4210152167","https://openalex.org/I7597260"]},{"id":"https://openalex.org/I7597260","display_name":"Hungarian Academy of Sciences","ror":"https://ror.org/02ks8qq67","country_code":"HU","type":"government","lineage":["https://openalex.org/I7597260"]}],"countries":["HU","US"],"is_corresponding":false,"raw_author_name":"Gy\u00f6rgy Tur\u00e1n","raw_affiliation_strings":["Department of Mathematics, Statistics and Computer Science, University of Illinois at Chicago, 851 S. Morgan, M/C 249, Chicago, IL 60607-7045, USA","Research Group on Artificial Intelligence, Hungarian Academy of Sciences, Szeged, Hungary"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, Statistics and Computer Science, University of Illinois at Chicago, 851 S. Morgan, M/C 249, Chicago, IL 60607-7045, USA","institution_ids":["https://openalex.org/I39422238"]},{"raw_affiliation_string":"Research Group on Artificial Intelligence, Hungarian Academy of Sciences, Szeged, Hungary","institution_ids":["https://openalex.org/I4210152167","https://openalex.org/I7597260"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5101911318"],"corresponding_institution_ids":["https://openalex.org/I4210144576"],"apc_list":{"value":3670,"currency":"USD","value_usd":3670},"apc_paid":null,"fwci":2.1869,"has_fulltext":false,"cited_by_count":26,"citation_normalized_percentile":{"value":0.88827951,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"128","issue":"1-2","first_page":"31","last_page":"97"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9958999752998352,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9879999756813049,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/learnability","display_name":"Learnability","score":0.6785339713096619},{"id":"https://openalex.org/keywords/horn-clause","display_name":"Horn clause","score":0.6449386477470398},{"id":"https://openalex.org/keywords/homomorphism","display_name":"Homomorphism","score":0.5267740488052368},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.5209585428237915},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4799675941467285},{"id":"https://openalex.org/keywords/disjoint-sets","display_name":"Disjoint sets","score":0.4758824408054352},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.46710243821144104},{"id":"https://openalex.org/keywords/characterization","display_name":"Characterization (materials science)","score":0.46469825506210327},{"id":"https://openalex.org/keywords/generalization","display_name":"Generalization","score":0.4631708264350891},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4566686451435089},{"id":"https://openalex.org/keywords/inductive-logic-programming","display_name":"Inductive logic programming","score":0.4339514970779419},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.38276785612106323},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36130642890930176},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.3591022789478302},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1708623766899109}],"concepts":[{"id":"https://openalex.org/C2777723229","wikidata":"https://www.wikidata.org/wiki/Q4367921","display_name":"Learnability","level":2,"score":0.6785339713096619},{"id":"https://openalex.org/C189790780","wikidata":"https://www.wikidata.org/wiki/Q933932","display_name":"Horn clause","level":3,"score":0.6449386477470398},{"id":"https://openalex.org/C4042151","wikidata":"https://www.wikidata.org/wiki/Q215111","display_name":"Homomorphism","level":2,"score":0.5267740488052368},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.5209585428237915},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4799675941467285},{"id":"https://openalex.org/C45340560","wikidata":"https://www.wikidata.org/wiki/Q215382","display_name":"Disjoint sets","level":2,"score":0.4758824408054352},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.46710243821144104},{"id":"https://openalex.org/C2780841128","wikidata":"https://www.wikidata.org/wiki/Q5073781","display_name":"Characterization (materials science)","level":2,"score":0.46469825506210327},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.4631708264350891},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4566686451435089},{"id":"https://openalex.org/C2779382394","wikidata":"https://www.wikidata.org/wiki/Q1464197","display_name":"Inductive logic programming","level":2,"score":0.4339514970779419},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.38276785612106323},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36130642890930176},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.3591022789478302},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1708623766899109},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C171250308","wikidata":"https://www.wikidata.org/wiki/Q11468","display_name":"Nanotechnology","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1016/s0004-3702(01)00062-5","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s0004-3702(01)00062-5","pdf_url":null,"source":{"id":"https://openalex.org/S196139623","display_name":"Artificial Intelligence","issn_l":"0004-3702","issn":["0004-3702","1872-7921"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Artificial Intelligence","raw_type":"journal-article"},{"id":"pmh:oai:fraunhofer.de:2004933349","is_oa":false,"landing_page_url":"http://publica.fraunhofer.de/documents/2004933349.html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400801","display_name":"Publikationsdatenbank der Fraunhofer-Gesellschaft (Fraunhofer-Gesellschaft)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4923324","host_organization_name":"Fraunhofer-Gesellschaft","host_organization_lineage":["https://openalex.org/I4923324"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Fraunhofer AIS","raw_type":"Journal Article"},{"id":"pmh:oai:publica.fraunhofer.de:publica/200697","is_oa":false,"landing_page_url":"https://publica.fraunhofer.de/handle/publica/200697","pdf_url":null,"source":{"id":"https://openalex.org/S4306400318","display_name":"Fraunhofer-Publica (Fraunhofer-Gesellschaft)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4923324","host_organization_name":"Fraunhofer-Gesellschaft","host_organization_lineage":["https://openalex.org/I4923324"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"journal article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.6000000238418579}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":73,"referenced_works":["https://openalex.org/W201732946","https://openalex.org/W1497459566","https://openalex.org/W1520252399","https://openalex.org/W1530657611","https://openalex.org/W1564663950","https://openalex.org/W1567707649","https://openalex.org/W1570482017","https://openalex.org/W1591425247","https://openalex.org/W1608118133","https://openalex.org/W1647622147","https://openalex.org/W1666090206","https://openalex.org/W1970461133","https://openalex.org/W1979576691","https://openalex.org/W1982500696","https://openalex.org/W1983168840","https://openalex.org/W1983436960","https://openalex.org/W1984502727","https://openalex.org/W1987902506","https://openalex.org/W1989242777","https://openalex.org/W1995897489","https://openalex.org/W1997390900","https://openalex.org/W2004683093","https://openalex.org/W2019363670","https://openalex.org/W2030012268","https://openalex.org/W2045583023","https://openalex.org/W2046284526","https://openalex.org/W2061729190","https://openalex.org/W2064672629","https://openalex.org/W2065555531","https://openalex.org/W2076597612","https://openalex.org/W2077422877","https://openalex.org/W2086784214","https://openalex.org/W2087907345","https://openalex.org/W2100977641","https://openalex.org/W2102371256","https://openalex.org/W2111221376","https://openalex.org/W2117049614","https://openalex.org/W2134331399","https://openalex.org/W2140587192","https://openalex.org/W2141288588","https://openalex.org/W2154952480","https://openalex.org/W2158292827","https://openalex.org/W2169042011","https://openalex.org/W2171281046","https://openalex.org/W2172074164","https://openalex.org/W2295675105","https://openalex.org/W2520858206","https://openalex.org/W2750480155","https://openalex.org/W2915015834","https://openalex.org/W2997023162","https://openalex.org/W3021014091","https://openalex.org/W3112909250","https://openalex.org/W4206370914","https://openalex.org/W4213101374","https://openalex.org/W4213229129","https://openalex.org/W4233758922","https://openalex.org/W4238048572","https://openalex.org/W4238797264","https://openalex.org/W4238893454","https://openalex.org/W4298414065","https://openalex.org/W4300885858","https://openalex.org/W6601832475","https://openalex.org/W6629853712","https://openalex.org/W6633775634","https://openalex.org/W6633906613","https://openalex.org/W6634246166","https://openalex.org/W6637140270","https://openalex.org/W6642434027","https://openalex.org/W6666083373","https://openalex.org/W6666532407","https://openalex.org/W6675587066","https://openalex.org/W6697702857","https://openalex.org/W6758367363"],"related_works":["https://openalex.org/W1997390900","https://openalex.org/W1575453584","https://openalex.org/W1558569658","https://openalex.org/W148982944","https://openalex.org/W2009605580","https://openalex.org/W2001027846","https://openalex.org/W121467217","https://openalex.org/W1840908421","https://openalex.org/W2086035554","https://openalex.org/W1494464412"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-05-05T08:41:31.759640","created_date":"2025-10-10T00:00:00"}