%0 Journal Article %1 journals/jair/BrandtKRXZ18 %A Brandt, Sebastian %A Kalayci, Elem Güzel %A Ryzhikov, Vladislav %A Xiao, Guohui %A Zakharyaschev, Michael %D 2018 %J J. Artif. Intell. Res. %K dblp %P 829-877 %T Querying Log Data with Metric Temporal Logic. %U http://dblp.uni-trier.de/db/journals/jair/jair62.html#BrandtKRXZ18 %V 62

@article{journals/jair/BrandtKRXZ18, added-at = {2023-09-30T00:00:00.000+0200}, author = {Brandt, Sebastian and Kalayci, Elem Güzel and Ryzhikov, Vladislav and Xiao, Guohui and Zakharyaschev, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2573e79551a7d0cee6360359ec63de3c0/dblp}, ee = {https://doi.org/10.1613/jair.1.11229}, interhash = {8940b244e54a2dc6e80e4486909df8c9}, intrahash = {573e79551a7d0cee6360359ec63de3c0}, journal = {J. Artif. Intell. Res.}, keywords = {dblp}, pages = {829-877}, timestamp = {2024-04-08T20:02:50.000+0200}, title = {Querying Log Data with Metric Temporal Logic.}, url = {http://dblp.uni-trier.de/db/journals/jair/jair62.html#BrandtKRXZ18}, volume = 62, year = 2018 }