{"id":"https://openalex.org/W4403486743","doi":"https://doi.org/10.3233/faia241000","title":"A Lazy Approach to Neural Numerical Planning with Control Parameters","display_name":"A Lazy Approach to Neural Numerical Planning with Control Parameters","publication_year":2024,"publication_date":"2024-10-16","ids":{"openalex":"https://openalex.org/W4403486743","doi":"https://doi.org/10.3233/faia241000"},"language":"en","primary_location":{"id":"doi:10.3233/faia241000","is_oa":true,"landing_page_url":"https://doi.org/10.3233/faia241000","pdf_url":"https://ebooks.iospress.nl/pdf/doi/10.3233/FAIA241000","source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://ebooks.iospress.nl/pdf/doi/10.3233/FAIA241000","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5007982480","display_name":"Ren\u00e9 Heesch","orcid":"https://orcid.org/0000-0003-1147-8205"},"institutions":[{"id":"https://openalex.org/I190134885","display_name":"Helmut Schmidt University","ror":"https://ror.org/04e8jbs38","country_code":"DE","type":"education","lineage":["https://openalex.org/I190134885"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Ren\u00e9 Heesch","raw_affiliation_strings":["Helmut Schmidt University, Hamburg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Helmut Schmidt University, Hamburg, Germany","institution_ids":["https://openalex.org/I190134885"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017426974","display_name":"Alessandro Cimatti","orcid":"https://orcid.org/0000-0002-1315-6990"},"institutions":[{"id":"https://openalex.org/I2277624104","display_name":"Fondazione Bruno Kessler","ror":"https://ror.org/01j33xk10","country_code":"IT","type":"facility","lineage":["https://openalex.org/I2277624104"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Alessandro Cimatti","raw_affiliation_strings":["Fondazione Bruno Kessler, Trento, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Fondazione Bruno Kessler, Trento, Italy","institution_ids":["https://openalex.org/I2277624104"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018465759","display_name":"Jonas Ehrhardt","orcid":"https://orcid.org/0000-0001-5023-839X"},"institutions":[{"id":"https://openalex.org/I190134885","display_name":"Helmut Schmidt University","ror":"https://ror.org/04e8jbs38","country_code":"DE","type":"education","lineage":["https://openalex.org/I190134885"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Jonas Ehrhardt","raw_affiliation_strings":["Helmut Schmidt University, Hamburg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Helmut Schmidt University, Hamburg, Germany","institution_ids":["https://openalex.org/I190134885"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057069946","display_name":"Alexander Diedrich","orcid":"https://orcid.org/0000-0002-8674-6895"},"institutions":[{"id":"https://openalex.org/I190134885","display_name":"Helmut Schmidt University","ror":"https://ror.org/04e8jbs38","country_code":"DE","type":"education","lineage":["https://openalex.org/I190134885"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Alexander Diedrich","raw_affiliation_strings":["Helmut Schmidt University, Hamburg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Helmut Schmidt University, Hamburg, Germany","institution_ids":["https://openalex.org/I190134885"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012395966","display_name":"Oliver Niggemann","orcid":"https://orcid.org/0000-0001-8747-3596"},"institutions":[{"id":"https://openalex.org/I190134885","display_name":"Helmut Schmidt University","ror":"https://ror.org/04e8jbs38","country_code":"DE","type":"education","lineage":["https://openalex.org/I190134885"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Oliver Niggemann","raw_affiliation_strings":["Helmut Schmidt University, Hamburg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Helmut Schmidt University, Hamburg, Germany","institution_ids":["https://openalex.org/I190134885"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5007982480"],"corresponding_institution_ids":["https://openalex.org/I190134885"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.3746606,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10320","display_name":"Neural Networks and Applications","score":0.9422000050544739,"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/T10320","display_name":"Neural Networks and Applications","score":0.9422000050544739,"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/computer-science","display_name":"Computer science","score":0.6221831440925598},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.5293375253677368},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.4175992012023926},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.32301294803619385}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6221831440925598},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.5293375253677368},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.4175992012023926},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.32301294803619385}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/faia241000","is_oa":true,"landing_page_url":"https://doi.org/10.3233/faia241000","pdf_url":"https://ebooks.iospress.nl/pdf/doi/10.3233/FAIA241000","source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.3233/faia241000","is_oa":true,"landing_page_url":"https://doi.org/10.3233/faia241000","pdf_url":"https://ebooks.iospress.nl/pdf/doi/10.3233/FAIA241000","source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},"sustainable_development_goals":[{"display_name":"Sustainable cities and communities","id":"https://metadata.un.org/sdg/11","score":0.7400000095367432}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4403486743.pdf"},"referenced_works_count":20,"referenced_works":["https://openalex.org/W1481397690","https://openalex.org/W1583869287","https://openalex.org/W2137983211","https://openalex.org/W2159061314","https://openalex.org/W2498891870","https://openalex.org/W2594877703","https://openalex.org/W2889414920","https://openalex.org/W2972757548","https://openalex.org/W3011556052","https://openalex.org/W3123432941","https://openalex.org/W4298684625","https://openalex.org/W4321462155","https://openalex.org/W4384131080","https://openalex.org/W4385016065","https://openalex.org/W4386081466","https://openalex.org/W4386844642","https://openalex.org/W4389299051","https://openalex.org/W4389988713","https://openalex.org/W4391176460","https://openalex.org/W4393988223"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"we":[3,63],"tackle":[4],"the":[5,51,55,67,72,77,81,96,101,111,114,121,153],"problem":[6],"of":[7,113],"planning":[8,145],"in":[9,54,116,131],"complex":[10],"numerical":[11,118],"domains,":[12],"where":[13,50,120],"actions":[14],"are":[15,57],"indexed":[16],"by":[17,26,70],"control":[18,78,87],"parameters,":[19],"and":[20,84,126],"their":[21,166],"effects":[22],"may":[23],"be":[24,90],"described":[25],"neural":[27,52,73,122,154],"networks.":[28],"We":[29,106],"propose":[30],"a":[31,40],"lazy,":[32],"hierarchical":[33],"approach":[34],"based":[35],"on":[36,142],"two":[37],"ingredients.":[38],"First,":[39],"Satisfiability":[41,102,132],"Modulo":[42,103,133],"Theory":[43,104],"solver":[44],"looks":[45],"for":[46],"an":[47],"abstract":[48,68],"plan":[49,69],"networks":[53],"model":[56],"abstracted":[58],"into":[59],"uninterpreted":[60],"functions.":[61],"Then,":[62],"attempt":[64],"to":[65,75,94,100,159],"concretize":[66],"querying":[71],"network":[74,123,155],"determine":[76],"parameters.":[79],"If":[80],"concretization":[82],"fails":[83],"no":[85],"valid":[86],"parameters":[88],"could":[89],"found,":[91],"suitable":[92],"information":[93],"refine":[95],"abstraction":[97],"is":[98,124],"lifted":[99],"model.":[105],"contrast":[107],"our":[108],"work":[109],"against":[110],"state":[112],"art":[115],"NN-enriched":[117],"planning,":[119],"eagerly":[125],"exactly":[127],"represented":[128],"as":[129,168],"terms":[130],"Theories":[134],"over":[135],"nonlinear":[136],"real":[137],"arithmetic.":[138],"Our":[139],"systematic":[140],"evaluation":[141],"four":[143],"different":[144],"domains":[146],"shows":[147],"that":[148],"avoiding":[149],"symbolic":[150],"reasoning":[151],"about":[152],"not":[156],"only":[157],"leads":[158],"substantial":[160],"efficiency":[161],"improvements,":[162],"but":[163],"also":[164],"enables":[165],"integration":[167],"black-box":[169],"models.":[170]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}