@InProceedings{GuSouIJCAI07decidableSC,
  Title                    = {Decidable Reasoning in a Modified Situation Calculus},
  Author                   = {Yilan Gu and Mikhail Soutchanski},
  Booktitle                = {Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07)},
  Year                     = {2007},

  Address                  = {Hyderabad,Andhra Pradesh, India},
  Month                    = {January},

  Timestamp                = {2018.09.23},
  Url                      = {YGu_ijcai07_deciableSC.pdf}
}

{"_id":{"_str":"5342b4530e946d920a00333c"},"__v":10,"authorIDs":["54572bc52abc8e9f37000138","5457b87b2abc8e9f3700065d","5e39039edc5b8ade010000b3","94kPxYFCvycR4XMdq"],"author_short":["Gu, Y.","Soutchanski, M."],"bibbaseid":"gu-soutchanski-decidablereasoninginamodifiedsituationcalculus-2007","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Decidable Reasoning in a Modified Situation Calculus","author":[{"firstnames":["Yilan"],"propositions":[],"lastnames":["Gu"],"suffixes":[]},{"firstnames":["Mikhail"],"propositions":[],"lastnames":["Soutchanski"],"suffixes":[]}],"booktitle":"Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07)","year":"2007","address":"Hyderabad,Andhra Pradesh, India","month":"January","timestamp":"2018.09.23","url":"YGu_ijcai07_deciableSC.pdf","bibtex":"@InProceedings{GuSouIJCAI07decidableSC,\n Title = {Decidable Reasoning in a Modified Situation Calculus},\n Author = {Yilan Gu and Mikhail Soutchanski},\n Booktitle = {Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07)},\n Year = {2007},\n\n Address = {Hyderabad,Andhra Pradesh, India},\n Month = {January},\n\n Timestamp = {2018.09.23},\n Url = {YGu_ijcai07_deciableSC.pdf}\n}\n\n","author_short":["Gu, Y.","Soutchanski, M."],"key":"GuSouIJCAI07decidableSC","id":"GuSouIJCAI07decidableSC","bibbaseid":"gu-soutchanski-decidablereasoninginamodifiedsituationcalculus-2007","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/YGu_ijcai07_deciableSC.pdf"},"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":1,"keywords":[],"search_terms":["decidable","reasoning","modified","situation","calculus","gu","soutchanski"],"title":"Decidable Reasoning in a Modified Situation Calculus","year":2007,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}