@InProceedings{vassos08localeffect,
  Title                    = {First-Order Strong Progression for Local-Effect Basic Action
 Theories},
  Author                   = {Vassos, Stavros and Gerhard, Lakemeyer and Levesque, Hector},
  Booktitle                = {Proceedings of the Eleventh International Conference on
 Principles of Knowledge Representation and Reasoning (KR-08)},
  Year                     = {2008},

  Address                  = {Sydney, Australia},
  Month                    = {September 16--19},
  Note                     = {To appear.},

  Timestamp                = {2018.09.23},
  Url                      = {vassos-lakemeyer-levesque08localeffect.pdf}
}

{"_id":{"_str":"5342b4530e946d920a00333b"},"__v":152,"authorIDs":["54575ce32abc8e9f37000307","545aa113b43425b77200103d","545aa143b43425b772001040","5e3902f4dc5b8ade010000a9","RmQT3J2e7NKqkbbbe"],"author_short":["Vassos, S.","Gerhard, L.","Levesque, H."],"bibbaseid":"vassos-gerhard-levesque-firstorderstrongprogressionforlocaleffectbasicactiontheories-2008","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"First-Order Strong Progression for Local-Effect Basic Action Theories","author":[{"propositions":[],"lastnames":["Vassos"],"firstnames":["Stavros"],"suffixes":[]},{"propositions":[],"lastnames":["Gerhard"],"firstnames":["Lakemeyer"],"suffixes":[]},{"propositions":[],"lastnames":["Levesque"],"firstnames":["Hector"],"suffixes":[]}],"booktitle":"Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR-08)","year":"2008","address":"Sydney, Australia","month":"September 16–19","note":"To appear.","timestamp":"2018.09.23","url":"vassos-lakemeyer-levesque08localeffect.pdf","bibtex":"@InProceedings{vassos08localeffect,\n Title = {First-Order Strong Progression for Local-Effect Basic Action\n Theories},\n Author = {Vassos, Stavros and Gerhard, Lakemeyer and Levesque, Hector},\n Booktitle = {Proceedings of the Eleventh International Conference on\n Principles of Knowledge Representation and Reasoning (KR-08)},\n Year = {2008},\n\n Address = {Sydney, Australia},\n Month = {September 16--19},\n Note = {To appear.},\n\n Timestamp = {2018.09.23},\n Url = {vassos-lakemeyer-levesque08localeffect.pdf}\n}\n\n","author_short":["Vassos, S.","Gerhard, L.","Levesque, H."],"key":"vassos08localeffect","id":"vassos08localeffect","bibbaseid":"vassos-gerhard-levesque-firstorderstrongprogressionforlocaleffectbasicactiontheories-2008","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/vassos-lakemeyer-levesque08localeffect.pdf"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":0,"keywords":[],"search_terms":["first","order","strong","progression","local","effect","basic","action","theories","vassos","gerhard","levesque"],"title":"First-Order Strong Progression for Local-Effect Basic Action Theories","year":2008,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}