@Book{Levesque01-LKB,
  Title                    = {The Logic of Knowledge Bases},
  Author                   = {Levesque, Hector J. and Lakemeyer, Gerhard},
  Publisher                = {MIT Press},
  Year                     = {2001},

  Key                      = {CogRobo},
  Timestamp                = {2018.09.23},
  Url                      = {Levesque01-LKB.pdf}
}

{"_id":{"_str":"5342b4520e946d920a0032c9"},"__v":50,"authorIDs":["54575ce32abc8e9f37000307","545aa113b43425b77200103d","5e3902b8dc5b8ade010000a6","5e3902f4dc5b8ade010000a9","RmQT3J2e7NKqkbbbe"],"author_short":["Levesque, H. J.","Lakemeyer, G."],"bibbaseid":"levesque-lakemeyer-thelogicofknowledgebases-2001","bibdata":{"bibtype":"book","type":"book","title":"The Logic of Knowledge Bases","author":[{"propositions":[],"lastnames":["Levesque"],"firstnames":["Hector","J."],"suffixes":[]},{"propositions":[],"lastnames":["Lakemeyer"],"firstnames":["Gerhard"],"suffixes":[]}],"publisher":"MIT Press","year":"2001","key":"Levesque01-LKB","timestamp":"2018.09.23","url":"Levesque01-LKB.pdf","bibtex":"@Book{Levesque01-LKB,\n Title = {The Logic of Knowledge Bases},\n Author = {Levesque, Hector J. and Lakemeyer, Gerhard},\n Publisher = {MIT Press},\n Year = {2001},\n\n Key = {CogRobo},\n Timestamp = {2018.09.23},\n Url = {Levesque01-LKB.pdf}\n}\n\n","author_short":["Levesque, H. J.","Lakemeyer, G."],"id":"Levesque01-LKB","bibbaseid":"levesque-lakemeyer-thelogicofknowledgebases-2001","role":"author","urls":{"Paper":"www.cs.toronto.edu/kr/publications/Levesque01-LKB.pdf"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"book","biburl":"www.cs.toronto.edu/kr/publications/list.bib","downloads":0,"keywords":[],"search_terms":["logic","knowledge","bases","levesque","lakemeyer"],"title":"The Logic of Knowledge Bases","year":2001,"dataSources":["2LLKDfkxMDdABm58M","dqRQPSg6Hy3ZXQg7z","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}