{"id":"https://openalex.org/W1977644491","doi":"https://doi.org/10.2168/lmcs-2(3:5)2006","title":"Efficient Open World Reasoning for Planning","display_name":"Efficient Open World Reasoning for Planning","publication_year":2006,"publication_date":"2006-09-26","ids":{"openalex":"https://openalex.org/W1977644491","doi":"https://doi.org/10.2168/lmcs-2(3:5)2006","mag":"1977644491"},"language":"en","primary_location":{"id":"doi:10.2168/lmcs-2(3:5)2006","is_oa":true,"landing_page_url":"https://doi.org/10.2168/lmcs-2(3:5)2006","pdf_url":"https://lmcs.episciences.org/2247/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/2247/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Tamara Babaian","orcid":null},"institutions":[{"id":"https://openalex.org/I139924743","display_name":"Bentley University","ror":"https://ror.org/01px48m89","country_code":"US","type":"education","lineage":["https://openalex.org/I139924743"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Tamara Babaian","raw_affiliation_strings":["Department of Computer Information Systems, Bentley College, Waltham, MA 02452 USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Information Systems, Bentley College, Waltham, MA 02452 USA","institution_ids":["https://openalex.org/I139924743"]}]},{"author_position":"last","author":{"id":null,"display_name":"James G. Schmolze","orcid":null},"institutions":[{"id":"https://openalex.org/I121934306","display_name":"Tufts University","ror":"https://ror.org/05wvpxv85","country_code":"US","type":"education","lineage":["https://openalex.org/I121934306"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"James G. Schmolze","raw_affiliation_strings":["Department of Computer Science, Tufts University, Medford, MA 02155 USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Tufts University, Medford, MA 02155 USA","institution_ids":["https://openalex.org/I121934306"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I139924743"],"apc_list":null,"apc_paid":null,"fwci":0.4688,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.72955674,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"Volume 2, Issue 3","issue":null,"first_page":null,"last_page":null},"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.9361000061035156,"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.9361000061035156,"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.0357000008225441,"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/T11574","display_name":"Artificial Intelligence in Games","score":0.004600000102072954,"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/automated-planning-and-scheduling","display_name":"Automated planning and scheduling","score":0.6970999836921692},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.6578999757766724},{"id":"https://openalex.org/keywords/lisp","display_name":"Lisp","score":0.5899999737739563},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5307999849319458},{"id":"https://openalex.org/keywords/planner","display_name":"Planner","score":0.5202000141143799},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5102999806404114},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4984999895095825},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4544999897480011}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7339000105857849},{"id":"https://openalex.org/C114073186","wikidata":"https://www.wikidata.org/wiki/Q2631895","display_name":"Automated planning and scheduling","level":2,"score":0.6970999836921692},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.6578999757766724},{"id":"https://openalex.org/C190883126","wikidata":"https://www.wikidata.org/wiki/Q132874","display_name":"Lisp","level":2,"score":0.5899999737739563},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5307999849319458},{"id":"https://openalex.org/C2776999362","wikidata":"https://www.wikidata.org/wiki/Q2349274","display_name":"Planner","level":2,"score":0.5202000141143799},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5102999806404114},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4984999895095825},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.48559999465942383},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.461899995803833},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4544999897480011},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.40610000491142273},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.3831000030040741},{"id":"https://openalex.org/C207685749","wikidata":"https://www.wikidata.org/wiki/Q2088941","display_name":"Domain knowledge","level":2,"score":0.3736000061035156},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.3400999903678894},{"id":"https://openalex.org/C2779353305","wikidata":"https://www.wikidata.org/wiki/Q849146","display_name":"Common Lisp","level":3,"score":0.3109999895095825},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.30979999899864197},{"id":"https://openalex.org/C129916263","wikidata":"https://www.wikidata.org/wiki/Q1141183","display_name":"Backward chaining","level":4,"score":0.3018999993801117},{"id":"https://openalex.org/C115925183","wikidata":"https://www.wikidata.org/wiki/Q1412694","display_name":"Knowledge-based systems","level":2,"score":0.2957000136375427},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.29109999537467957},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.2685999870300293},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.2606000006198883},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.25769999623298645}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.2168/lmcs-2(3:5)2006","is_oa":true,"landing_page_url":"https://doi.org/10.2168/lmcs-2(3:5)2006","pdf_url":"https://lmcs.episciences.org/2247/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:cs/0601032","is_oa":true,"landing_page_url":"http://arxiv.org/abs/cs/0601032","pdf_url":"https://arxiv.org/pdf/cs/0601032","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:doaj.org/article:79033cc2506b4028a4db9937b4ed2619","is_oa":true,"landing_page_url":"https://doaj.org/article/79033cc2506b4028a4db9937b4ed2619","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 2, Issue 3 (2006)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.2168/lmcs-2(3:5)2006","is_oa":true,"landing_page_url":"https://doi.org/10.2168/lmcs-2(3:5)2006","pdf_url":"https://lmcs.episciences.org/2247/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1977644491.pdf","grobid_xml":"https://content.openalex.org/works/W1977644491.grobid-xml"},"referenced_works_count":34,"referenced_works":["https://openalex.org/W10790791","https://openalex.org/W36235450","https://openalex.org/W70402205","https://openalex.org/W72511744","https://openalex.org/W130404319","https://openalex.org/W175258934","https://openalex.org/W185711556","https://openalex.org/W1483193848","https://openalex.org/W1515684991","https://openalex.org/W1541623506","https://openalex.org/W1748530542","https://openalex.org/W1769188712","https://openalex.org/W2012545876","https://openalex.org/W2045474169","https://openalex.org/W2101757655","https://openalex.org/W2111428077","https://openalex.org/W2115670157","https://openalex.org/W2148910835","https://openalex.org/W2155206435","https://openalex.org/W3092185015","https://openalex.org/W6601420028","https://openalex.org/W6608825860","https://openalex.org/W6627972307","https://openalex.org/W6629605999","https://openalex.org/W6630768239","https://openalex.org/W6633151684","https://openalex.org/W6636753890","https://openalex.org/W6637613960","https://openalex.org/W6638229818","https://openalex.org/W6638370688","https://openalex.org/W6679258220","https://openalex.org/W6684678821","https://openalex.org/W6684726409","https://openalex.org/W6758567195"],"related_works":[],"abstract_inverted_index":{"We":[0,14,52],"consider":[1],"the":[2,42,81,89,109],"problem":[3],"of":[4,27,44,83,103],"reasoning":[5],"and":[6,11,36,70,139],"planning":[7,95,111,145],"with":[8,96,117],"incomplete":[9],"knowledge":[10,17,30,90],"deterministic":[12],"actions.":[13],"introduce":[15],"a":[16,54,93,147],"representation":[18,107],"scheme":[19],"called":[20],"PSIPLAN":[21,65,97,106,132],"that":[22,66,113,121],"can":[23],"effectively":[24],"represent":[25],"incompleteness":[26],"an":[28,62,142],"agent's":[29],"while":[31],"allowing":[32],"for":[33,56],"sound,":[34],"complete":[35,69],"tractable":[37],"entailment":[38],"in":[39,64,136,141,146],"domains":[40],"where":[41],"set":[43,82],"all":[45,84],"objects":[46],"is":[47,67,77,98],"either":[48],"unknown":[49],"or":[50,118],"infinite.":[51],"present":[53],"procedure":[55],"state":[57],"update":[58,76],"resulting":[59],"from":[60],"taking":[61],"action":[63],"correct,":[68],"has":[71,127,133],"only":[72],"polynomial":[73],"complexity.":[74],"State":[75],"performed":[78],"without":[79,100,119],"considering":[80],"possible":[85,104],"worlds":[86],"corresponding":[87],"to":[88,130],"state.":[91],"As":[92],"result,":[94],"done":[99],"direct":[101],"manipulation":[102],"worlds.":[105],"underlies":[108],"PSIPOP":[110],"algorithm":[112],"handles":[114],"quantified":[115],"goals":[116],"exceptions":[120],"no":[122],"other":[123],"domain":[124],"independent":[125],"planner":[126],"been":[128,134],"shown":[129],"achieve.":[131],"implemented":[135],"Common":[137],"Lisp":[138],"used":[140],"application":[143],"on":[144],"collaborative":[148],"interface.":[149]},"counts_by_year":[],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2016-06-24T00:00:00"}