@InProceedings{Giuseppe97-NonTermProc,
  Title                    = {Non-Terminating Processes in the Situation Calculus},
  Author                   = {De Giacomo, Giuseppe and Ternovskaia, Eugenia and
 Reiter, Ray},
  Booktitle                = {Working Notes of Robots, Softbots, Immobots: Theories
 of Action, Planning and Control. AAAI-97 Workshop},
  Year                     = {1997},
  Month                    = {July 28},

  Key                      = {CogRobo},
  Timestamp                = {2018.09.23},
  Url                      = {Giuseppe97-NonTermProc.pdf}
}

{"_id":"fdCpvQCBwMu9X3Hoo","bibbaseid":"degiacomo-ternovskaia-reiter-nonterminatingprocessesinthesituationcalculus-1997","downloads":1,"creationDate":"2016-01-06T16:35:17.182Z","title":"Non-Terminating Processes in the Situation Calculus","author_short":["De Giacomo, G.","Ternovskaia, E.","Reiter, R."],"year":1997,"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Non-Terminating Processes in the Situation Calculus","author":[{"propositions":[],"lastnames":["De","Giacomo"],"firstnames":["Giuseppe"],"suffixes":[]},{"propositions":[],"lastnames":["Ternovskaia"],"firstnames":["Eugenia"],"suffixes":[]},{"propositions":[],"lastnames":["Reiter"],"firstnames":["Ray"],"suffixes":[]}],"booktitle":"Working Notes of Robots, Softbots, Immobots: Theories of Action, Planning and Control. AAAI-97 Workshop","year":"1997","month":"July 28","key":"Giuseppe97-NonTermProc","timestamp":"2018.09.23","url":"Giuseppe97-NonTermProc.pdf","bibtex":"@InProceedings{Giuseppe97-NonTermProc,\n Title = {Non-Terminating Processes in the Situation Calculus},\n Author = {De Giacomo, Giuseppe and Ternovskaia, Eugenia and\n Reiter, Ray},\n Booktitle = {Working Notes of Robots, Softbots, Immobots: Theories\n of Action, Planning and Control. AAAI-97 Workshop},\n Year = {1997},\n Month = {July 28},\n\n Key = {CogRobo},\n Timestamp = {2018.09.23},\n Url = {Giuseppe97-NonTermProc.pdf}\n}\n\n","author_short":["De Giacomo, G.","Ternovskaia, E.","Reiter, R."],"id":"Giuseppe97-NonTermProc","bibbaseid":"degiacomo-ternovskaia-reiter-nonterminatingprocessesinthesituationcalculus-1997","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/Giuseppe97-NonTermProc.pdf"},"metadata":{"authorlinks":{}},"downloads":1,"html":""},"search_terms":["non","terminating","processes","situation","calculus","de giacomo","ternovskaia","reiter"],"keywords":[],"authorIDs":["5469c3b2bc7d6a460d0014f4"],"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}