Harald Beck

  • Project Assistant, MSc
  • TU Wien
  • Institut für Informationssysteme 184/3
  • Favoritenstraße 9–11
  • 1040 Wien
  • Austria


Research Interests

  • Stream Reasoning, Logic Programming

Current Position

  • I am a PhD student associated with the Doctoral College Logical Methods in Computer Science, TU Wien. I started my PhD studies in March 2014 under the supervision of Prof. Thomas Eiter. I am also a project assistant in the Knowledge-Based Systems Group (KBS).

Education

  • MSc in Computational Intelligence (TU Wien), master thesis: Inconsistency Management for Traffic Regulations, Oktober 2013. BSc in Software and Information Engineering (TU Wien).

Publications

  1. Harald Beck, Bruno Bierbaumer, Minh Dao-Tran, Thomas Eiter, Hermann Hellwagner, 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. Harald Beck, Thomas Eiter, and Thomas Krennwallner. Inconsistency Management for Traffic Regulations: Formalization and Complexity Results.13th European Conference on Logics in Artificial Intelligence (JELIA 2012), September 26-28, 2012, Toulouse, France, 2012.
  11. Harald Beck, Thomas Eiter, and Thomas Krennwallner. Inconsistency Management for Traffic Regulations. AAAI 2012 Workshop on Semantic Cities, pages 2-8. AAAI Press, July 2012.

Awards

  • Distinguished Young Alumnus-Award, Faculty of Informatics, TU Wien, Nov. 2013; OCG Incentive Award 2015.