{"id":"https://openalex.org/W2905459124","doi":"https://doi.org/10.1609/aaai.v33i01.33017562","title":"Efficiently Reasoning with Interval Constraints in Forward Search Planning","display_name":"Efficiently Reasoning with Interval Constraints in Forward Search Planning","publication_year":2019,"publication_date":"2019-07-17","ids":{"openalex":"https://openalex.org/W2905459124","doi":"https://doi.org/10.1609/aaai.v33i01.33017562","mag":"2905459124"},"language":"en","primary_location":{"id":"doi:10.1609/aaai.v33i01.33017562","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v33i01.33017562","pdf_url":null,"source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1609/aaai.v33i01.33017562","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Amanda Coles","orcid":null},"institutions":[{"id":"https://openalex.org/I183935753","display_name":"King's College London","ror":"https://ror.org/0220mzb33","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I183935753"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Amanda Coles","raw_affiliation_strings":["King's College London"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"King's College London","institution_ids":["https://openalex.org/I183935753"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072042105","display_name":"Andrew Coles","orcid":"https://orcid.org/0000-0002-1838-8301"},"institutions":[{"id":"https://openalex.org/I183935753","display_name":"King's College London","ror":"https://ror.org/0220mzb33","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I183935753"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Andrew Coles","raw_affiliation_strings":["King's College London"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"King's College London","institution_ids":["https://openalex.org/I183935753"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013220420","display_name":"Mois\u00e9s Mart\u00ednez","orcid":"https://orcid.org/0000-0002-7301-5399"},"institutions":[{"id":"https://openalex.org/I183935753","display_name":"King's College London","ror":"https://ror.org/0220mzb33","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I183935753"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Moises Martinez","raw_affiliation_strings":["King's College London"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"King's College London","institution_ids":["https://openalex.org/I183935753"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055331553","display_name":"Emre Savas","orcid":null},"institutions":[{"id":"https://openalex.org/I183935753","display_name":"King's College London","ror":"https://ror.org/0220mzb33","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I183935753"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Emre Savas","raw_affiliation_strings":["King's College London"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"King's College London","institution_ids":["https://openalex.org/I183935753"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081904213","display_name":"Juan Delfa","orcid":null},"institutions":[{"id":"https://openalex.org/I2801994115","display_name":"European Space Agency","ror":"https://ror.org/03wd9za21","country_code":"FR","type":"funder","lineage":["https://openalex.org/I2801994115"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Juan Manuel Delfa","raw_affiliation_strings":["European Space Agency"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"European Space Agency","institution_ids":["https://openalex.org/I2801994115"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103062990","display_name":"Tom\u00e1s de la Rosa","orcid":"https://orcid.org/0000-0002-1977-9777"},"institutions":[{"id":"https://openalex.org/I50357001","display_name":"Universidad Carlos III de Madrid","ror":"https://ror.org/03ths8210","country_code":"ES","type":"education","lineage":["https://openalex.org/I50357001"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Tom\u00e1s De la Rosa","raw_affiliation_strings":["Universidad Carlos III de Madrid"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidad Carlos III de Madrid","institution_ids":["https://openalex.org/I50357001"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015301498","display_name":"Yolanda E-Mart\u00edn","orcid":null},"institutions":[{"id":"https://openalex.org/I50357001","display_name":"Universidad Carlos III de Madrid","ror":"https://ror.org/03ths8210","country_code":"ES","type":"education","lineage":["https://openalex.org/I50357001"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Yolanda E-Mart\u00edn","raw_affiliation_strings":["Universidad Carlos III de Madrid"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidad Carlos III de Madrid","institution_ids":["https://openalex.org/I50357001"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100697234","display_name":"\u00c1ngel Garc\u00eda\u2010Olaya","orcid":"https://orcid.org/0000-0002-4531-5896"},"institutions":[{"id":"https://openalex.org/I50357001","display_name":"Universidad Carlos III de Madrid","ror":"https://ror.org/03ths8210","country_code":"ES","type":"education","lineage":["https://openalex.org/I50357001"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Angel Garc\u00eda-Olaya","raw_affiliation_strings":["Universidad Carlos III de Madrid"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidad Carlos III de Madrid","institution_ids":["https://openalex.org/I50357001"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":8,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.2659,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.58588076,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"33","issue":"01","first_page":"7562","last_page":"7569"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9991000294685364,"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.9991000294685364,"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.9977999925613403,"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.995199978351593,"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/planner","display_name":"Planner","score":0.8997745513916016},{"id":"https://openalex.org/keywords/timeline","display_name":"Timeline","score":0.7465636134147644},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7252510786056519},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5213771462440491},{"id":"https://openalex.org/keywords/interval","display_name":"Interval (graph theory)","score":0.4863215386867523},{"id":"https://openalex.org/keywords/qualitative-reasoning","display_name":"Qualitative reasoning","score":0.42444509267807007},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.41077151894569397},{"id":"https://openalex.org/keywords/operations-research","display_name":"Operations research","score":0.3713376522064209},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10662949085235596}],"concepts":[{"id":"https://openalex.org/C2776999362","wikidata":"https://www.wikidata.org/wiki/Q2349274","display_name":"Planner","level":2,"score":0.8997745513916016},{"id":"https://openalex.org/C4438859","wikidata":"https://www.wikidata.org/wiki/Q186117","display_name":"Timeline","level":2,"score":0.7465636134147644},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7252510786056519},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5213771462440491},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.4863215386867523},{"id":"https://openalex.org/C83725634","wikidata":"https://www.wikidata.org/wiki/Q7268699","display_name":"Qualitative reasoning","level":2,"score":0.42444509267807007},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.41077151894569397},{"id":"https://openalex.org/C42475967","wikidata":"https://www.wikidata.org/wiki/Q194292","display_name":"Operations research","level":1,"score":0.3713376522064209},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10662949085235596},{"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/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1609/aaai.v33i01.33017562","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v33i01.33017562","pdf_url":null,"source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"},{"id":"pmh:oai:kclpure.kcl.ac.uk:publications/572c51ff-d57b-4104-b4a3-11f07517007d","is_oa":true,"landing_page_url":"https://kclpure.kcl.ac.uk/portal/en/publications/572c51ff-d57b-4104-b4a3-11f07517007d","pdf_url":"https://kclpure.kcl.ac.uk/ws/files/148119448/4748_Article_Text_7787_1_10_20190707_1_.pdf","source":null,"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Coles , A , Coles , A , Martinez , M , Savas , E , Delfa , J M , de la Rosa , T , E-Mart\u00edn , Y & Garc\u00eda Olaya , A 2019 , ' Efficiently Reasoning with Interval Constraints in Forward Search Planning ' , Proceedings of the AAAI Conference on Artificial Intelligence , vol. 33 , no. 1 , pp. 7562-7569 . https://doi.org/10.1609/aaai.v33i01.33017562","raw_type":"article"},{"id":"pmh:oai:ojs.aaai.org:article/4748","is_oa":true,"landing_page_url":"https://ojs.aaai.org/index.php/AAAI/article/view/4748","pdf_url":"https://ojs.aaai.org/index.php/AAAI/article/download/4748/4626","source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2159-5399","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:e-archivo.uc3m.es:10016/30448","is_oa":true,"landing_page_url":"http://hdl.handle.net/10016/30448","pdf_url":null,"source":{"id":"https://openalex.org/S4306400817","display_name":"e-Archivo (Carlos III University of Madrid)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I50357001","host_organization_name":"Universidad Carlos III de Madrid","host_organization_lineage":["https://openalex.org/I50357001"],"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":"","raw_type":"info:eu-repo/semantics/other"}],"best_oa_location":{"id":"doi:10.1609/aaai.v33i01.33017562","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v33i01.33017562","pdf_url":null,"source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.6600000262260437,"display_name":"Sustainable cities and communities","id":"https://metadata.un.org/sdg/11"}],"awards":[{"id":"https://openalex.org/G1310364235","display_name":null,"funder_award_id":"EP/P008410/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G1982569897","display_name":"EUROPEAN ROBOTIC GOAL-ORIENTED AUTONOMOUS CONTROLLER","funder_award_id":"730086","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G2494345905","display_name":"AI Planning with Continuous Non-Linear Change","funder_award_id":"EP/P008410/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G5433009998","display_name":null,"funder_award_id":"4000117648/16/NL/GLC/fk","funder_id":"https://openalex.org/F4320318240","funder_display_name":"European Space Agency"},{"id":"https://openalex.org/G7842005466","display_name":null,"funder_award_id":"Horizon 2020","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320318240","display_name":"European Space Agency","ror":"https://ror.org/03wd9za21"},{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320326262","display_name":"Ministerio de Asuntos Econ\u00f3micos y Transformaci\u00f3n Digital, Gobierno de Espa\u00f1a","ror":"https://ror.org/03sv46s19"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W14006695","https://openalex.org/W346395726","https://openalex.org/W1484484613","https://openalex.org/W1576588061","https://openalex.org/W1592147779","https://openalex.org/W1978892650","https://openalex.org/W1989914740","https://openalex.org/W2019676054","https://openalex.org/W2104777819","https://openalex.org/W2119709400","https://openalex.org/W2130182605","https://openalex.org/W2148900824","https://openalex.org/W2161484642","https://openalex.org/W2517828448","https://openalex.org/W2559882992","https://openalex.org/W2574264966","https://openalex.org/W2737699254","https://openalex.org/W2759878695","https://openalex.org/W6628897293","https://openalex.org/W6631451553","https://openalex.org/W6675714499","https://openalex.org/W6679293786","https://openalex.org/W6681974121","https://openalex.org/W7036853610"],"related_works":["https://openalex.org/W1858249912","https://openalex.org/W2114034199","https://openalex.org/W2317428717","https://openalex.org/W2734259032","https://openalex.org/W3179717505","https://openalex.org/W1518172465","https://openalex.org/W2404120848","https://openalex.org/W2249925416","https://openalex.org/W63220061","https://openalex.org/W2109572792"],"abstract_inverted_index":{"In":[0],"this":[1,133],"paper":[2],"we":[3],"present":[4,107],"techniques":[5],"for":[6],"reasoning":[7,31],"natively":[8,70],"with":[9,32,71,116],"quantitative/qualitative":[10],"interval":[11,73],"constraints":[12,91],"in":[13,22,27,34,52,132],"statebased":[14],"PDDL":[15,35,49,85,96,130],"planners.":[16],"While":[17],"these":[18,33],"are":[19],"considered":[20],"important":[21],"modeling":[23],"and":[24,92],"solving":[25],"problems":[26],"timeline":[28,118],"based":[29,119],"planners;":[30],"planners":[36,50,131],"has":[37],"seen":[38],"relatively":[39],"little":[40],"attention,":[41],"yet":[42],"is":[43,62,114],"a":[44,93,117,122],"crucial":[45],"step":[46],"towards":[47],"making":[48],"applicable":[51],"real-world":[53],"scenarios,":[54],"such":[55],"as":[56],"space":[57],"missions.":[58],"Our":[59],"main":[60],"contribution":[61],"to":[63,68,95,106],"extend":[64],"the":[65,83,127],"planner":[66,86,120],"OPTIC":[67],"reason":[69],"Allen":[72],"constraints.":[74],"We":[75,103],"show":[76],"that":[77,111],"our":[78,112],"approach":[79,113],"outperforms":[80],"both":[81],"MTP,":[82],"only":[84],"capable":[87],"of":[88,101,129],"handling":[89],"similar":[90],"compilation":[94],"2.1,":[97],"by":[98],"an":[99],"order":[100],"magnitude.":[102],"go":[104],"on":[105,121],"initial":[108],"results":[109],"indicating":[110],"competitive":[115],"Mars":[123],"rover":[124],"domain,":[125],"showing":[126],"potential":[128],"setting.":[134]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-06-20T22:02:38.213706","created_date":"2025-10-10T00:00:00"}