%0 Conference Paper %1 conf/kr/Gutierrez-BasultoJ014 %A Gutiérrez-Basulto, Víctor %A Jung, Jean Christoph %A Schneider, Thomas %B KR %D 2014 %E Baral, Chitta %E Giacomo, Giuseppe De %E Eiter, Thomas %I AAAI Press %K dblp %T Lightweight Description Logics and Branching Time: A Troublesome Marriage. %U http://dblp.uni-trier.de/db/conf/kr/kr2014.html#Gutierrez-BasultoJ014 %@ 978-1-57735-657-8

@inproceedings{conf/kr/Gutierrez-BasultoJ014, added-at = {2014-07-31T00:00:00.000+0200}, author = {Gutiérrez-Basulto, Víctor and Jung, Jean Christoph and Schneider, Thomas}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ed016d1eccdc88fed03caf9561fcfb83/dblp}, booktitle = {KR}, crossref = {conf/kr/2014}, editor = {Baral, Chitta and Giacomo, Giuseppe De and Eiter, Thomas}, ee = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7802}, interhash = {5172dffcffe59df9f579faf5e03d0fa7}, intrahash = {ed016d1eccdc88fed03caf9561fcfb83}, isbn = {978-1-57735-657-8}, keywords = {dblp}, publisher = {AAAI Press}, timestamp = {2016-02-02T14:44:14.000+0100}, title = {Lightweight Description Logics and Branching Time: A Troublesome Marriage.}, url = {http://dblp.uni-trier.de/db/conf/kr/kr2014.html#Gutierrez-BasultoJ014}, year = 2014 }