@Article{Giuseppe01,
  Title                    = {Incremental Execution of Guarded Theories},
  Author                   = {De Giacomo, Giuseppe and Levesque, Hector J. and
 Sardina, Sebastian},
  Journal                  = {ACM Transactions on Computational Logic (TOCL)},
  Year                     = {2001},

  Month                    = {October},
  Number                   = {4},
  Pages                    = {495--525},
  Volume                   = {2},

  File                     = {TOCL01-DGLS.pdf:papers/TOCL01-DGLS.pdf:PDF},
  Key                      = {CogRobo},
  Timestamp                = {2018.09.23},
  Url                      = {TOCL01-DGLS.pdf}
}

{"_id":"2gEJfqTxehonSkp6f","bibbaseid":"degiacomo-levesque-sardina-incrementalexecutionofguardedtheories-2001","downloads":1,"creationDate":"2016-01-06T16:35:17.826Z","title":"Incremental Execution of Guarded Theories","author_short":["De Giacomo, G.","Levesque, H. J.","Sardina, S."],"year":2001,"bibtype":"article","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","bibdata":{"bibtype":"article","type":"article","title":"Incremental Execution of Guarded Theories","author":[{"propositions":[],"lastnames":["De","Giacomo"],"firstnames":["Giuseppe"],"suffixes":[]},{"propositions":[],"lastnames":["Levesque"],"firstnames":["Hector","J."],"suffixes":[]},{"propositions":[],"lastnames":["Sardina"],"firstnames":["Sebastian"],"suffixes":[]}],"journal":"ACM Transactions on Computational Logic (TOCL)","year":"2001","month":"October","number":"4","pages":"495–525","volume":"2","file":"TOCL01-DGLS.pdf:papers/TOCL01-DGLS.pdf:PDF","key":"Giuseppe01","timestamp":"2018.09.23","url":"TOCL01-DGLS.pdf","bibtex":"@Article{Giuseppe01,\n Title = {Incremental Execution of Guarded Theories},\n Author = {De Giacomo, Giuseppe and Levesque, Hector J. and\n Sardina, Sebastian},\n Journal = {ACM Transactions on Computational Logic (TOCL)},\n Year = {2001},\n\n Month = {October},\n Number = {4},\n Pages = {495--525},\n Volume = {2},\n\n File = {TOCL01-DGLS.pdf:papers/TOCL01-DGLS.pdf:PDF},\n Key = {CogRobo},\n Timestamp = {2018.09.23},\n Url = {TOCL01-DGLS.pdf}\n}\n\n","author_short":["De Giacomo, G.","Levesque, H. J.","Sardina, S."],"id":"Giuseppe01","bibbaseid":"degiacomo-levesque-sardina-incrementalexecutionofguardedtheories-2001","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/TOCL01-DGLS.pdf"},"metadata":{"authorlinks":{}},"downloads":1,"html":""},"search_terms":["incremental","execution","guarded","theories","de giacomo","levesque","sardina"],"keywords":[],"authorIDs":["w4t3wcFdcECFD2TSt"],"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}