{"id":"https://openalex.org/W1574220574","doi":"https://doi.org/10.5591/978-1-57735-516-8/ijcai11-439","title":"A correctness result for reasoning about one-dimensional planning problems","display_name":"A correctness result for reasoning about one-dimensional planning problems","publication_year":2010,"publication_date":"2010-05-09","ids":{"openalex":"https://openalex.org/W1574220574","doi":"https://doi.org/10.5591/978-1-57735-516-8/ijcai11-439","mag":"1574220574"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.208.4661","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.208.4661","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://ijcai.org/papers11/Papers/IJCAI11-439.pdf","raw_type":"text"},"type":"article","indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5113788480","display_name":"Yuxiao Hu","orcid":"https://orcid.org/0000-0002-1557-3288"},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Yuxiao Hu","raw_affiliation_strings":["DEPARTMENT OF COMPUTER SCIENCE, UNIVERSITY OF TORONTO, TORONTO, ONTARIO, CANADA","Department of Computer Science University of Toronto  Toronto Ontario Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DEPARTMENT OF COMPUTER SCIENCE, UNIVERSITY OF TORONTO, TORONTO, ONTARIO, CANADA","institution_ids":[]},{"raw_affiliation_string":"Department of Computer Science University of Toronto  Toronto Ontario Canada","institution_ids":["https://openalex.org/I185261750"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025681351","display_name":"Hector J. Levesque","orcid":null},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Hector J. Levesque","raw_affiliation_strings":["DEPARTMENT OF COMPUTER SCIENCE, UNIVERSITY OF TORONTO, TORONTO, ONTARIO, CANADA","Department of Computer Science University of Toronto  Toronto Ontario Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DEPARTMENT OF COMPUTER SCIENCE, UNIVERSITY OF TORONTO, TORONTO, ONTARIO, CANADA","institution_ids":[]},{"raw_affiliation_string":"Department of Computer Science University of Toronto  Toronto Ontario Canada","institution_ids":["https://openalex.org/I185261750"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.8646,"has_fulltext":false,"cited_by_count":20,"citation_normalized_percentile":{"value":0.86789668,"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":"2638","last_page":"2643"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","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"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9991999864578247,"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.9973999857902527,"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/correctness","display_name":"Correctness","score":0.9254029989242554},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6710380911827087},{"id":"https://openalex.org/keywords/plan","display_name":"Plan (archaeology)","score":0.6380711793899536},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5847070813179016},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5441040992736816},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.541959285736084},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5236901044845581},{"id":"https://openalex.org/keywords/planner","display_name":"Planner","score":0.5216577053070068},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4476340711116791},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.33824872970581055},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2525140047073364},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.23901650309562683},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.21077805757522583}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.9254029989242554},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6710380911827087},{"id":"https://openalex.org/C2776505523","wikidata":"https://www.wikidata.org/wiki/Q4785468","display_name":"Plan (archaeology)","level":2,"score":0.6380711793899536},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5847070813179016},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5441040992736816},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.541959285736084},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5236901044845581},{"id":"https://openalex.org/C2776999362","wikidata":"https://www.wikidata.org/wiki/Q2349274","display_name":"Planner","level":2,"score":0.5216577053070068},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4476340711116791},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.33824872970581055},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2525140047073364},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.23901650309562683},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.21077805757522583},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"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/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.208.4661","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.208.4661","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://ijcai.org/papers11/Papers/IJCAI11-439.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.298.3516","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.298.3516","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.toronto.edu/~hector/Papers/1d.pdf","raw_type":"text"},{"id":"mag:1574220574","is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/kr/kr2010.html#HuL10","pdf_url":null,"source":{"id":"https://openalex.org/S4306420732","display_name":"Principles of Knowledge Representation and Reasoning","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":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"Principles of Knowledge Representation and Reasoning","raw_type":null},{"id":"mag:2277737930","is_oa":false,"landing_page_url":"http://ijcai.org/papers11/Papers/IJCAI11-439.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306419999","display_name":"International Joint Conference on Artificial Intelligence","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":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"International Joint Conference on Artificial Intelligence","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7599999904632568,"id":"https://metadata.un.org/sdg/11","display_name":"Sustainable cities and communities"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W105409620","https://openalex.org/W113562579","https://openalex.org/W193597327","https://openalex.org/W1528049422","https://openalex.org/W1977297044","https://openalex.org/W1993512664","https://openalex.org/W2022716165","https://openalex.org/W2038809129","https://openalex.org/W2070368455","https://openalex.org/W2085177759","https://openalex.org/W2125730223","https://openalex.org/W2128888217","https://openalex.org/W2138162238","https://openalex.org/W2152219832","https://openalex.org/W2169173532","https://openalex.org/W2913459036"],"related_works":["https://openalex.org/W2277737930","https://openalex.org/W1528049422","https://openalex.org/W105409620","https://openalex.org/W2272999419","https://openalex.org/W1586578029","https://openalex.org/W3103056503","https://openalex.org/W2610455912","https://openalex.org/W1755598144","https://openalex.org/W114719569","https://openalex.org/W2063286137","https://openalex.org/W2893235237","https://openalex.org/W3046141084","https://openalex.org/W1448684019","https://openalex.org/W2133521570","https://openalex.org/W1966503837","https://openalex.org/W2735416437","https://openalex.org/W1033764083","https://openalex.org/W1529897089","https://openalex.org/W905878330","https://openalex.org/W147625861"],"abstract_inverted_index":{"A":[0],"plan":[1,47,70],"with":[2,76],"rich":[3],"control":[4],"structures":[5],"like":[6],"branches":[7],"and":[8,36,100,129],"loops":[9],"can":[10,108],"usually":[11],"serve":[12],"as":[13],"a":[14,23,46,64,68,89,102,130],"general":[15],"solution":[16],"that":[17,105,116,124],"solves":[18],"multiple":[19],"planning":[20,93],"instances":[21,55],"in":[22,80],"domain.":[24],"However,":[25],"the":[26,52,57,81],"correctness":[27,103],"of":[28,51,56,67,91],"such":[29],"generalized":[30,69],"plans":[31,141],"is":[32],"non-trivial":[33],"to":[34,42,121],"define":[35],"verify,":[37],"especially":[38],"when":[39],"it":[40],"comes":[41],"whether":[43],"or":[44],"not":[45],"works":[48],"for":[49,142],"all":[50],"infinitely":[53],"many":[54],"problem.":[58],"In":[59],"this":[60,117,126,134],"paper,":[61],"we":[62,87,96],"give":[63],"precise":[65],"definition":[66],"representation":[71],"called":[72],"an":[73,122],"FSA":[74],"plan,":[75],"its":[77],"semantics":[78],"defined":[79],"situation":[82],"calculus.":[83],"Based":[84],"on":[85,133],"this,":[86],"identify":[88],"class":[90],"infinite":[92],"problems,":[94],"which":[95],"call":[97],"one-dimensional":[98],"(1d),":[99],"prove":[101],"result":[104,119],"1d":[106,143],"problems":[107],"be":[109],"verified":[110],"by":[111],"finite":[112],"means.":[113],"We":[114],"show":[115],"theoretical":[118],"leads":[120],"algorithm":[123,136],"does":[125],"verification":[127,135],"practically,":[128],"planner":[131],"based":[132],"efficiently":[137],"generates":[138],"provably":[139],"correct":[140],"problems.":[144]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}