Thomas Krennwallner |
|
|||||||||
|
Project staff - Ph.D. Student |
||||||||||
|
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.
I am currently 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
-
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)
-
A SPARQL engine with deductive database support.
-
Prototype implementation of XSPARQL, a combination of XQuery and SPARQL.