%0 Journal Article %1 journals/ai/BeckDE18 %A Beck, Harald %A Dao-Tran, Minh %A Eiter, Thomas %D 2018 %J Artif. Intell. %K dblp %P 16-70 %T LARS: A Logic-based framework for Analytic Reasoning over Streams. %U http://dblp.uni-trier.de/db/journals/ai/ai261.html#BeckDE18 %V 261

@article{journals/ai/BeckDE18, added-at = {2018-07-10T00:00:00.000+0200}, author = {Beck, Harald and Dao-Tran, Minh and Eiter, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/22ff4de6088dddc1838ff4712da850acb/dblp}, ee = {https://doi.org/10.1016/j.artint.2018.04.003}, interhash = {209cb6fbe36683b718432b7d5c2899c6}, intrahash = {2ff4de6088dddc1838ff4712da850acb}, journal = {Artif. Intell.}, keywords = {dblp}, pages = {16-70}, timestamp = {2018-07-11T11:39:04.000+0200}, title = {LARS: A Logic-based framework for Analytic Reasoning over Streams.}, url = {http://dblp.uni-trier.de/db/journals/ai/ai261.html#BeckDE18}, volume = 261, year = 2018 }