{"id":"https://openalex.org/W3207585702","doi":"https://doi.org/10.24963/kr.2021/21","title":"The Nondeterministic Situation Calculus","display_name":"The Nondeterministic Situation Calculus","publication_year":2021,"publication_date":"2021-09-01","ids":{"openalex":"https://openalex.org/W3207585702","doi":"https://doi.org/10.24963/kr.2021/21","mag":"3207585702"},"language":"en","primary_location":{"id":"doi:10.24963/kr.2021/21","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2021/21","pdf_url":"https://proceedings.kr.org/2021/21/kr2021-0021-de-giacomo-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://proceedings.kr.org/2021/21/kr2021-0021-de-giacomo-et-al.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5013290512","display_name":"Giuseppe De Giacomo","orcid":"https://orcid.org/0000-0001-9680-7658"},"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":true,"raw_author_name":"Giuseppe De Giacomo","raw_affiliation_strings":["DIAG, Universit\u00e0 degli Studi di Roma \"La Sapienza\", Rome, Italy"],"affiliations":[{"raw_affiliation_string":"DIAG, Universit\u00e0 degli Studi di Roma \"La Sapienza\", Rome, Italy","institution_ids":["https://openalex.org/I861853513"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060460434","display_name":"Yves Lesp\u00e9rance","orcid":"https://orcid.org/0000-0003-1625-0226"},"institutions":[{"id":"https://openalex.org/I192455969","display_name":"York University","ror":"https://ror.org/05fq50484","country_code":"CA","type":"education","lineage":["https://openalex.org/I192455969"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Yves Lesp\u00e9rance","raw_affiliation_strings":["EECS, York University, Toronto, Canada"],"affiliations":[{"raw_affiliation_string":"EECS, York University, Toronto, Canada","institution_ids":["https://openalex.org/I192455969"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5013290512"],"corresponding_institution_ids":["https://openalex.org/I861853513"],"apc_list":null,"apc_paid":null,"fwci":0.6798,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.76134208,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"216","last_page":"226"},"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9976999759674072,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9962000250816345,"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/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.946465253829956},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7189575433731079},{"id":"https://openalex.org/keywords/situation-calculus","display_name":"Situation calculus","score":0.5724985003471375},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.4695715606212616},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.45784467458724976},{"id":"https://openalex.org/keywords/frame","display_name":"Frame (networking)","score":0.4532814621925354},{"id":"https://openalex.org/keywords/projection","display_name":"Projection (relational algebra)","score":0.4409612715244293},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.43196067214012146},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4005993604660034},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.311693400144577}],"concepts":[{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.946465253829956},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7189575433731079},{"id":"https://openalex.org/C22497172","wikidata":"https://www.wikidata.org/wiki/Q1559077","display_name":"Situation calculus","level":2,"score":0.5724985003471375},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.4695715606212616},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.45784467458724976},{"id":"https://openalex.org/C126042441","wikidata":"https://www.wikidata.org/wiki/Q1324888","display_name":"Frame (networking)","level":2,"score":0.4532814621925354},{"id":"https://openalex.org/C57493831","wikidata":"https://www.wikidata.org/wiki/Q3134666","display_name":"Projection (relational algebra)","level":2,"score":0.4409612715244293},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.43196067214012146},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4005993604660034},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.311693400144577},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.24963/kr.2021/21","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2021/21","pdf_url":"https://proceedings.kr.org/2021/21/kr2021-0021-de-giacomo-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},{"id":"pmh:oai:iris.uniroma1.it:11573/1627709","is_oa":true,"landing_page_url":"https://hdl.handle.net/11573/1627709","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"doi:10.24963/kr.2021/21","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2021/21","pdf_url":"https://proceedings.kr.org/2021/21/kr2021-0021-de-giacomo-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.44999998807907104,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3207585702.pdf","grobid_xml":"https://content.openalex.org/works/W3207585702.grobid-xml"},"referenced_works_count":40,"referenced_works":["https://openalex.org/W127117993","https://openalex.org/W127472339","https://openalex.org/W194658220","https://openalex.org/W1510238482","https://openalex.org/W1546528131","https://openalex.org/W1562347120","https://openalex.org/W1601612254","https://openalex.org/W1803499370","https://openalex.org/W1844138416","https://openalex.org/W1987411046","https://openalex.org/W2022716165","https://openalex.org/W2023741620","https://openalex.org/W2027368800","https://openalex.org/W2038809129","https://openalex.org/W2045474169","https://openalex.org/W2062205093","https://openalex.org/W2097704387","https://openalex.org/W2127972144","https://openalex.org/W2138162238","https://openalex.org/W2139630036","https://openalex.org/W2172135039","https://openalex.org/W2228999052","https://openalex.org/W2415711950","https://openalex.org/W2569901565","https://openalex.org/W2572958716","https://openalex.org/W2785422319","https://openalex.org/W2791893678","https://openalex.org/W2809927377","https://openalex.org/W2934382939","https://openalex.org/W2951752000","https://openalex.org/W2963485726","https://openalex.org/W2984636524","https://openalex.org/W2997195166","https://openalex.org/W3003472872","https://openalex.org/W3037219283","https://openalex.org/W3146075203","https://openalex.org/W3201107143","https://openalex.org/W4288956373","https://openalex.org/W4299591165","https://openalex.org/W4302049037"],"related_works":["https://openalex.org/W184826316","https://openalex.org/W3132573772","https://openalex.org/W1576777252","https://openalex.org/W2075768550","https://openalex.org/W3161879573","https://openalex.org/W2102187481","https://openalex.org/W3022218857","https://openalex.org/W3207585702","https://openalex.org/W4385764351","https://openalex.org/W4378509152"],"abstract_inverted_index":{"The":[0],"standard":[1,43,103],"situation":[2,44,104],"calculus":[3,45,105],"assumes":[4],"that":[5,66,73,82,106],"atomic":[6],"actions":[7,109],"are":[8,83],"deterministic.":[9],"But":[10,58],"many":[11],"domains":[12,141],"involve":[13],"nondeterministic":[14,22,51,108,140],"actions,":[15],"with":[16],"problems":[17],"such":[18],"as":[19,53],"fully":[20],"observable":[21],"(FOND)":[23],"planning":[24,131],"and":[25,56,80,110,118,132],"high-level":[26,136],"program":[27,137],"execution":[28,138],"requiring":[29],"solutions.":[30],"Various":[31],"approaches":[32,64],"have":[33],"been":[34],"proposed":[35],"to":[36,101,114],"accommodate":[37],"nondeterminism":[38],"on":[39],"top":[40],"of":[41,129],"the":[42,78,86,102,115],"language,":[46],"for":[47],"instance":[48],"by":[49,77,85],"introducing":[50],"programs":[52],"in":[54,62,139],"Golog":[55],"ConGolog.":[57],"a":[59,98,127],"key":[60],"problem":[61,117],"these":[63],"is":[65],"they":[67],"don\u2019t":[68],"clearly":[69],"distinguish":[70],"between":[71],"choices":[72,81],"can":[74,142],"be":[75,143],"made":[76,84],"agent":[79],"environment,":[87],"i.e.,":[88],"angelic":[89],"vs.":[90],"devilish":[91],"nondeterminism.":[92],"In":[93],"this":[94],"paper,":[95],"we":[96],"propose":[97],"simple":[99],"extension":[100],"accommodates":[107],"preserves":[111],"Reiter\u2019s":[112],"solution":[113],"frame":[116],"answering":[119],"projection":[120],"queries":[121],"through":[122],"regression.":[123],"We":[124],"also":[125],"provide":[126],"formalization":[128],"FOND":[130],"show":[133],"how":[134],"ConGolog":[135],"defined.":[144]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}