University Assistant - Ph.D. Student
Thomas Krennwallner received his BSc (Bakk. techn.) in software and information engineering (2005) and MSc (Dipl.-Ing.) in computational intelligence (2007) from the Vienna University of Technology, Austria. He works as a research and university assistant at the Institute of Information Systems at Vienna University of Technology, where he is currently pursuing his Ph.D. at the Knowledge-Based Systems Group. In 2007 and 2008, he was employed as research intern at the Digital Enterprise Research Institute (DERI) of the National University of Galway, Ireland. Between 1999 and 2004 he was working as software developer in several companies. He won the Content Award Vienna 2012 Smart City Price with the MyITS project. His research was honored with a best paper award of the Int'l Conference on Logic Programming and Nonmonotonic Reasoning 2011, and a best presentation award at the Doctoral Consortium of the Int'l Conference on Logic Programming 2011. He has been awarded the OCG Förderpreis 2009 (OCG advancement award 2009) of the Austrian Computer Society for his master thesis. Krennwallner is the competition chair of the Federated Logic Conference 2014 Olympic Games, organizing cochair of the fourth Answer Set Programming Competition 2013, and local organization cochair of the Reasoning Web (RW) 2012 summer school and the Int'l Web Reasoning and Rules Conference (RR) 2012 in Vienna. He is a team member of knowledge representation systems such as DLVHEX, DMCS, GiaBATA, and XSPARQL, and a maintainer for several Debian packages.
More details: Curriculum Vitae.
National project Evaluation of ASP Programs with External Source Access, funded by the Austrian Science Fund (FWF) project P24090
National project MyITS (Mein persönliches intelligentes Mobilitätsservice), funded by the Austrian Research Promotion Agency (FFG) under the ways2go - Technologien für sich wandelnde Mobilitätsbedürfnisse Call 3 (P828897)
Marie Curie Action IRSES NET2 (A Network for Enabling Networked Knowledge), funded by the European Union's People Programme of the 7th Framework Programme under the Information and Communication Technologies (ICT) Call 3 (FP7-247601-NET2)
Large-scale integrating project (IP) ONTORULE (ONTOlogies meet Business RULEs), funded by the European Union's 7th Framework Programme under the Information and Communication Technologies (ICT) Call 3 (ICT-231875)
A list of my publications can be found on my publication page, at DBLP (Faceted DBLP, Classic DBLP), at Google Scholar Citations, or at the Publication Database of the Vienna University of Technology.
See our teaching and courses section for my current courses and practical works.
Debian project: Debian QA.
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.
Prototype solver for distributed nonmonotonic multi-context systems.
A SPARQL engine with deductive database support.
Prototype implementation of XSPARQL, a combination of XQuery and SPARQL.