{"id":"https://openalex.org/W7125974887","doi":"https://doi.org/10.1093/logcom/exaf069","title":"Towards ILP-based LTLf passive learning","display_name":"Towards ILP-based LTLf passive learning","publication_year":2025,"publication_date":"2025-11-08","ids":{"openalex":"https://openalex.org/W7125974887","doi":"https://doi.org/10.1093/logcom/exaf069"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exaf069","is_oa":true,"landing_page_url":"https://doi.org/10.1093/logcom/exaf069","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1093/logcom/exaf069","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5089816326","display_name":"Antonio Ielo","orcid":"https://orcid.org/0009-0006-9644-7975"},"institutions":[{"id":"https://openalex.org/I45204951","display_name":"University of Calabria","ror":"https://ror.org/02rc97e94","country_code":"IT","type":"education","lineage":["https://openalex.org/I45204951"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Antonio Ielo","raw_affiliation_strings":["University of Calabria, Department of Mathematics and Computer Science , Rende, 87036 ,"],"raw_orcid":"https://orcid.org/0009-0006-9644-7975","affiliations":[{"raw_affiliation_string":"University of Calabria, Department of Mathematics and Computer Science , Rende, 87036 ,","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5124054596","display_name":"Mark Law","orcid":null},"institutions":[{"id":"https://openalex.org/I2802274597","display_name":"Grantham and District Hospital","ror":"https://ror.org/00kgv1q58","country_code":"GB","type":"healthcare","lineage":["https://openalex.org/I2802274597","https://openalex.org/I2803040662"]},{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Mark Law","raw_affiliation_strings":["ILASP Limited, Grantham , NG31 7EU ,","Imperial College London, Department of Computing , London, SW7 2AZ ,"],"raw_orcid":"https://orcid.org/0000-0002-8934-9756","affiliations":[{"raw_affiliation_string":"ILASP Limited, Grantham , NG31 7EU ,","institution_ids":["https://openalex.org/I2802274597"]},{"raw_affiliation_string":"Imperial College London, Department of Computing , London, SW7 2AZ ,","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022322296","display_name":"Valeria Fionda","orcid":"https://orcid.org/0000-0002-7018-1324"},"institutions":[{"id":"https://openalex.org/I45204951","display_name":"University of Calabria","ror":"https://ror.org/02rc97e94","country_code":"IT","type":"education","lineage":["https://openalex.org/I45204951"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Valeria Fionda","raw_affiliation_strings":["University of Calabria, Department of Mathematics and Computer Science , Rende, 87036 ,"],"raw_orcid":"https://orcid.org/0000-0002-7018-1324","affiliations":[{"raw_affiliation_string":"University of Calabria, Department of Mathematics and Computer Science , Rende, 87036 ,","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5124057870","display_name":"Francesco Ricca","orcid":null},"institutions":[{"id":"https://openalex.org/I45204951","display_name":"University of Calabria","ror":"https://ror.org/02rc97e94","country_code":"IT","type":"education","lineage":["https://openalex.org/I45204951"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Francesco Ricca","raw_affiliation_strings":["University of Calabria, Department of Mathematics and Computer Science , Rende, 87036 ,"],"raw_orcid":"https://orcid.org/0000-0001-8218-3178","affiliations":[{"raw_affiliation_string":"University of Calabria, Department of Mathematics and Computer Science , Rende, 87036 ,","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5124091844","display_name":"Giuseppe De Giacomo","orcid":null},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]},{"id":"https://openalex.org/I4210146410","display_name":"Science Oxford","ror":"https://ror.org/04j8yhy50","country_code":"GB","type":"nonprofit","lineage":["https://openalex.org/I4210146410"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Giuseppe De Giacomo","raw_affiliation_strings":["University of Oxford, Department of Computer Science , Oxford, OX1 3QD ,"],"raw_orcid":"https://orcid.org/0000-0001-9680-7658","affiliations":[{"raw_affiliation_string":"University of Oxford, Department of Computer Science , Oxford, OX1 3QD ,","institution_ids":["https://openalex.org/I40120149","https://openalex.org/I4210146410"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5123039455","display_name":"Alessandra Russo","orcid":null},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Alessandra Russo","raw_affiliation_strings":["Imperial College London, Department of Computing , London, SW7 2AZ ,"],"raw_orcid":"https://orcid.org/0000-0002-3318-8711","affiliations":[{"raw_affiliation_string":"Imperial College London, Department of Computing , London, SW7 2AZ ,","institution_ids":["https://openalex.org/I47508984"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":{"value":4151,"currency":"USD","value_usd":4151},"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.80220475,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"36","issue":"2","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9345999956130981,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9345999956130981,"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/T10028","display_name":"Topic Modeling","score":0.017000000923871994,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.009399999864399433,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/inductive-logic-programming","display_name":"Inductive logic programming","score":0.8355000019073486},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.659600019454956},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.5756000280380249},{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer set programming","score":0.47530001401901245},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.4693000018596649},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.3880999982357025},{"id":"https://openalex.org/keywords/finite-set","display_name":"Finite set","score":0.3068999946117401},{"id":"https://openalex.org/keywords/linear-programming","display_name":"Linear programming","score":0.3043999969959259}],"concepts":[{"id":"https://openalex.org/C2779382394","wikidata":"https://www.wikidata.org/wiki/Q1464197","display_name":"Inductive logic programming","level":2,"score":0.8355000019073486},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7006000280380249},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.659600019454956},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.5756000280380249},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.47530001401901245},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.4693000018596649},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.43549999594688416},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.3880999982357025},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3598000109195709},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.3068999946117401},{"id":"https://openalex.org/C41045048","wikidata":"https://www.wikidata.org/wiki/Q202843","display_name":"Linear programming","level":2,"score":0.3043999969959259},{"id":"https://openalex.org/C77967617","wikidata":"https://www.wikidata.org/wiki/Q4677561","display_name":"Active learning (machine learning)","level":2,"score":0.30059999227523804},{"id":"https://openalex.org/C189790780","wikidata":"https://www.wikidata.org/wiki/Q933932","display_name":"Horn clause","level":3,"score":0.2924000024795532},{"id":"https://openalex.org/C28006648","wikidata":"https://www.wikidata.org/wiki/Q6934509","display_name":"Multi-task learning","level":3,"score":0.29120001196861267},{"id":"https://openalex.org/C197352929","wikidata":"https://www.wikidata.org/wiki/Q1074074","display_name":"Inductive bias","level":4,"score":0.2770000100135803},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.26109999418258667},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.25690001249313354},{"id":"https://openalex.org/C153046414","wikidata":"https://www.wikidata.org/wiki/Q12482","display_name":"Set theory","level":3,"score":0.2549999952316284},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.2535000145435333}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1093/logcom/exaf069","is_oa":true,"landing_page_url":"https://doi.org/10.1093/logcom/exaf069","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1093/logcom/exaf069","is_oa":true,"landing_page_url":"https://doi.org/10.1093/logcom/exaf069","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","score":0.504245936870575,"display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W1509428113","https://openalex.org/W1555544970","https://openalex.org/W1969965298","https://openalex.org/W2023808162","https://openalex.org/W2076698873","https://openalex.org/W2088175080","https://openalex.org/W2091138122","https://openalex.org/W2101107197","https://openalex.org/W2626901752","https://openalex.org/W2793662597","https://openalex.org/W2807161818","https://openalex.org/W2902993161","https://openalex.org/W2946576271","https://openalex.org/W2956992268","https://openalex.org/W2974477827","https://openalex.org/W3064086008","https://openalex.org/W3065734471","https://openalex.org/W3083905601","https://openalex.org/W4206322461","https://openalex.org/W4226341073","https://openalex.org/W4285603272","https://openalex.org/W4295850088","https://openalex.org/W4361852630","https://openalex.org/W4382239844","https://openalex.org/W4400995742","https://openalex.org/W4402425246","https://openalex.org/W7110158388"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"Inferring":[1],"linear":[2],"temporal":[3],"logic":[4,43],"over":[5],"finite":[6],"traces":[7,64],"($\\text{LTL}_{\\text{f}}$)":[8],"formulas":[9],"from":[10],"a":[11,33,78],"set":[12,52,61],"of":[13,50,62],"example":[14,63],"traces,":[15],"known":[16],"as":[17],"passive":[18,38],"learning,":[19],"presents":[20],"significant":[21],"challenges":[22],"due":[23],"to":[24,36,65,83],"its":[25],"combinatorial":[26],"nature.":[27],"In":[28],"this":[29],"paper,":[30],"we":[31],"introduce":[32],"novel":[34],"approach":[35],"$\\text{LTL}_{\\text{f}}$":[37],"learning":[39,49,68],"based":[40,86],"on":[41,87],"inductive":[42,48],"programming":[44],"(ILP),":[45],"leveraging":[46],"the":[47,60,67],"answer":[51],"programs":[53],"framework.":[54],"Our":[55],"ILP-based":[56],"method":[57],"effectively":[58],"exploits":[59],"guide":[66],"process,":[69],"and":[70],"experimental":[71],"results":[72],"demonstrate":[73],"that":[74],"it":[75],"o":[76],"ffers":[77],"more":[79],"efficient":[80],"solution":[81],"compared":[82],"traditional":[84],"techniques":[85],"propositional":[88],"satisfiability.":[89]},"counts_by_year":[],"updated_date":"2026-06-18T10:00:31.954636","created_date":"2026-01-29T00:00:00"}