{"id":"https://openalex.org/W2120848913","doi":"https://doi.org/10.1145/1459010.1459015","title":"Reasoning about actions with sensing under qualitative and probabilistic uncertainty","display_name":"Reasoning about actions with sensing under qualitative and probabilistic uncertainty","publication_year":2009,"publication_date":"2009-01-01","ids":{"openalex":"https://openalex.org/W2120848913","doi":"https://doi.org/10.1145/1459010.1459015","mag":"2120848913"},"language":"en","primary_location":{"id":"doi:10.1145/1459010.1459015","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1459010.1459015","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computational Logic","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/A5026692089","display_name":"Luca Iocchi","orcid":"https://orcid.org/0000-0001-9057-8946"},"institutions":[{"id":"https://openalex.org/I861853513","display_name":"Sapienza University of Rome","ror":"https://ror.org/02be6w209","country_code":"IT","type":"education","lineage":["https://openalex.org/I861853513"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Luca Iocchi","raw_affiliation_strings":["Sapienza Universit\u00e0 di Roma, Rome, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Sapienza Universit\u00e0 di Roma, Rome, Italy","institution_ids":["https://openalex.org/I861853513"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091549352","display_name":"Thomas Lukasiewicz","orcid":"https://orcid.org/0000-0002-7644-1668"},"institutions":[{"id":"https://openalex.org/I861853513","display_name":"Sapienza University of Rome","ror":"https://ror.org/02be6w209","country_code":"IT","type":"education","lineage":["https://openalex.org/I861853513"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Thomas Lukasiewicz","raw_affiliation_strings":["Sapienza Universit\u00e0 di Roma, Rome, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Sapienza Universit\u00e0 di Roma, Rome, Italy","institution_ids":["https://openalex.org/I861853513"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075651762","display_name":"Daniele Nardi","orcid":"https://orcid.org/0000-0001-6606-200X"},"institutions":[{"id":"https://openalex.org/I861853513","display_name":"Sapienza University of Rome","ror":"https://ror.org/02be6w209","country_code":"IT","type":"education","lineage":["https://openalex.org/I861853513"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Daniele Nardi","raw_affiliation_strings":["Sapienza Universit\u00e0 di Roma, Rome, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Sapienza Universit\u00e0 di Roma, Rome, Italy","institution_ids":["https://openalex.org/I861853513"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008845293","display_name":"Riccardo Rosati","orcid":"https://orcid.org/0000-0002-7697-4958"},"institutions":[{"id":"https://openalex.org/I861853513","display_name":"Sapienza University of Rome","ror":"https://ror.org/02be6w209","country_code":"IT","type":"education","lineage":["https://openalex.org/I861853513"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Riccardo Rosati","raw_affiliation_strings":["Sapienza Universit\u00e0 di Roma, Rome, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Sapienza Universit\u00e0 di Roma, Rome, Italy","institution_ids":["https://openalex.org/I861853513"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I861853513"],"apc_list":null,"apc_paid":null,"fwci":1.7765,"has_fulltext":false,"cited_by_count":32,"citation_normalized_percentile":{"value":0.87687418,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"10","issue":"1","first_page":"1","last_page":"41"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9998000264167786,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9998000264167786,"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.9998000264167786,"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.9980999827384949,"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/probabilistic-logic","display_name":"Probabilistic logic","score":0.7916955947875977},{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.7599369883537292},{"id":"https://openalex.org/keywords/probabilistic-argumentation","display_name":"Probabilistic argumentation","score":0.5994299650192261},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5244484543800354},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5016367435455322},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.493687242269516},{"id":"https://openalex.org/keywords/qualitative-reasoning","display_name":"Qualitative reasoning","score":0.41325467824935913},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4023308753967285},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3974692225456238},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10222223401069641}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.7916955947875977},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.7599369883537292},{"id":"https://openalex.org/C128828806","wikidata":"https://www.wikidata.org/wiki/Q7246848","display_name":"Probabilistic argumentation","level":3,"score":0.5994299650192261},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5244484543800354},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5016367435455322},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.493687242269516},{"id":"https://openalex.org/C83725634","wikidata":"https://www.wikidata.org/wiki/Q7268699","display_name":"Qualitative reasoning","level":2,"score":0.41325467824935913},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4023308753967285},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3974692225456238},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10222223401069641}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/1459010.1459015","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1459010.1459015","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computational Logic","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.68.6966","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.68.6966","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.kr.tuwien.ac.at/staff/lukasiew/rr0305.pdf","raw_type":"text"},{"id":"pmh:oai:iris.uniroma1.it:11573/228407","is_oa":false,"landing_page_url":"http://hdl.handle.net/11573/228407","pdf_url":null,"source":{"id":"https://openalex.org/S4377196107","display_name":"IRIS Research product catalog (Sapienza University of Rome)","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":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6029029825","display_name":null,"funder_award_id":"HPMF-CT-2001-001286","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8658568312","display_name":null,"funder_award_id":"P18146-N04Z29-N04","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":59,"referenced_works":["https://openalex.org/W11793264","https://openalex.org/W124331494","https://openalex.org/W125132237","https://openalex.org/W131580843","https://openalex.org/W152120648","https://openalex.org/W177913229","https://openalex.org/W179875050","https://openalex.org/W181520609","https://openalex.org/W1206947482","https://openalex.org/W1482555259","https://openalex.org/W1487060125","https://openalex.org/W1500272728","https://openalex.org/W1524041939","https://openalex.org/W1552562496","https://openalex.org/W1567249951","https://openalex.org/W1584298272","https://openalex.org/W1591758264","https://openalex.org/W1595732048","https://openalex.org/W1598502461","https://openalex.org/W1691564963","https://openalex.org/W1692620746","https://openalex.org/W1763840458","https://openalex.org/W1800916125","https://openalex.org/W1803241704","https://openalex.org/W1865453863","https://openalex.org/W1966626765","https://openalex.org/W1975264039","https://openalex.org/W1977070092","https://openalex.org/W1987080413","https://openalex.org/W1989537618","https://openalex.org/W1990890881","https://openalex.org/W1993512664","https://openalex.org/W2009810952","https://openalex.org/W2022716165","https://openalex.org/W2034442203","https://openalex.org/W2038809129","https://openalex.org/W2059360847","https://openalex.org/W2064134784","https://openalex.org/W2067887313","https://openalex.org/W2068512292","https://openalex.org/W2072046078","https://openalex.org/W2084943080","https://openalex.org/W2119567691","https://openalex.org/W2130563808","https://openalex.org/W2144022172","https://openalex.org/W2148242633","https://openalex.org/W2161979183","https://openalex.org/W2166135307","https://openalex.org/W2168359464","https://openalex.org/W2334782222","https://openalex.org/W2561675875","https://openalex.org/W2569901565","https://openalex.org/W2591957553","https://openalex.org/W2615497679","https://openalex.org/W4285719527","https://openalex.org/W6607146963","https://openalex.org/W6638140688","https://openalex.org/W6681803887","https://openalex.org/W7001894244"],"related_works":["https://openalex.org/W4294533825","https://openalex.org/W2278329956","https://openalex.org/W2995415950","https://openalex.org/W4362598739","https://openalex.org/W4378221898","https://openalex.org/W3206245021","https://openalex.org/W1996880246","https://openalex.org/W3149394920","https://openalex.org/W1597181838","https://openalex.org/W2950416039"],"abstract_inverted_index":{"We":[0,16,76,127,187,211,279],"focus":[1],"on":[2,34],"the":[3,19,35,62,79,130,138,169,189,234,239,257],"aspect":[4],"of":[5,52,99,118,132,141,147,159,171,191,259,284],"sensing":[6,89],"in":[7,66,71,115,209,219,237,263,276,287,295],"reasoning":[8,24,85,179],"about":[9,25,86,180],"actions":[10,26,87,102,181],"under":[11,90,182,197],"qualitative":[12,91,183,198],"and":[13,42,73,92,105,108,121,150,153,175,184,193,199,202,228,253],"probabilistic":[14,93,106,122,151,185,200],"uncertainty.":[15,186],"first":[17,223],"define":[18,129],"action":[20,80],"language":[21,81],"E":[22,67,82,100],"for":[23,84,178,216,233],"with":[27,88,103],"sensing,":[28],"which":[29,43,95,109,136,154,238,291],"has":[30],"a":[31,46,50,112,116,133,145,157,172,251,288],"semantics":[32,48,114],"based":[33],"autoepistemic":[36],"description":[37],"logic":[38],"ALCK":[39],"NF":[40],",":[41],"is":[44,96,110,225,230,250],"given":[45,111],"formal":[47,113],"via":[49],"system":[51,117],"deterministic":[53],"transitions":[54,123,241],"between":[55,124,242],"epistemic":[56,125,243],"states.":[57,126],"As":[58],"an":[59,97,142,282],"important":[60],"feature,":[61],"main":[63],"computational":[64],"tasks":[65],"can":[68],"be":[69],"done":[70],"linear":[72],"quadratic":[74],"time.":[75,278],"then":[77,167,212],"introduce":[78,168],"+":[83],"uncertainty,":[94,201],"extension":[98],"by":[101],"nondeterministic":[104],"effects,":[107],"deterministic,":[119,148],"nondeterministic,":[120,149],"also":[128,231,280],"notion":[131,170],"belief":[134,139,164],"graph,":[135],"represents":[137,156],"state":[140],"agent":[143],"after":[144],"sequence":[146],"actions,":[152],"compactly":[155],"set":[158],"unnormalized":[160],"probability":[161],"distributions.":[162],"Using":[163],"graphs,":[165],"we":[166],"conditional":[173,195,217,261,274],"plan":[174,275],"its":[176,293],"goodness":[177],"formulate":[188],"problems":[190],"optimal":[192,272],"threshold":[194],"planning":[196,218,262],"show":[203],"that":[204],"they":[205],"are":[206,245],"both":[207],"uncomputable":[208],"general.":[210],"give":[213],"two":[214],"algorithms":[215],"our":[220,264,285],"framework.":[221,265],"The":[222,247],"one":[224],"always":[226],"sound,":[227],"it":[229,269],"complete":[232,254],"special":[235],"case":[236],"relevant":[240],"states":[244],"cycle-free.":[246],"second":[248],"algorithm":[249],"sound":[252],"solution":[255],"to":[256],"problem":[258],"finite-horizon":[260,273],"Under":[266],"suitable":[267],"assumptions,":[268],"computes":[270],"every":[271],"polynomial":[277],"describe":[281],"application":[283],"formalism":[286],"robotic-soccer":[289],"scenario,":[290],"underlines":[292],"usefulness":[294],"realistic":[296],"applications.":[297]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":5},{"year":2014,"cited_by_count":5},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}