Harald Beck

According to our database, Harald Beck authored at least 18 papers between 2012 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Stream Reasoning with LARS.

Harald Beck, Minh Dao-Tran, Thomas Eiter, Christian Folie

Künstliche Intell., 2018

LARS: A Logic-based framework for Analytic Reasoning over Streams.

Harald Beck, Minh Dao-Tran, Thomas Eiter

Artif. Intell., 2018

LARS: A Logic-Based Framework for Analytic Reasoning over Streams - (Extended Abstract).

Harald Beck, Minh Dao-Tran, Thomas Eiter

Proceedings of the SOFSEM 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29, 2018

2017

Ticker: A system for incremental ASP-based stream reasoning.

Harald Beck, Thomas Eiter, Christian Folie

Theory Pract. Log. Program., 2017

Expressive Stream Reasoning with Laser.

Hamid R. Bazoobandi, Harald Beck, Jacopo Urbani

Proceedings of the Semantic Web - ISWC 2017, 2017

Stream reasoning-based control of caching strategies in CCN routers.

Harald Beck, Bruno Bierbaumer, Minh Dao-Tran, Thomas Eiter, Hermann Hellwagner, Konstantin Schekotihin

Proceedings of the IEEE International Conference on Communications, 2017

2016

Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks.

Harald Beck, Bruno Bierbaumer, Minh Dao-Tran, Thomas Eiter, Hermann Hellwagner, Konstantin Schekotihin

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Equivalent Stream Reasoning Programs.

Harald Beck, Minh Dao-Tran, Thomas Eiter

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

A Benchmarking Framework for Stream Processors.

Andreas Moßburger, Harald Beck, Minh Dao-Tran, Thomas Eiter

Proceedings of the Knowledge Engineering and Knowledge Management, 2016

2015

Towards Ideal Semantics for Analyzing Stream Reasoning.

Harald Beck, Minh Dao-Tran, Thomas Eiter, Michael Fink

CoRR, 2015

Towards Comparing RDF Stream Processing Semantics.

Minh Dao-Tran, Harald Beck, Thomas Eiter

Proceedings of the 1st Workshop on High-Level Declarative Stream Processing co-located with the 38th German AI conference (KI 2015), 2015

Contrasting RDF Stream Processing Semantics.

Minh Dao-Tran, Harald Beck, Thomas Eiter

Proceedings of the Semantic Technology - 5th Joint International Conference, 2015

Answer Update for Rule-Based Stream Reasoning.

Harald Beck, Minh Dao-Tran, Thomas Eiter

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Expressive Rule-Based Stream Reasoning.

Harald Beck

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

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

Harald Beck, Minh Dao-Tran, Thomas Eiter, Michael Fink

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Towards a Logic-Based Framework for Analyzing Stream Reasoning.

Harald Beck

Proceedings of the 3rd International Workshop on Ordering and Reasoning Co-located with the 13th International Semantic Web Conference (ISWC 2014), 2014

2012

Inconsistency Management for Traffic Regulations: Formalization and Complexity Results.

Harald Beck, Thomas Eiter, Thomas Krennwallner

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Inconsistency Management for Traffic Regulations.

Harald Beck, Thomas Eiter, Thomas Krennwallner

Proceedings of the Semantic Cities, 2012