%0 Conference Paper %1 conf/aaai/BeckDEF15 %A Beck, Harald %A Dao-Tran, Minh %A Eiter, Thomas %A Fink, Michael %B AAAI %D 2015 %E Bonet, Blai %E Koenig, Sven %I AAAI Press %K dblp %P 1431-1438 %T LARS: A Logic-Based Framework for Analyzing Reasoning over Streams. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2015.html#BeckDEF15 %@ 978-1-57735-698-1

@inproceedings{conf/aaai/BeckDEF15, added-at = {2023-09-18T00:00:00.000+0200}, author = {Beck, Harald and Dao-Tran, Minh and Eiter, Thomas and Fink, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2723a9433e6b363d096d02dc2b22dbcb6/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2015}, editor = {Bonet, Blai and Koenig, Sven}, ee = {https://doi.org/10.1609/aaai.v29i1.9408}, interhash = {35166762810f1fc778fcfcf99b401f44}, intrahash = {723a9433e6b363d096d02dc2b22dbcb6}, isbn = {978-1-57735-698-1}, keywords = {dblp}, pages = {1431-1438}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:10:14.000+0200}, title = {LARS: A Logic-Based Framework for Analyzing Reasoning over Streams.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2015.html#BeckDEF15}, year = 2015 }