%0 Conference Paper %1 conf/birthday/CabalarS19 %A Cabalar, Pedro %A Schaub, Torsten %B Description Logic, Theory Combination, and All That %D 2019 %E Lutz, Carsten %E Sattler, Uli %E Tinelli, Cesare %E Turhan, Anni-Yasmin %E Wolter, Frank %I Springer %K dblp %P 174-186 %T Temporal Logic Programs with Temporal Description Logic Axioms. %U http://dblp.uni-trier.de/db/conf/birthday/baader2019.html#CabalarS19 %V 11560 %@ 978-3-030-22102-7

@inproceedings{conf/birthday/CabalarS19, added-at = {2021-04-09T00:00:00.000+0200}, author = {Cabalar, Pedro and Schaub, Torsten}, biburl = {https://www.bibsonomy.org/bibtex/22976f0e5faba9c67c064ee8841cd629a/dblp}, booktitle = {Description Logic, Theory Combination, and All That}, crossref = {conf/birthday/2019baader}, editor = {Lutz, Carsten and Sattler, Uli and Tinelli, Cesare and Turhan, Anni-Yasmin and Wolter, Frank}, ee = {https://doi.org/10.1007/978-3-030-22102-7_8}, interhash = {268ecd4c677e6df54d5b19e12aee1847}, intrahash = {2976f0e5faba9c67c064ee8841cd629a}, isbn = {978-3-030-22102-7}, keywords = {dblp}, pages = {174-186}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T15:57:04.000+0200}, title = {Temporal Logic Programs with Temporal Description Logic Axioms.}, url = {http://dblp.uni-trier.de/db/conf/birthday/baader2019.html#CabalarS19}, volume = 11560, year = 2019 }