@InProceedings{Lin97d,
  Title                    = {Applications of the situation calculus to formalizing
 control and strategic information: {T}he {P}rolog cut
 operator},
  Author                   = {Lin, Fangzhen},
  Booktitle                = {In Proceedings of IJCAI-97},
  Year                     = {1997},
  Note                     = {(IJCAI-97 Distinguished Paper Award)},
  Pages                    = {1412--1418},

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

{"_id":{"_str":"5342b4530e946d920a003334"},"__v":4,"authorIDs":["54594cc9b43425b77200045e"],"author_short":["Lin, F."],"bibbaseid":"lin-applicationsofthesituationcalculustoformalizingcontrolandstrategicinformationtheprologcutoperator-1997","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Applications of the situation calculus to formalizing control and strategic information: The Prolog cut operator","author":[{"propositions":[],"lastnames":["Lin"],"firstnames":["Fangzhen"],"suffixes":[]}],"booktitle":"In Proceedings of IJCAI-97","year":"1997","note":"(IJCAI-97 Distinguished Paper Award)","pages":"1412–1418","file":"lin-ijcai97.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/lin-ijcai97.pdf:PDF;lin-ijcai97.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/lin-ijcai97.ps:PostScript","key":"Lin97d","opturl":"http://www.cs.toronto.edu/cogrobo/Papers/lin-ijcai97.ps.gz","timestamp":"2018.09.23","url":"lin-ijcai97.pdf","bibtex":"@InProceedings{Lin97d,\n Title = {Applications of the situation calculus to formalizing\n control and strategic information: {T}he {P}rolog cut\n operator},\n Author = {Lin, Fangzhen},\n Booktitle = {In Proceedings of IJCAI-97},\n Year = {1997},\n Note = {(IJCAI-97 Distinguished Paper Award)},\n Pages = {1412--1418},\n\n File = {lin-ijcai97.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/lin-ijcai97.pdf:PDF;lin-ijcai97.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/lin-ijcai97.ps:PostScript},\n Key = {CogRobo},\n Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/lin-ijcai97.ps.gz},\n Timestamp = {2018.09.23},\n Url = {lin-ijcai97.pdf}\n}\n\n","author_short":["Lin, F."],"id":"Lin97d","bibbaseid":"lin-applicationsofthesituationcalculustoformalizingcontrolandstrategicinformationtheprologcutoperator-1997","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/lin-ijcai97.pdf"},"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":1,"keywords":[],"search_terms":["applications","situation","calculus","formalizing","control","strategic","information","prolog","cut","operator","lin"],"title":"Applications of the situation calculus to formalizing control and strategic information: The Prolog cut operator","year":1997,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}