@InProceedings{GuSouAISOC06services,
  Title                    = {A Logic for Decidable Reasoning about Services},
  Author                   = {Yilan Gu and Mikhail Soutchanski},
  Booktitle                = {Proceedings of AAAI-06 workshop on AI-Driven Technologies for Services-Oriented Computing (AISOC-06)},
  Year                     = {2006},

  Address                  = {Boston, MA, US},
  Month                    = {July},
  Note                     = {Also in the Proceedings of ECAI-06 workshop on AI for Service Composition, August 2006, Riva del Garda, Italy},

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

{"_id":{"_str":"5342b4520e946d920a003315"},"__v":13,"authorIDs":["54572bc52abc8e9f37000138","5457b87b2abc8e9f3700065d","5e39039edc5b8ade010000b3","94kPxYFCvycR4XMdq"],"author_short":["Gu, Y.","Soutchanski, M."],"bibbaseid":"gu-soutchanski-alogicfordecidablereasoningaboutservices-2006","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"A Logic for Decidable Reasoning about Services","author":[{"firstnames":["Yilan"],"propositions":[],"lastnames":["Gu"],"suffixes":[]},{"firstnames":["Mikhail"],"propositions":[],"lastnames":["Soutchanski"],"suffixes":[]}],"booktitle":"Proceedings of AAAI-06 workshop on AI-Driven Technologies for Services-Oriented Computing (AISOC-06)","year":"2006","address":"Boston, MA, US","month":"July","note":"Also in the Proceedings of ECAI-06 workshop on AI for Service Composition, August 2006, Riva del Garda, Italy","timestamp":"2018.09.23","url":"YGu_aaai06_service.pdf","bibtex":"@InProceedings{GuSouAISOC06services,\n Title = {A Logic for Decidable Reasoning about Services},\n Author = {Yilan Gu and Mikhail Soutchanski},\n Booktitle = {Proceedings of AAAI-06 workshop on AI-Driven Technologies for Services-Oriented Computing (AISOC-06)},\n Year = {2006},\n\n Address = {Boston, MA, US},\n Month = {July},\n Note = {Also in the Proceedings of ECAI-06 workshop on AI for Service Composition, August 2006, Riva del Garda, Italy},\n\n Timestamp = {2018.09.23},\n Url = {YGu_aaai06_service.pdf}\n}\n\n","author_short":["Gu, Y.","Soutchanski, M."],"key":"GuSouAISOC06services","id":"GuSouAISOC06services","bibbaseid":"gu-soutchanski-alogicfordecidablereasoningaboutservices-2006","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/YGu_aaai06_service.pdf"},"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":1,"keywords":[],"search_terms":["logic","decidable","reasoning","services","gu","soutchanski"],"title":"A Logic for Decidable Reasoning about Services","year":2006,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}