Thomas Krennwallner |
|
|||||||||||||
|
University Assistant - 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. 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
-
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 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)
-
National project Modular HEX-Programs, funded by the Austrian Science Fund (FWF) project P20841
Past Research Projects
-
inContext (Interaction and context based technologies for collaborative teams), funded by the European Union's 6th Framework Programme (FP6-034718)
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
- Local organization of the 6th International Conference on Web Reasoning and Rule Systems (RR 2012), Vienna, Austria, September 10-12, 2012
- Local organization of the 8th Reasoning Web Summer School (RW 2012), Vienna, Austria, September 03-08, 2012
Program Committees
- 10th International Semantic Web Conference (ISWC 2011), Bonn, Germany, October 23-27, 2011
- 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), Barcelona, Catalonia (Spain), July 16-22, 2011
- 9th International Semantic Web Conference (ISWC 2010), Posters and Demonstrations Track, Shanghai, China, November 7-11, 2010
- 1st International Workshop on Business Models, Business Rules and Ontologies (BuRO 2010), co-located with the 4th International Conference on Web Reasoning and Rule Systems (RR 2010), Bressanone/Brixen, Italy, September 22-24, 2010
Reviewing for Journals
Reviewing for Conferences and Workshops
- European Conference on Artificial Intelligence (ECAI): 2010
- European Semantic Web Conference (ESWC): 2008
- Intl. Symposium on Foundations of Information and Knowledge Systems (FoIKS): 2010
- Intl. Conference on Logic Programming (ICLP): 2009, 2010
- IEEE Intl. Conference on Semantic Computing (ICSC): 2008
- Intl. Joint Conference on Artificial Intelligence (IJCAI): 2009, 2011
- International Conference on Applications of Declarative Programming and Knowledge Management (INAP): 2011
- Intl. Semantic Web Conference (ISWC): 2009, 2010, 2011
- Intl. Conference on the Principles of Knowledge Representation and Reasoning (KR): 2010
- Intl. Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR): 2009
- Intl. Conference on Scalable Uncertainty Management (SUM): 2008
- Intl. World Wide Web Conference (WWW): 2008, 2009, 2010
- Workshop on Applications of Logic Programming to the (Semantic) Web and Web Services (ALPSWS): 2008
- Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP): 2011
- Intl. Workshop on Business Models, Business Rules and Ontologies (BuRO): 2010
- Intl. Workshop on Cooperative Information Agents (CIA) 2008
- Intl. Workshop on Description Logics (DL): 2009
Software
-
A repository of non-official Debian/Ubuntu packages for ASP systems like clasp, dlv, smodels, etc.
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.
I use the 
,
, and 
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 $