{"id":"https://openalex.org/W3034464879","doi":"https://doi.org/10.24963/ijcai.2020/571","title":"Optimal Planning Modulo Theories","display_name":"Optimal Planning Modulo Theories","publication_year":2020,"publication_date":"2020-07-01","ids":{"openalex":"https://openalex.org/W3034464879","doi":"https://doi.org/10.24963/ijcai.2020/571","mag":"3034464879"},"language":"en","primary_location":{"id":"doi:10.24963/ijcai.2020/571","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2020/571","pdf_url":"https://www.ijcai.org/proceedings/2020/0571.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.ijcai.org/proceedings/2020/0571.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5043590673","display_name":"Francesco Leofante","orcid":"https://orcid.org/0000-0001-8245-9429"},"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":true,"raw_author_name":"Francesco Leofante","raw_affiliation_strings":["Imperial College London, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Imperial College London, United Kingdom","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004609930","display_name":"Enrico Giunchiglia","orcid":"https://orcid.org/0000-0001-5758-2556"},"institutions":[{"id":"https://openalex.org/I83816512","display_name":"University of Genoa","ror":"https://ror.org/0107c5v14","country_code":"IT","type":"education","lineage":["https://openalex.org/I83816512"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Enrico Giunchiglia","raw_affiliation_strings":["University of Genoa, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Genoa, Italy","institution_ids":["https://openalex.org/I83816512"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068015318","display_name":"Erika \u00c1brah\u00e1m","orcid":"https://orcid.org/0000-0002-5647-6134"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Erika \u00c1br\u00e1ham","raw_affiliation_strings":["RWTH Aachen University, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"RWTH Aachen University, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067087113","display_name":"Armando Tacchella","orcid":"https://orcid.org/0000-0001-9487-331X"},"institutions":[{"id":"https://openalex.org/I83816512","display_name":"University of Genoa","ror":"https://ror.org/0107c5v14","country_code":"IT","type":"education","lineage":["https://openalex.org/I83816512"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Armando Tacchella","raw_affiliation_strings":["University of Genoa, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Genoa, Italy","institution_ids":["https://openalex.org/I83816512"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5043590673"],"corresponding_institution_ids":["https://openalex.org/I47508984"],"apc_list":null,"apc_paid":null,"fwci":1.4948,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.85873304,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"4128","last_page":"4134"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9995999932289124,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9995999932289124,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9884999990463257,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9781000018119812,"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/modulo","display_name":"Modulo","score":0.8678793907165527},{"id":"https://openalex.org/keywords/planner","display_name":"Planner","score":0.6948990821838379},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6591161489486694},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.6121095418930054},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5713632702827454},{"id":"https://openalex.org/keywords/encoding","display_name":"Encoding (memory)","score":0.5251873731613159},{"id":"https://openalex.org/keywords/action","display_name":"Action (physics)","score":0.49742797017097473},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.47233596444129944},{"id":"https://openalex.org/keywords/constant","display_name":"Constant (computer programming)","score":0.46501046419143677},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.4227822721004486},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.41441136598587036},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2542493939399719},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.23902639746665955},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.22358426451683044},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.20000076293945312},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.11112067103385925}],"concepts":[{"id":"https://openalex.org/C54732982","wikidata":"https://www.wikidata.org/wiki/Q1415345","display_name":"Modulo","level":2,"score":0.8678793907165527},{"id":"https://openalex.org/C2776999362","wikidata":"https://www.wikidata.org/wiki/Q2349274","display_name":"Planner","level":2,"score":0.6948990821838379},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6591161489486694},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.6121095418930054},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5713632702827454},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.5251873731613159},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.49742797017097473},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.47233596444129944},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.46501046419143677},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4227822721004486},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.41441136598587036},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2542493939399719},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.23902639746665955},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.22358426451683044},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.20000076293945312},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.11112067103385925},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.24963/ijcai.2020/571","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2020/571","pdf_url":"https://www.ijcai.org/proceedings/2020/0571.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},{"id":"pmh:oai:iris.unige.it:11567/1019072","is_oa":true,"landing_page_url":"http://hdl.handle.net/11567/1019072","pdf_url":null,"source":{"id":"https://openalex.org/S4377196291","display_name":"CINECA IRIS Institutial Research Information System (University of Genoa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I83816512","host_organization_name":"University of Genoa","host_organization_lineage":["https://openalex.org/I83816512"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:iris.unige.it:11567/990678","is_oa":true,"landing_page_url":"http://hdl.handle.net/11567/990678","pdf_url":null,"source":{"id":"https://openalex.org/S4377196291","display_name":"CINECA IRIS Institutial Research Information System (University of Genoa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I83816512","host_organization_name":"University of Genoa","host_organization_lineage":["https://openalex.org/I83816512"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/doctoralThesis"},{"id":"pmh:oai:publications.rwth-aachen.de:792387","is_oa":true,"landing_page_url":"https://publications.rwth-aachen.de/record/792387","pdf_url":null,"source":{"id":"https://openalex.org/S4306401362","display_name":"RWTH Publications (RWTH Aachen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887968799","host_organization_name":"RWTH Aachen University","host_organization_lineage":["https://openalex.org/I887968799"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Aachen 1 Online-Ressource (96 Seiten) : Illustrationen, Diagramme (2020). doi:10.18154/RWTH-2020-06076 = Dissertation, RWTH Aachen University, 2020","raw_type":"info:eu-repo/semantics/doctoralThesis"},{"id":"doi:10.15167/leofante-francesco_phd2020-05-14","is_oa":true,"landing_page_url":"https://doi.org/10.15167/leofante-francesco_phd2020-05-14","pdf_url":null,"source":{"id":"https://openalex.org/S7407050993","display_name":"Universit\u00e0 degli Studi di Genova","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.24963/ijcai.2020/571","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2020/571","pdf_url":"https://www.ijcai.org/proceedings/2020/0571.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3034464879.pdf","grobid_xml":"https://content.openalex.org/works/W3034464879.grobid-xml"},"referenced_works_count":72,"referenced_works":["https://openalex.org/W56814239","https://openalex.org/W58147275","https://openalex.org/W207203098","https://openalex.org/W602497127","https://openalex.org/W1022177737","https://openalex.org/W1419457303","https://openalex.org/W1473000177","https://openalex.org/W1490304813","https://openalex.org/W1538171033","https://openalex.org/W1544041853","https://openalex.org/W1548812055","https://openalex.org/W1572277334","https://openalex.org/W1585557683","https://openalex.org/W1600919542","https://openalex.org/W1663140555","https://openalex.org/W1667362966","https://openalex.org/W1672891595","https://openalex.org/W1973898358","https://openalex.org/W1987411046","https://openalex.org/W1987464371","https://openalex.org/W1999997889","https://openalex.org/W2005465900","https://openalex.org/W2022042069","https://openalex.org/W2045526507","https://openalex.org/W2061146398","https://openalex.org/W2090777457","https://openalex.org/W2091364465","https://openalex.org/W2095760119","https://openalex.org/W2097083865","https://openalex.org/W2115926667","https://openalex.org/W2116502002","https://openalex.org/W2119709400","https://openalex.org/W2122054842","https://openalex.org/W2133517325","https://openalex.org/W2134029974","https://openalex.org/W2139925070","https://openalex.org/W2167991758","https://openalex.org/W2258696416","https://openalex.org/W2277676404","https://openalex.org/W2294198268","https://openalex.org/W2337392266","https://openalex.org/W2398481491","https://openalex.org/W2407103960","https://openalex.org/W2507704646","https://openalex.org/W2512139417","https://openalex.org/W2529550844","https://openalex.org/W2547972153","https://openalex.org/W2561879244","https://openalex.org/W2571800388","https://openalex.org/W2579850881","https://openalex.org/W2611243847","https://openalex.org/W2734781011","https://openalex.org/W2735126411","https://openalex.org/W2740257287","https://openalex.org/W2742067076","https://openalex.org/W2787514806","https://openalex.org/W2788438366","https://openalex.org/W2803522214","https://openalex.org/W2807554164","https://openalex.org/W2807855971","https://openalex.org/W2809932296","https://openalex.org/W2810026609","https://openalex.org/W2826914372","https://openalex.org/W2885108861","https://openalex.org/W2920374048","https://openalex.org/W2946238710","https://openalex.org/W2963839271","https://openalex.org/W2964384333","https://openalex.org/W2985145266","https://openalex.org/W3104718257","https://openalex.org/W3106271432","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W1568779110","https://openalex.org/W804484174","https://openalex.org/W2117548279","https://openalex.org/W2097470475","https://openalex.org/W2070252991","https://openalex.org/W4244698559","https://openalex.org/W2807449856","https://openalex.org/W3179717505","https://openalex.org/W1518172465","https://openalex.org/W2249925416"],"abstract_inverted_index":{"We":[0,37,55],"consider":[1],"the":[2],"problem":[3],"of":[4],"planning":[5,62],"with":[6,18],"arithmetic":[7],"theories,":[8],"and":[9,20,34,66],"focus":[10],"on":[11],"generating":[12],"optimal":[13,53,61],"plans":[14],"for":[15,60],"numeric":[16,35,77],"domains":[17],"constant":[19],"state-dependent":[21],"action":[22],"costs.":[23],"Solving":[24],"these":[25],"problems":[26],"efficiently":[27],"requires":[28],"a":[29,39,51,57],"seamless":[30],"integration":[31],"between":[32],"propositional":[33],"reasoning.":[36],"propose":[38],"novel":[40],"approach":[41,70],"that":[42],"leverages":[43],"Optimization":[44],"Modulo":[45],"Theories":[46],"(OMT)":[47],"solvers":[48],"to":[49],"implement":[50],"domain-independent":[52],"theory-planner.":[54],"present":[56],"new":[58],"encoding":[59],"in":[63],"this":[64],"setting":[65],"we":[67],"evaluate":[68],"our":[69],"using":[71],"well-known,":[72],"as":[73,75],"well":[74],"new,":[76],"benchmarks.":[78]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":4}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}