@InProceedings{Finzi00,
  Title                    = {Open World Planning in the Situation Calculus},
  Author                   = {Alberto Finzi and Fiora Pirri and Ray Reiter},
  Booktitle                = {Proceedings of the 7th Conference on Artificial
 Intelligence ({AAAI}-00) and of the 12th Conference on
 Innovative Applications of Artificial Intelligence
 ({IAAI}-00)},
  Year                     = {2000},

  Address                  = {Menlo Park, CA},
  Month                    = jul # { 30-- 3},
  Pages                    = {754--760},
  Publisher                = {AAAI Press},

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

{"_id":{"_str":"5342b4530e946d920a003336"},"__v":14,"authorIDs":["5457caa02abc8e9f3700073c","54595b5eb43425b7720004ab","5469369bbc7d6a460d00121a"],"author_short":["Finzi, A.","Pirri, F.","Reiter, R."],"bibbaseid":"finzi-pirri-reiter-openworldplanninginthesituationcalculus-2000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Open World Planning in the Situation Calculus","author":[{"firstnames":["Alberto"],"propositions":[],"lastnames":["Finzi"],"suffixes":[]},{"firstnames":["Fiora"],"propositions":[],"lastnames":["Pirri"],"suffixes":[]},{"firstnames":["Ray"],"propositions":[],"lastnames":["Reiter"],"suffixes":[]}],"booktitle":"Proceedings of the 7th Conference on Artificial Intelligence (AAAI-00) and of the 12th Conference on Innovative Applications of Artificial Intelligence (IAAI-00)","year":"2000","address":"Menlo Park, CA","month":"July30– 3","pages":"754–760","publisher":"AAAI Press","file":"openworld-aaai00.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/openworld-aaai00.pdf:PDF;openworld-aaai00.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/openworld-aaai00.ps:PostScript","key":"Finzi00","opturl":"http://www.cs.toronto.edu/cogrobo/Papers/openworld-aaai00.ps.gz","timestamp":"2018.09.23","url":"openworld-aaai00.pdf","bibtex":"@InProceedings{Finzi00,\n Title = {Open World Planning in the Situation Calculus},\n Author = {Alberto Finzi and Fiora Pirri and Ray Reiter},\n Booktitle = {Proceedings of the 7th Conference on Artificial\n Intelligence ({AAAI}-00) and of the 12th Conference on\n Innovative Applications of Artificial Intelligence\n ({IAAI}-00)},\n Year = {2000},\n\n Address = {Menlo Park, CA},\n Month = jul # { 30-- 3},\n Pages = {754--760},\n Publisher = {AAAI Press},\n\n File = {openworld-aaai00.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/openworld-aaai00.pdf:PDF;openworld-aaai00.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/openworld-aaai00.ps:PostScript},\n Key = {CogRobo},\n Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/openworld-aaai00.ps.gz},\n Timestamp = {2018.09.23},\n Url = {openworld-aaai00.pdf}\n}\n\n","author_short":["Finzi, A.","Pirri, F.","Reiter, R."],"id":"Finzi00","bibbaseid":"finzi-pirri-reiter-openworldplanninginthesituationcalculus-2000","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/openworld-aaai00.pdf"},"metadata":{"authorlinks":{}},"downloads":3,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":3,"keywords":[],"search_terms":["open","world","planning","situation","calculus","finzi","pirri","reiter"],"title":"Open World Planning in the Situation Calculus","year":2000,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}