Harald Beck

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 12

Top Topics

Stream Processing

Knowledge Representation

Caching Strategies

Rule Based Reasoning

Top Venues

Publications

Harald Beck, Minh Dao-Tran, Thomas Eiter
LARS: A Logic-Based Framework for Analytic Reasoning over Streams - (Extended Abstract). SOFSEM (2018)
Harald Beck, Minh Dao-Tran, Thomas Eiter, Christian Folie
Stream Reasoning with LARS. Künstliche Intell. 32 (2-3) (2018)
Harald Beck, Minh Dao-Tran, Thomas Eiter
LARS: A Logic-based framework for Analytic Reasoning over Streams. Artif. Intell. 261 (2018)
Harald Beck, Bruno Bierbaumer, Minh Dao-Tran, Thomas Eiter, Hermann Hellwagner, Konstantin Schekotihin
Stream reasoning-based control of caching strategies in CCN routers. ICC (2017)
Hamid R. Bazoobandi, Harald Beck, Jacopo Urbani
Expressive Stream Reasoning with Laser. CoRR (2017)
Hamid R. Bazoobandi, Harald Beck, Jacopo Urbani
Expressive Stream Reasoning with Laser. ISWC (1) (2017)
Harald Beck, Thomas Eiter, Christian Folie
Ticker: A System for Incremental ASP-based Stream Reasoning. CoRR (2017)
Harald Beck, Thomas Eiter, Christian Folie
Ticker: A system for incremental ASP-based stream reasoning. Theory Pract. Log. Program. 17 (5-6) (2017)
Harald Beck, Bruno Bierbaumer, Minh Dao-Tran, Thomas Eiter, Hermann Hellwagner, Konstantin Schekotihin
Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks. JELIA (2016)
Harald Beck, Minh Dao-Tran, Thomas Eiter
Equivalent Stream Reasoning Programs. IJCAI (2016)
Andreas Moßburger, Harald Beck, Minh Dao-Tran, Thomas Eiter
A Benchmarking Framework for Stream Processors. EKAW (Satellite Events) (2016)
Harald Beck, Bruno Bierbaumer, Minh Dao-Tran, Thomas Eiter, Hermann Hellwagner, Konstantin Schekotihin
Stream Reasoning-Based Control of Caching Strategies in CCN Routers. CoRR (2016)
Harald Beck, Minh Dao-Tran, Thomas Eiter, Michael Fink
LARS: A Logic-Based Framework for Analyzing Reasoning over Streams. AAAI (2015)
Minh Dao-Tran, Harald Beck, Thomas Eiter
Towards Comparing RDF Stream Processing Semantics. HiDeSt@KI (2015)
Minh Dao-Tran, Harald Beck, Thomas Eiter
Contrasting RDF Stream Processing Semantics. JIST (2015)
Harald Beck, Minh Dao-Tran, Thomas Eiter
Answer Update for Rule-Based Stream Reasoning. IJCAI (2015)
Harald Beck
Expressive Rule-Based Stream Reasoning. IJCAI (2015)
Harald Beck, Minh Dao-Tran, Thomas Eiter, Michael Fink
Towards Ideal Semantics for Analyzing Stream Reasoning. CoRR (2015)
Harald Beck
Towards a Logic-Based Framework for Analyzing Stream Reasoning. OrdRing@ISWC (2014)
Harald Beck, Thomas Eiter, Thomas Krennwallner
Inconsistency Management for Traffic Regulations. Semantic Cities @ AAAI (2012)
Harald Beck, Thomas Eiter, Thomas Krennwallner
Inconsistency Management for Traffic Regulations: Formalization and Complexity Results. JELIA (2012)