Skip to Content

TU Wien Fakultät für Informatik KBS Knowledge-Based Systems Group
Top-level Navigation: Current-level Navigation:

Path: KBS > staff > beck >

Tools: Drucken


Harald Beck

Harald Beck
Project staff - Ph.D. Student
Email: "beck".append("@kr.tuwien.ac.at")
Phone: +43 (1) 58 801-184809
Elsewhere: G.Scholar dblp
Office hours: by appointment


Since March 2014, I have been working as research assistant in a project on

funded by the (chronically underfunded) Austrian Science Fund (FWF).

I also participate in the

I studied at TU Vienna, and worked as software developer in the areas of

Publications

2017

Harald Beck, Minh Dao-Tran, and Thomas Eiter.
LARS: A Logic-based Framework for Analytic Reasoning over Streams.
Technical Report. INFSYS RR-1843-17-03. October 2017.
[ bib | paper ]

Hamid R. Bazoobandi, Harald Beck, and Jacopo Urbani.
Expressive Stream Reasoning with Laser.
ISWC, Oct. 21-25, 2017, Vienna, Austria.
(to appear. arXiv:
abs/1707.08876)

Harald Beck, Thomas Eiter, and Christian Folie.
Ticker: A System for Incremental ASP-based Stream Reasoning.
ICLP, Aug. 28-Sept. 1, 2017, Melbourne, Australia.
(to appear. arXiv:
abs/1707.05304)

Harald Beck.
Reviewing Justification-based Truth Maintenance Systems from a Logic Programming Perspective.
Technical Report. INFSYS RR-1843-17-02. July 2017.
[ bib | paper ]

Harald Beck, Bruno Bierbaumer, Minh Dao-Tran, Thomas Eiter, Hermann Hellwagner and Konstantin Schekotihin.
Stream Reasoning-Based Control of Caching Strategies in CCN Routers.
Proceedings of the IEEE International Conference on Communications May 21-25, 2017, Paris, France.
[
bib | paper ]

2016

Harald Beck, Bruno Bierbaumer, Minh Dao-Tran, Thomas Eiter, Hermann Hellwagner, and Konstantin Schekotihin.
Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks.
15th European Conference on Logics in Artificial Intelligence (JELIA), November 9-11, 2016, Larnaca, Cyprus.
[
bib | paper ]

Harald Beck, Minh Dao-Tran, and Thomas Eiter.
Equivalent Stream Reasoning Programs.
25th International Joint Conference on Artificial Intelligence (IJCAI), July 9-15, 2016, New York, USA.
[
bib | paper | slides ]

2015

Minh Dao-Tran, Harald Beck, and Thomas Eiter.
Contrasting RDF Stream Processing Semantics.
5th Joint International Semantic Technology Conference (JIST), November 11-13, 2015, YiChang, China.
[
paper ]

Minh Dao-Tran, Harald Beck, and Thomas Eiter.
Towards Comparing RDF Stream Processing Semantics. 1st Workshop on High-Level Declarative Stream Processing (HiDeSt), September 22, 2015, Dresden, Germany, 2015.
[
bib | paper | slides ]

Harald Beck, Minh Dao-Tran, Thomas Eiter.
Answer Update for Rule-based Stream Reasoning.
24th International Joint Conference on Artificial Intelligence (IJCAI), July 25-31, 2015, Buenos Aires, Argentinia.
[
bib | paper | slides ]

window operator

Harald Beck, Minh Dao-Tran, Thomas Eiter, and Michael Fink.
LARS: A Logic-based Framework for Analyzing Reasoning over Streams.
29th AAAI Conference, January 25-30, 2015, Austin, Texas, USA.
[
bib | paper | slides ]

2014

Harald Beck, Minh Dao-Tran, Thomas Eiter, and Michael Fink.
Towards a Logic-Based Framework for Analyzing Stream Reasoning.
3rd International Workshop on Ordering and Reasoning, October 19-20, 2014, Riva del Garda, Trentino, Italy.
[
bib | paper | extended version | slides ]

Harald Beck, Minh Dao-Tran, Thomas Eiter, and Michael Fink.
Towards Ideal Semantics for Analyzing Stream Reasoning.
International Workshop on Reactive Concepts in Knowledge Representation, August 19, 2014, Prague, Czech Republic.
[
bib | paper | slides ]

2013

Harald Beck.
Inconsistency Management for Traffic Regulations.
Master Thesis. Vienny University of Technology.
[
thesis | slides | extended abstract | happy face '13 | happy face '15 ]

2012

Harald Beck, Thomas Eiter, and Thomas Krennwallner.
Inconsistency Management for Traffic Regulations: Formalization and Complexity Results.
In Luis Fariñas del Cerro, Andreas Herzig, and Jérôme Mengin, editors, 13th European Conference on Logics in Artificial Intelligence (JELIA 2012), September 26-28, 2012, Toulouse, France, volume 7519 of LNCS, pages 80-93. Springer, September 2012.
[
bib | paper ]

Harald Beck, Thomas Eiter, and Thomas Krennwallner.
Inconsistency Management for Traffic Regulations.
In Biplav Srivastava, Freddy Lécué, and Anupam Joshi, editors, AAAI 2012 Workshop on Semantic Cities, pages 2-8. AAAI Press, July 2012.
[
bib  | paper ]

Reviewing

Else


Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist die Fakultät für Informatik an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer.