@inproceedings{DBLP:conf/kr/Gutierrez-BasultoJ014,
  author    = {V{\'{\i}}ctor Guti{\'{e}}rrez{-}Basulto and
               Jean Christoph Jung and
               Thomas Schneider},
  title     = {Lightweight Description Logics and Branching Time: {A} Troublesome
               Marriage},
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
               July 20-24, 2014},
  year      = {2014},
  crossref  = {DBLP:conf/kr/2014},
  url       = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7802},
  timestamp = {Thu, 31 Jul 2014 10:24:17 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/Gutierrez-BasultoJ014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"y6ZsHyg4vaPdwEbb9","bibbaseid":"gutirrezbasulto-jung-schneider-lightweightdescriptionlogicsandbranchingtimeatroublesomemarriage-2014","downloads":0,"creationDate":"2016-11-07T11:06:40.354Z","title":"Lightweight Description Logics and Branching Time: A Troublesome Marriage","author_short":["Gutiérrez-Basulto, V.","Jung, J. C.","Schneider, T."],"year":2014,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/06/3872-2.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Víctor"],"propositions":[],"lastnames":["Gutiérrez-Basulto"],"suffixes":[]},{"firstnames":["Jean","Christoph"],"propositions":[],"lastnames":["Jung"],"suffixes":[]},{"firstnames":["Thomas"],"propositions":[],"lastnames":["Schneider"],"suffixes":[]}],"title":"Lightweight Description Logics and Branching Time: A Troublesome Marriage","booktitle":"Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014","year":"2014","crossref":"DBLP:conf/kr/2014","url":"http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7802","timestamp":"Thu, 31 Jul 2014 10:24:17 +0200","biburl":"https://dblp.org/rec/bib/conf/kr/Gutierrez-BasultoJ014","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/kr/Gutierrez-BasultoJ014,\n author = {V{\\'{\\i}}ctor Guti{\\'{e}}rrez{-}Basulto and\n Jean Christoph Jung and\n Thomas Schneider},\n title = {Lightweight Description Logics and Branching Time: {A} Troublesome\n Marriage},\n booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings\n of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,\n July 20-24, 2014},\n year = {2014},\n crossref = {DBLP:conf/kr/2014},\n url = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7802},\n timestamp = {Thu, 31 Jul 2014 10:24:17 +0200},\n biburl = {https://dblp.org/rec/bib/conf/kr/Gutierrez-BasultoJ014},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Gutiérrez-Basulto, V.","Jung, J. C.","Schneider, T."],"key":"DBLP:conf/kr/Gutierrez-BasultoJ014","id":"DBLP:conf/kr/Gutierrez-BasultoJ014","bibbaseid":"gutirrezbasulto-jung-schneider-lightweightdescriptionlogicsandbranchingtimeatroublesomemarriage-2014","role":"author","urls":{"Paper":"http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7802"},"downloads":0},"search_terms":["lightweight","description","logics","branching","time","troublesome","marriage","gutiérrez-basulto","jung","schneider"],"keywords":[],"authorIDs":[],"dataSources":["hFysW8E5JHW8bNdoX"]}