@InProceedings{vassos07progression,
  Title                    = {Progression of Situation Calculus Action Theories with Incomplete
Information},
  Author                   = {Vassos, Stavros and Levesque, Hector },
  Booktitle                = {Proceedings of the 20th International Joint Conference on
Artificial Intelligence},
  Year                     = {2007},

  Address                  = {Hyderabad, India},
  Editor                   = {Veloso, Manuela M. },
  Month                    = {January},
  Pages                    = {2024.2029},

  Abstract                 = { 
In this paper, we propose a new progression mechanism for a
restricted form of incomplete knowledge formulated as a basic
action theory in the situation calculus. Specifically, we focus
on functional fluents and deal directly with the possible values
these fluents may have and how these values are affected by both
physical and sensing actions. The method we propose is logically
complete and can be calculated efficiently using database
techniques under certain reasonable assumptions. },
  Area                     = {Cognitive Robotics},
  Citeulike-article-id     = {1923630},
  Keyword                  = {progression, reasoning about action, situation calculus, cognitive robotics},
  Keywords                 = {ai, progression, reasoning_about_action, situation_calculus},
  Timestamp                = {2018.09.23},
  Url                      = {vassos-levesque07progression.pdf}
}

{"_id":"t6sW56zbhSpYHXjTo","bibbaseid":"vassos-levesque-progressionofsituationcalculusactiontheorieswithincompleteinformation-2007","authorIDs":[],"author_short":["Vassos, S.","Levesque, H."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Progression of Situation Calculus Action Theories with Incomplete Information","author":[{"propositions":[],"lastnames":["Vassos"],"firstnames":["Stavros"],"suffixes":[]},{"propositions":[],"lastnames":["Levesque"],"firstnames":["Hector"],"suffixes":[]}],"booktitle":"Proceedings of the 20th International Joint Conference on Artificial Intelligence","year":"2007","address":"Hyderabad, India","editor":[{"propositions":[],"lastnames":["Veloso"],"firstnames":["Manuela","M."],"suffixes":[]}],"month":"January","pages":"2024.2029","abstract":"In this paper, we propose a new progression mechanism for a restricted form of incomplete knowledge formulated as a basic action theory in the situation calculus. Specifically, we focus on functional fluents and deal directly with the possible values these fluents may have and how these values are affected by both physical and sensing actions. The method we propose is logically complete and can be calculated efficiently using database techniques under certain reasonable assumptions. ","area":"Cognitive Robotics","citeulike-article-id":"1923630","keyword":["ai","progression","reasoning_about_action","situation_calculus"],"keywords":"ai, progression, reasoning_about_action, situation_calculus","timestamp":"2018.09.23","url":"vassos-levesque07progression.pdf","bibtex":"@InProceedings{vassos07progression,\n Title = {Progression of Situation Calculus Action Theories with Incomplete\nInformation},\n Author = {Vassos, Stavros and Levesque, Hector },\n Booktitle = {Proceedings of the 20th International Joint Conference on\nArtificial Intelligence},\n Year = {2007},\n\n Address = {Hyderabad, India},\n Editor = {Veloso, Manuela M. },\n Month = {January},\n Pages = {2024.2029},\n\n Abstract = { \nIn this paper, we propose a new progression mechanism for a\nrestricted form of incomplete knowledge formulated as a basic\naction theory in the situation calculus. Specifically, we focus\non functional fluents and deal directly with the possible values\nthese fluents may have and how these values are affected by both\nphysical and sensing actions. The method we propose is logically\ncomplete and can be calculated efficiently using database\ntechniques under certain reasonable assumptions. },\n Area = {Cognitive Robotics},\n Citeulike-article-id = {1923630},\n Keyword = {progression, reasoning about action, situation calculus, cognitive robotics},\n Keywords = {ai, progression, reasoning_about_action, situation_calculus},\n Timestamp = {2018.09.23},\n Url = {vassos-levesque07progression.pdf}\n}\n\n","author_short":["Vassos, S.","Levesque, H."],"editor_short":["Veloso, M. M."],"key":"vassos07progression","id":"vassos07progression","bibbaseid":"vassos-levesque-progressionofsituationcalculusactiontheorieswithincompleteinformation-2007","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/vassos-levesque07progression.pdf"},"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","creationDate":"2021-03-03T03:35:26.060Z","downloads":1,"keywords":["ai","progression","reasoning_about_action","situation_calculus"],"search_terms":["progression","situation","calculus","action","theories","incomplete","information","vassos","levesque"],"title":"Progression of Situation Calculus Action Theories with Incomplete Information","year":2007,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}