@inproceedings{DBLP:conf/aaai/BrachmanLF83,
  author    = {Ronald J. Brachman and
               Hector J. Levesque and
               Richard Fikes},
  title     = {{KRYPTON:} Integrating Terminology and Assertion},
  booktitle = {Proceedings of the National Conference on Artificial Intelligence,
               Washington, D.C., USA, August 22-26, 1983},
  pages     = {31--35},
  year      = {1983},
  crossref  = {DBLP:conf/aaai/1983},
  url       = {http://www.aaai.org/Library/AAAI/1983/aaai83-005.php},
  timestamp = {Mon, 18 Jun 2018 21:19:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/BrachmanLF83},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":{"_str":"5200e28fd40bcbb041000753"},"__v":17,"authorIDs":["545aa113b43425b77200103d","5462a2ba8a9aab071c000505","54710f5d5ac8e5e30d0008b6"],"author_short":["Brachman, R. J.","Levesque, H. J.","Fikes, R."],"bibbaseid":"brachman-levesque-fikes-kryptonintegratingterminologyandassertion-1983","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ronald","J."],"propositions":[],"lastnames":["Brachman"],"suffixes":[]},{"firstnames":["Hector","J."],"propositions":[],"lastnames":["Levesque"],"suffixes":[]},{"firstnames":["Richard"],"propositions":[],"lastnames":["Fikes"],"suffixes":[]}],"title":"KRYPTON: Integrating Terminology and Assertion","booktitle":"Proceedings of the National Conference on Artificial Intelligence, Washington, D.C., USA, August 22-26, 1983","pages":"31–35","year":"1983","crossref":"DBLP:conf/aaai/1983","url":"http://www.aaai.org/Library/AAAI/1983/aaai83-005.php","timestamp":"Mon, 18 Jun 2018 21:19:02 +0200","biburl":"https://dblp.org/rec/bib/conf/aaai/BrachmanLF83","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/aaai/BrachmanLF83,\n author = {Ronald J. Brachman and\n Hector J. Levesque and\n Richard Fikes},\n title = {{KRYPTON:} Integrating Terminology and Assertion},\n booktitle = {Proceedings of the National Conference on Artificial Intelligence,\n Washington, D.C., USA, August 22-26, 1983},\n pages = {31--35},\n year = {1983},\n crossref = {DBLP:conf/aaai/1983},\n url = {http://www.aaai.org/Library/AAAI/1983/aaai83-005.php},\n timestamp = {Mon, 18 Jun 2018 21:19:02 +0200},\n biburl = {https://dblp.org/rec/bib/conf/aaai/BrachmanLF83},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Brachman, R. J.","Levesque, H. J.","Fikes, R."],"key":"DBLP:conf/aaai/BrachmanLF83","id":"DBLP:conf/aaai/BrachmanLF83","bibbaseid":"brachman-levesque-fikes-kryptonintegratingterminologyandassertion-1983","role":"author","urls":{"Paper":"http://www.aaai.org/Library/AAAI/1983/aaai83-005.php"},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/l/HJLevesque.bib","downloads":0,"keywords":[],"search_terms":["krypton","integrating","terminology","assertion","brachman","levesque","fikes"],"title":"KRYPTON: Integrating Terminology and Assertion","title_words":["krypton","integrating","terminology","assertion"],"year":1983,"dataSources":["LNdMWtwHexeaM7uMZ"]}