%0 Conference Paper %1 conf/aaai/ArtaleKRZ15 %A Artale, Alessandro %A Kontchakov, Roman %A Ryzhikov, Vladislav %A Zakharyaschev, Michael %B AAAI %D 2015 %E Bonet, Blai %E Koenig, Sven %I AAAI Press %K dblp %P 1417-1423 %T Tractable Interval Temporal Propositional and Description Logics. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2015.html#ArtaleKRZ15 %@ 978-1-57735-698-1

@inproceedings{conf/aaai/ArtaleKRZ15, added-at = {2023-09-18T00:00:00.000+0200}, author = {Artale, Alessandro and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2c4c0c746b302c433182e11fa4589885c/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2015}, editor = {Bonet, Blai and Koenig, Sven}, ee = {https://doi.org/10.1609/aaai.v29i1.9406}, interhash = {0c15d14a558ae43fe73a254a5a2ca94b}, intrahash = {c4c0c746b302c433182e11fa4589885c}, isbn = {978-1-57735-698-1}, keywords = {dblp}, pages = {1417-1423}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:10:14.000+0200}, title = {Tractable Interval Temporal Propositional and Description Logics.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2015.html#ArtaleKRZ15}, year = 2015 }