Harald Beck

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