@ARTICLE{levesque98_sitcalc,
  author = {Hector J. Levesque and Fiora Pirri and Ray Reiter},
  title = {Foundations for the situation calculus},
  journal = {Electronic Transactions on Artificial Intelligence},
  year = {1998},
  volume = {2},
  pages = {159--178}
}

{"_id":{"_str":"5342b73a0e946d920a0033a2"},"__v":19,"authorIDs":["54595b5eb43425b7720004ab","545aa113b43425b77200103d","5469369bbc7d6a460d00121a"],"author_short":["Levesque, H. J.","Pirri, F.","Reiter, R."],"bibbaseid":"levesque-pirri-reiter-foundationsforthesituationcalculus-1998","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Hector","J."],"propositions":[],"lastnames":["Levesque"],"suffixes":[]},{"firstnames":["Fiora"],"propositions":[],"lastnames":["Pirri"],"suffixes":[]},{"firstnames":["Ray"],"propositions":[],"lastnames":["Reiter"],"suffixes":[]}],"title":"Foundations for the situation calculus","journal":"Electronic Transactions on Artificial Intelligence","year":"1998","volume":"2","pages":"159–178","bibtex":"@ARTICLE{levesque98_sitcalc,\n author = {Hector J. Levesque and Fiora Pirri and Ray Reiter},\n title = {Foundations for the situation calculus},\n journal = {Electronic Transactions on Artificial Intelligence},\n year = {1998},\n volume = {2},\n pages = {159--178}\n}\n\n","author_short":["Levesque, H. J.","Pirri, F.","Reiter, R."],"key":"levesque98_sitcalc","id":"levesque98_sitcalc","bibbaseid":"levesque-pirri-reiter-foundationsforthesituationcalculus-1998","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"rbr.cs.umass.edu/gp/genplan.bib","downloads":0,"keywords":[],"search_terms":["foundations","situation","calculus","levesque","pirri","reiter"],"title":"Foundations for the situation calculus","year":1998,"dataSources":["ivTWmqfM6xcSHRfBa","BBkjciKCmRFKkzdZa","KmdEXRiKqSHvuDHgs"]}