Provably correct theories of action

Provably correct theories of action. Lin, F. & Shoham, Y. Journal of ACM, 42(2):293-320, 1995.

Paper bibtex 1 download

@Article{Lin95c,
  Title                    = {Provably correct theories of action},
  Author                   = {Lin, F. and Shoham, Y.},
  Journal                  = {Journal of ACM},
  Year                     = {1995},
  Number                   = {2},
  Pages                    = {293-320},
  Volume                   = {42},

  File                     = {pcta.pdf:http\://www.cs.toronto.edu/cogrobo/Papers/pcta.pdf:PDF;pcta.ps:http\://www.cs.toronto.edu/cogrobo/Papers/pcta.ps:PostScript},
  Key                      = {CogRobo},
  Opturl                   = {http://www.cs.toronto.edu/cogrobo/Papers/pcta.ps.gz},
  Timestamp                = {2018.09.23},
  Url                      = {pcta.pdf}
}

Downloads: 1

{"_id":{"_str":"53423e0f0e946d920a0002a9"},"__v":5,"authorIDs":["54594cc9b43425b77200045e","54a3950aa031a7b425000444"],"author_short":["Lin, F.","Shoham, Y."],"bibbaseid":"lin-shoham-provablycorrecttheoriesofaction-1995","bibdata":{"bibtype":"article","type":"article","title":"Provably correct theories of action","author":[{"propositions":[],"lastnames":["Lin"],"firstnames":["F."],"suffixes":[]},{"propositions":[],"lastnames":["Shoham"],"firstnames":["Y."],"suffixes":[]}],"journal":"Journal of ACM","year":"1995","number":"2","pages":"293-320","volume":"42","file":"pcta.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/pcta.pdf:PDF;pcta.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/pcta.ps:PostScript","key":"Lin95c","opturl":"http://www.cs.toronto.edu/cogrobo/Papers/pcta.ps.gz","timestamp":"2018.09.23","url":"pcta.pdf","bibtex":"@Article{Lin95c,\n Title = {Provably correct theories of action},\n Author = {Lin, F. and Shoham, Y.},\n Journal = {Journal of ACM},\n Year = {1995},\n Number = {2},\n Pages = {293-320},\n Volume = {42},\n\n File = {pcta.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/pcta.pdf:PDF;pcta.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/pcta.ps:PostScript},\n Key = {CogRobo},\n Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/pcta.ps.gz},\n Timestamp = {2018.09.23},\n Url = {pcta.pdf}\n}\n\n","author_short":["Lin, F.","Shoham, Y."],"id":"Lin95c","bibbaseid":"lin-shoham-provablycorrecttheoriesofaction-1995","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/pcta.pdf"},"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"article","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":1,"keywords":[],"search_terms":["provably","correct","theories","action","lin","shoham"],"title":"Provably correct theories of action","year":1995,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}