@Article{Lin97a,
  Title                    = {Rules as actions: {A} situation calculus semantics for
 logic programs},
  Author                   = {F. Lin and R. Reiter},
  Journal                  = {Journal of Logic Programming, Special issue on
 Reasoning about Action and Change},
  Year                     = {1997},
  Pages                    = {299--330},
  Volume                   = {31},

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

{"_id":{"_str":"5342b4520e946d920a0032ef"},"__v":10,"authorIDs":["54594cc9b43425b77200045e","54595b5eb43425b7720004ab"],"author_short":["Lin, F.","Reiter, R."],"bibbaseid":"lin-reiter-rulesasactionsasituationcalculussemanticsforlogicprograms-1997","bibdata":{"bibtype":"article","type":"article","title":"Rules as actions: A situation calculus semantics for logic programs","author":[{"firstnames":["F."],"propositions":[],"lastnames":["Lin"],"suffixes":[]},{"firstnames":["R."],"propositions":[],"lastnames":["Reiter"],"suffixes":[]}],"journal":"Journal of Logic Programming, Special issue on Reasoning about Action and Change","year":"1997","pages":"299–330","volume":"31","file":"lp.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/lp.pdf:PDF;lp.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/lp.ps:PostScript","key":"Lin97a","opturl":"http://www.cs.toronto.edu/cogrobo/Papers/lp.ps.gz","timestamp":"2018.09.23","url":"lp.pdf","bibtex":"@Article{Lin97a,\n Title = {Rules as actions: {A} situation calculus semantics for\n logic programs},\n Author = {F. Lin and R. Reiter},\n Journal = {Journal of Logic Programming, Special issue on\n Reasoning about Action and Change},\n Year = {1997},\n Pages = {299--330},\n Volume = {31},\n\n File = {lp.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/lp.pdf:PDF;lp.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/lp.ps:PostScript},\n Key = {CogRobo},\n Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/lp.ps.gz},\n Timestamp = {2018.09.23},\n Url = {lp.pdf}\n}\n\n","author_short":["Lin, F.","Reiter, R."],"id":"Lin97a","bibbaseid":"lin-reiter-rulesasactionsasituationcalculussemanticsforlogicprograms-1997","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/lp.pdf"},"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"article","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":1,"keywords":[],"search_terms":["rules","actions","situation","calculus","semantics","logic","programs","lin","reiter"],"title":"Rules as actions: A situation calculus semantics for logic programs","year":1997,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}