{"id":"https://openalex.org/W1987742978","doi":"https://doi.org/10.1017/s1471068406002948","title":"Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming","display_name":"Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming","publication_year":2007,"publication_date":"2007-06-19","ids":{"openalex":"https://openalex.org/W1987742978","doi":"https://doi.org/10.1017/s1471068406002948","mag":"1987742978"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068406002948","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068406002948","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"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/A5039040712","display_name":"Phan Huy Tu","orcid":null},"institutions":[{"id":"https://openalex.org/I10052268","display_name":"New Mexico State University","ror":"https://ror.org/00hpz7z43","country_code":"US","type":"education","lineage":["https://openalex.org/I10052268"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"PHAN HUY TU","raw_affiliation_strings":["Department of Computer Science, New Mexico State University, PO Box 30001, MSC CS, Las Cruces, NM 88003, USA (e-mail:","Department of Computer Science, New Mexico State University, PO Box 30001, MSC CS, Las Cruces, NM 88003, USA (e-mail: tphan@cs.nmsu.edu, tson@cs.nmsu.edu)#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, New Mexico State University, PO Box 30001, MSC CS, Las Cruces, NM 88003, USA (e-mail:","institution_ids":["https://openalex.org/I10052268"]},{"raw_affiliation_string":"Department of Computer Science, New Mexico State University, PO Box 30001, MSC CS, Las Cruces, NM 88003, USA (e-mail: tphan@cs.nmsu.edu, tson@cs.nmsu.edu)#TAB#","institution_ids":["https://openalex.org/I10052268"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063459912","display_name":"Tran Cao Son","orcid":"https://orcid.org/0000-0003-3689-8433"},"institutions":[{"id":"https://openalex.org/I10052268","display_name":"New Mexico State University","ror":"https://ror.org/00hpz7z43","country_code":"US","type":"education","lineage":["https://openalex.org/I10052268"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"TRAN CAO SON","raw_affiliation_strings":["Department of Computer Science, New Mexico State University, PO Box 30001, MSC CS, Las Cruces, NM 88003, USA (e-mail:","Department of Computer Science, New Mexico State University, PO Box 30001, MSC CS, Las Cruces, NM 88003, USA (e-mail: tphan@cs.nmsu.edu, tson@cs.nmsu.edu)#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, New Mexico State University, PO Box 30001, MSC CS, Las Cruces, NM 88003, USA (e-mail:","institution_ids":["https://openalex.org/I10052268"]},{"raw_affiliation_string":"Department of Computer Science, New Mexico State University, PO Box 30001, MSC CS, Las Cruces, NM 88003, USA (e-mail: tphan@cs.nmsu.edu, tson@cs.nmsu.edu)#TAB#","institution_ids":["https://openalex.org/I10052268"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5083735830","display_name":"Chitta Baral","orcid":"https://orcid.org/0000-0002-7549-723X"},"institutions":[{"id":"https://openalex.org/I55732556","display_name":"Arizona State University","ror":"https://ror.org/03efmqc40","country_code":"US","type":"education","lineage":["https://openalex.org/I55732556"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"CHITTA BARAL","raw_affiliation_strings":["Department of Computer Science and Engineering, Arizona State University, Tempe, AZ 85287, USA (e-mail:","Department of Computer Science & Engineering, Arizona State University, Tempe, AZ 85287, USA (e-mail: [email\u00a0protected])#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Arizona State University, Tempe, AZ 85287, USA (e-mail:","institution_ids":["https://openalex.org/I55732556"]},{"raw_affiliation_string":"Department of Computer Science & Engineering, Arizona State University, Tempe, AZ 85287, USA (e-mail: [email\u00a0protected])#TAB#","institution_ids":["https://openalex.org/I55732556"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":3550,"currency":"USD","value_usd":3550},"apc_paid":null,"fwci":8.9412,"has_fulltext":false,"cited_by_count":49,"citation_normalized_percentile":{"value":0.97359919,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"7","issue":"4","first_page":"377","last_page":"450"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"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.9998999834060669,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","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.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.8132821321487427},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.7603211402893066},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.759087324142456},{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer set programming","score":0.6944184303283691},{"id":"https://openalex.org/keywords/planner","display_name":"Planner","score":0.6838486790657043},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6134545803070068},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6053439378738403},{"id":"https://openalex.org/keywords/complete-information","display_name":"Complete information","score":0.5423312187194824},{"id":"https://openalex.org/keywords/action","display_name":"Action (physics)","score":0.5222581028938293},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4446474313735962},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4311717748641968},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2839401960372925},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.25997769832611084},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.25263315439224243},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.23135313391685486},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.16004452109336853}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8132821321487427},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.7603211402893066},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.759087324142456},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.6944184303283691},{"id":"https://openalex.org/C2776999362","wikidata":"https://www.wikidata.org/wiki/Q2349274","display_name":"Planner","level":2,"score":0.6838486790657043},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6134545803070068},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6053439378738403},{"id":"https://openalex.org/C113336015","wikidata":"https://www.wikidata.org/wiki/Q574010","display_name":"Complete information","level":2,"score":0.5423312187194824},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.5222581028938293},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4446474313735962},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4311717748641968},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2839401960372925},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.25997769832611084},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.25263315439224243},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23135313391685486},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.16004452109336853},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1017/s1471068406002948","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068406002948","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.219.6065","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.219.6065","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.nmsu.edu/~tson/papers/ascp.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.342.1958","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.1958","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://arxiv.org/pdf/cs/0605017v1.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/11","score":0.4000000059604645,"display_name":"Sustainable cities and communities"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":61,"referenced_works":["https://openalex.org/W18493798","https://openalex.org/W48347304","https://openalex.org/W70402205","https://openalex.org/W107281026","https://openalex.org/W148570748","https://openalex.org/W185711556","https://openalex.org/W282332411","https://openalex.org/W299005153","https://openalex.org/W1206947482","https://openalex.org/W1481719343","https://openalex.org/W1482555259","https://openalex.org/W1482748162","https://openalex.org/W1498731127","https://openalex.org/W1511336005","https://openalex.org/W1532918855","https://openalex.org/W1545688112","https://openalex.org/W1551698655","https://openalex.org/W1556550027","https://openalex.org/W1606891084","https://openalex.org/W1639901403","https://openalex.org/W1647879466","https://openalex.org/W1663140555","https://openalex.org/W1672891595","https://openalex.org/W1709781114","https://openalex.org/W1778687791","https://openalex.org/W1864286575","https://openalex.org/W1986006371","https://openalex.org/W1987080413","https://openalex.org/W1992992996","https://openalex.org/W1993512664","https://openalex.org/W1994226409","https://openalex.org/W1998668381","https://openalex.org/W2005465900","https://openalex.org/W2009810952","https://openalex.org/W2011124182","https://openalex.org/W2017128525","https://openalex.org/W2025460523","https://openalex.org/W2036900631","https://openalex.org/W2057064551","https://openalex.org/W2070368455","https://openalex.org/W2092211394","https://openalex.org/W2106768975","https://openalex.org/W2115670157","https://openalex.org/W2121375212","https://openalex.org/W2121898615","https://openalex.org/W2128888217","https://openalex.org/W2135989067","https://openalex.org/W2141740710","https://openalex.org/W2152131859","https://openalex.org/W2153306470","https://openalex.org/W2154595228","https://openalex.org/W2155206435","https://openalex.org/W2166971042","https://openalex.org/W2531563875","https://openalex.org/W2768634154","https://openalex.org/W2911829174","https://openalex.org/W2913288853","https://openalex.org/W3098378096","https://openalex.org/W3103056503","https://openalex.org/W4285719527","https://openalex.org/W6678481539"],"related_works":["https://openalex.org/W1511249877","https://openalex.org/W2466303427","https://openalex.org/W1578828174","https://openalex.org/W2000943029","https://openalex.org/W2950376466","https://openalex.org/W4302559785","https://openalex.org/W4226437312","https://openalex.org/W105096254","https://openalex.org/W3105980699","https://openalex.org/W2971772722"],"abstract_inverted_index":{"Abstract":[0],"We":[1,34,48,87],"extend":[2],"the":[3,30,38,72,80,89,106],"0-approximation":[4],"of":[5,63,74,91],"sensing":[6,75],"actions":[7],"and":[8,13,23,68,83,94,101],"incomplete":[9,77],"information":[10,78],"in":[11,71],"Son":[12],"Baral":[14],"(2001)":[15],"to":[16,29,44,105,116],"action":[17],"theories":[18],"with":[19,27,42,103],"static":[20,84],"causal":[21,85],"laws":[22],"prove":[24,88],"its":[25],"soundness":[26],"respect":[28,43,104],"possible":[31],"world":[32],"semantics.":[33],"also":[35],"show":[36],"that":[37,60,96],"conditional":[39,56,69],"planning":[40],"problem":[41],"this":[45],"approximation":[46],"isNP-complete.":[47],"then":[49],"present":[50,111],"an":[51],"answer":[52],"set":[53],"programming":[54],"based":[55],"planner,":[57],"called":[58],"ASCP,":[59],"is":[61,99],"capable":[62],"generating":[64],"both":[65],"conformant":[66],"plans":[67,70],"presence":[73],"actions,":[76],"about":[79],"initial":[81],"state,":[82],"laws.":[86],"correctness":[90],"our":[92,97],"implementation":[93],"argue":[95],"planner":[98],"sound":[100],"complete":[102],"proposed":[107],"approximation.":[108],"Finally,":[109],"we":[110],"experimental":[112],"results":[113],"comparing":[114],"ASCP":[115],"other":[117],"planners.":[118]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":5},{"year":2012,"cited_by_count":3}],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2025-10-10T00:00:00"}