Thomas Krennwallner

Project staff - Ph.D. Student

web:	http://www.kr.tuwien.ac.at/staff/tkren/
email:	tkren at kr.tuwien.ac.at
Phone:	+43 (1) 58 801-18469
Fax:	+43 (1) 58 801-18493
Office:	Favoritenstrasse 9-11 A-1040 Vienna, Austria 4th staircase, 3rd floor, room HE 03 36 (see contact 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.

Research Project

Modular HEX-Programs, funded by the Austrian Science Fund (FWF) project P20841

Publications

A list of my publications can be found on my publication page, at DBLP (Faceted DBLP), or at Google Scholar.

Software

DLVHEX

Prototype solver for HEX-programs which integrate Answer-Set Programs with higher-order reasoning and external computation sources. It comes with a full-fledged plug-in framework for rapid extension development. See also the ASP tutorial.
DMCS (in progress)
GiaBATA

A SPARQL engine with deductive database support.
XSPARQL

Prototype implementation of XSPARQL, a combination of XQuery and SPARQL.

$Id: index.html 662 2010-01-21 13:43:32Z 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.