LARS: A Logic-Based Framework for Analyzing Reasoning over Streams

Harald Beck, Minh Dao-Tran, Thomas Eiter, Michael Fink. LARS: A Logic-Based Framework for Analyzing Reasoning over Streams. In Blai Bonet, Sven Koenig, editors, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA. pages 1431-1438, AAAI Press, 2015. [doi]

Authors

Harald Beck

This author has not been identified. Look up 'Harald Beck' in Google

Minh Dao-Tran

This author has not been identified. Look up 'Minh Dao-Tran' in Google

Thomas Eiter

This author has not been identified. Look up 'Thomas Eiter' in Google

Michael Fink

This author has not been identified. Look up 'Michael Fink' in Google