Skip to Content

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

Path: KBS > staff > Thomas Krennwallner >> Publications > ASP+Debian

Tools: Drucken


Thomas Krennwallner

Thomas Krennwallner
University Assistant - Ph.D. Student
web: http://www.kr.tuwien.ac.at/staff/tkren/
email: tkren SPIDER MONKEY kr FULL STOP tuwien PERIOD ac DOT at
Phone: +43 (1) 58 801 18469
Fax: +43 (1) 58 801 9 18469
Skype: add contact tuwien-ac-at and then dial extension 18469# with the dial pad
Office: Favoritenstrasse 9-11
A-1040 Vienna, Austria
3rd staircase, 3rd floor, room HD 03 09
(see location info or google maps)
Office hours: by appointment


I started in June 2008 as a research assistant at the Knowledge-Based Systems Group at Vienna University of Technology (TU Wien), Austria, funded by the Austrian Science Fund project Modular HEX-Programs. Before that I was a research intern at DERI Galway in the EU FP6 project inContext. I obtained a master's degree in Computational Intelligence in 2007 at TU Wien. For my master thesis, I have been awarded the OCG Förderpreis 2009 (OCG advancement award 2009) of the Austrian Computer Society (see also the press article in German).

I am doing my PhD under supervision of Prof. Dr. Thomas Eiter and Dr. Michael Fink.

My research interests include Knowledge Representation and Reasoning, especially Logic Programming and Nonmonotonic Reasoning. Currently, I am working on developing extensions and algorithms for modular and distributed evaluation of HEX-programs, modular nonmonotonic logic programs, and heterogeneous nonmonotonic multi-context systems.

More details can be found in my Curriculum Vitae.

Current Research Projects

Past Research Projects

Publications

A list of my publications can be found on my publication page, at DBLP (Faceted DBLP), at Google Scholar Citations, or at the Publication Database of the Vienna University of Technology.

Teaching

See our teaching and courses section for my current courses and practical works.

Professional Activities

Organization

Program Committees

Reviewing for Journals

Reviewing for Conferences and Workshops

Software

I use the Debian, Ubuntu, and Emacs Kitchen Sink operating systems.

Location


View Institute of Information Systems 184, Vienna University of Technology in a larger map

$Id: index.html 7822 2012-02-01 10:14:13Z tkren $


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.