{"id":"https://openalex.org/W3080293060","doi":"https://doi.org/10.24963/kr.2020/16","title":"High-level Programming via Generalized Planning and LTL Synthesis","display_name":"High-level Programming via Generalized Planning and LTL Synthesis","publication_year":2020,"publication_date":"2020-07-01","ids":{"openalex":"https://openalex.org/W3080293060","doi":"https://doi.org/10.24963/kr.2020/16","mag":"3080293060"},"language":"en","primary_location":{"id":"doi:10.24963/kr.2020/16","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/16","pdf_url":"https://proceedings.kr.org/2020/16/kr2020-0016-bonet-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://proceedings.kr.org/2020/16/kr2020-0016-bonet-et-al.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5010562834","display_name":"Blai Bonet","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Blai Bonet","raw_affiliation_strings":["Universidad Simon Bolivar"],"affiliations":[{"raw_affiliation_string":"Universidad Simon Bolivar","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013290512","display_name":"Giuseppe De Giacomo","orcid":"https://orcid.org/0000-0001-9680-7658"},"institutions":[{"id":"https://openalex.org/I861853513","display_name":"Sapienza University of Rome","ror":"https://ror.org/02be6w209","country_code":"IT","type":"education","lineage":["https://openalex.org/I861853513"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Giuseppe De Giacomo","raw_affiliation_strings":["University of Rome \"La Sapienza\""],"affiliations":[{"raw_affiliation_string":"University of Rome \"La Sapienza\"","institution_ids":["https://openalex.org/I861853513"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046427368","display_name":"H\u00e9ctor Geffner","orcid":"https://orcid.org/0000-0001-9851-8219"},"institutions":[{"id":"https://openalex.org/I170486558","display_name":"Pompeu Fabra University","ror":"https://ror.org/04n0g0b29","country_code":"ES","type":"education","lineage":["https://openalex.org/I170486558"]},{"id":"https://openalex.org/I11932220","display_name":"Instituci\u00f3 Catalana de Recerca i Estudis Avan\u00e7ats","ror":"https://ror.org/0371hy230","country_code":"ES","type":"nonprofit","lineage":["https://openalex.org/I11932220"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Hector Geffner","raw_affiliation_strings":["ICREA & Universitat Pompeu Fabra"],"affiliations":[{"raw_affiliation_string":"ICREA & Universitat Pompeu Fabra","institution_ids":["https://openalex.org/I170486558","https://openalex.org/I11932220"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057746643","display_name":"Fabio Patrizi","orcid":"https://orcid.org/0000-0002-9116-251X"},"institutions":[{"id":"https://openalex.org/I861853513","display_name":"Sapienza University of Rome","ror":"https://ror.org/02be6w209","country_code":"IT","type":"education","lineage":["https://openalex.org/I861853513"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Fabio Patrizi","raw_affiliation_strings":["University of Rome \"La Sapienza\""],"affiliations":[{"raw_affiliation_string":"University of Rome \"La Sapienza\"","institution_ids":["https://openalex.org/I861853513"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000922082","display_name":"Sasha Rubin","orcid":"https://orcid.org/0000-0002-3948-129X"},"institutions":[{"id":"https://openalex.org/I129604602","display_name":"University of Sydney","ror":"https://ror.org/0384j8v12","country_code":"AU","type":"education","lineage":["https://openalex.org/I129604602"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Sasha Rubin","raw_affiliation_strings":["The University of Sydney"],"affiliations":[{"raw_affiliation_string":"The University of Sydney","institution_ids":["https://openalex.org/I129604602"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5010562834"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.0605,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.82169891,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"152","last_page":"161"},"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.9994999766349792,"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.9994999766349792,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9994000196456909,"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/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"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/computer-science","display_name":"Computer science","score":0.8030254244804382},{"id":"https://openalex.org/keywords/program-synthesis","display_name":"Program synthesis","score":0.7105845212936401},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6983304619789124},{"id":"https://openalex.org/keywords/python","display_name":"Python (programming language)","score":0.6663824915885925},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.5923479199409485},{"id":"https://openalex.org/keywords/data-structure","display_name":"Data structure","score":0.5703336596488953},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.4458063840866089},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3901132047176361}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8030254244804382},{"id":"https://openalex.org/C2776937632","wikidata":"https://www.wikidata.org/wiki/Q4117718","display_name":"Program synthesis","level":2,"score":0.7105845212936401},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6983304619789124},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.6663824915885925},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.5923479199409485},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.5703336596488953},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.4458063840866089},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3901132047176361},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.24963/kr.2020/16","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/16","pdf_url":"https://proceedings.kr.org/2020/16/kr2020-0016-bonet-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},{"id":"pmh:oai:iris.uniroma1.it:11573/1506317","is_oa":true,"landing_page_url":"https://hdl.handle.net/11573/1506317","pdf_url":null,"source":{"id":"https://openalex.org/S4377196107","display_name":"IRIS Research product catalog (Sapienza University of Rome)","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":"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"}],"best_oa_location":{"id":"doi:10.24963/kr.2020/16","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/16","pdf_url":"https://proceedings.kr.org/2020/16/kr2020-0016-bonet-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.41999998688697815,"display_name":"Sustainable cities and communities","id":"https://metadata.un.org/sdg/11"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320312331","display_name":"Banco Santander","ror":"https://ror.org/017d1hs72"},{"id":"https://openalex.org/F4320323770","display_name":"Universidad Carlos III de Madrid","ror":"https://ror.org/03ths8210"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W3080293060.pdf"},"referenced_works_count":48,"referenced_works":["https://openalex.org/W92128319","https://openalex.org/W105409620","https://openalex.org/W196393734","https://openalex.org/W1528049422","https://openalex.org/W1572073643","https://openalex.org/W1590266960","https://openalex.org/W1994451575","https://openalex.org/W2016206563","https://openalex.org/W2023808162","https://openalex.org/W2045474169","https://openalex.org/W2062205093","https://openalex.org/W2116541436","https://openalex.org/W2128888217","https://openalex.org/W2141088850","https://openalex.org/W2162611322","https://openalex.org/W2166757602","https://openalex.org/W2169173532","https://openalex.org/W2184152170","https://openalex.org/W2210368431","https://openalex.org/W2294184790","https://openalex.org/W2296450740","https://openalex.org/W2297081251","https://openalex.org/W2563461029","https://openalex.org/W2573699442","https://openalex.org/W2573798417","https://openalex.org/W2574316989","https://openalex.org/W2610385005","https://openalex.org/W2739712182","https://openalex.org/W2807813222","https://openalex.org/W2808628779","https://openalex.org/W2810341450","https://openalex.org/W2883465722","https://openalex.org/W2883588720","https://openalex.org/W2914853612","https://openalex.org/W2949514906","https://openalex.org/W2964574649","https://openalex.org/W2966828147","https://openalex.org/W4236387090","https://openalex.org/W6604353299","https://openalex.org/W6608006189","https://openalex.org/W6654500896","https://openalex.org/W6656255003","https://openalex.org/W6683615208","https://openalex.org/W6688197206","https://openalex.org/W6752792582","https://openalex.org/W6753390691","https://openalex.org/W6766203590","https://openalex.org/W6817732460"],"related_works":["https://openalex.org/W2341492732","https://openalex.org/W3187193180","https://openalex.org/W106542691","https://openalex.org/W1699080303","https://openalex.org/W4297799326","https://openalex.org/W3116064965","https://openalex.org/W4287027380","https://openalex.org/W3193760048","https://openalex.org/W4285822516","https://openalex.org/W118766035"],"abstract_inverted_index":{"We":[0,29,224],"look":[1],"at":[2,33,54,66,92],"program":[3,24,42,78,183],"synthesis":[4,79,211,218],"where":[5,96],"the":[6,48,55,67,97,113,117,120,123,127,160,167,175,200,222,226,229],"aim":[7,32,53],"is":[8,90,133],"to":[9,116,122,136,158,208],"automatically":[10],"synthesize":[11],"a":[12,22,34,41,44,58,77,85,185,232],"controller":[13],"that":[14,39,76,105],"operates":[15],"on":[16,231],"data":[17,99,128,179],"structures":[18,100],"and":[19,60,69,111,119,139,146,152,174],"from":[20],"which":[21],"concrete":[23,164],"can":[25,81,106,192,205],"be":[26,82,107,193,206],"easily":[27,194],"derived.":[28],"do":[30],"not":[31],"fully-automatic":[35],"process":[36],"or":[37,190],"tool":[38],"produces":[40],"meeting":[43],"given":[45],"specification":[46],"of":[47,57,163,169,177,228,234],"program\u2019s":[49],"behaviour.":[50],"Rather,":[51],"we":[52,73,197],"design":[56,68],"clear":[59],"well-founded":[61],"approach":[62,230],"for":[63,220],"supporting":[64],"programmers":[65],"implementation":[70],"phases.":[71],"Concretely,":[72],"first":[74,114],"show":[75],"task":[80],"modeled":[83],"as":[84,103,142,144],"generalized":[86,202],"planning":[87,203],"problem.":[88],"This":[89],"done":[91],"an":[93,181,209],"abstraction":[94,131],"level":[95,132],"involved":[98],"are":[101],"seen":[102],"black-boxes":[104],"interfaced":[108],"with":[109],"actions":[110],"observations,":[112],"corresponding":[115],"operations":[118],"second":[121],"queries":[124],"provided":[125],"by":[126,150],"structure.":[129],"The":[130],"high":[134],"enough":[135],"capture":[137],"intuitive":[138],"common":[140],"assumptions":[141],"well":[143],"general":[145,186],"simple":[147],"strategies":[148],"used":[149],"programmers,":[151],"yet":[153],"it":[154],"contains":[155],"sufficient":[156],"structure":[157],"support":[159],"automated":[161],"generation":[162],"solutions":[165],"(in":[166],"form":[168],"controllers).":[170],"From":[171],"such":[172],"controllers":[173],"use":[176],"standard":[178],"structures,":[180],"actual":[182],"in":[184],"language":[187],"like":[188],"C++":[189],"Python":[191],"obtained.":[195],"Then,":[196],"discuss":[198],"how":[199],"resulting":[201],"problem":[204],"reduced":[207],"LTL":[210,217],"problem,":[212],"thus":[213],"making":[214],"available":[215],"any":[216],"engine":[219],"obtaining":[221],"controllers.":[223],"illustrate":[225],"effectiveness":[227],"series":[233],"examples.":[235]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":2}],"updated_date":"2026-01-16T23:16:36.188383","created_date":"2025-10-10T00:00:00"}