Name Card

Full name Familienname, Vorname
Krennwallner, Thomas
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 69 (Search time: 0.006 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Krennwallner Thomas - 2018 - Modular nonmonotonic logic programs.pdf.jpgKrennwallner, Thomas Modular nonmonotonic logic programsThesis Hochschulschrift 2018
2Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter A model building framework for answer set programming with external computationsArtikel Article Jul-2016
3Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph Domain Expansion for ASP-Programs with External SourcesArtikel Article 2016
4Eiter, Thomas ; Krennwallner, Thomas ; Prandtstetter, Matthias ; Rudloff, Christian ; Schneider, Patrik ; Straub, Markus Semantically Enriched Multi-Modal RoutingArtikel Article 2016
5Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter A Model Building Framework for Answer Set Programming with External ComputationsBericht Report2015
6Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas Distributed Evaluation of Nonmonotonic Multi-Context SystemsArtikel Article2015
7Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph Domain Expansion for ASP-Programs with External SourcesBericht Report2014
8Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph hex-Programs with Existential QuantificationKonferenzbeitrag Inproceedings 2014
9Shen, Yi-Dong ; Wang, Kewen ; Eiter, Thomas ; Fink, Michael ; Redl, Christoph ; Krennwallner, Thomas ; Deng, Jun FLP answer set semantics without circular justifications for general logic programsArtikel Article2014
10Eiter, T. ; Fink, M. ; Krennwallner, T. ; Redl, C. ; Schüller, P. Efficient HEX-Program Evaluation based on Unfounded SetsArtikel Article2014
11Eiter, Thomas ; Krennwallner, Thomas ; Prandtstetter, Matthias ; Rudloff, Christian ; Schneider, Patrik ; Straub, Markus Semantically Enriched Multi-Modal RoutingArtikel Article 2014
12Eiter, Thomas ; Krennwallner, Thomas ; Schneider, Patrik Lightweight Spatial Conjunctive Query Answering Using KeywordsKonferenzbeitrag Inproceedings 2013
13Eiter, Thomas ; Krennwallner, Thomas ; Redl, Christoph HEX-Programs with Nested Program CallsKonferenzbeitrag Inproceedings 2013
14Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph Grounding HEX-Programs with Expanding DomainsKonferenzbeitrag Inproceedings 2013
15Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph Liberal Safety for Answer Set Programs with External SourcesKonferenzbeitrag Inproceedings 2013
16Charwat, Günther ; Ianni, Giovambattista ; Krennwallner, Thomas ; Kronegger, Martin ; Pfandler, Andreas ; Redl, Christoph ; Schwengerer, Martin ; Spendier, Lara ; Wallner, Johannes Peter ; Xiao, Guohui VCWC: A Versioning Competition Workflow CompilerKonferenzbeitrag Inproceedings 2013
17Alviano, Mario ; Calimeri, Francesco ; Charwat, Günther ; Dao-Tran, Minh ; Dodaro, Carmine ; Ianni, Giovambattista ; Krennwallner, Thomas ; Kronegger, Martin ; Oetsch, Johannes ; Pfandler, Andreas ; Puehrer, Joerg ; Redl, Christoph ; Ricca, Francesco ; Schneider, Patrik ; Schwengerer, Martin ; Spendier, Lara ; Wallner, Johannes Peter ; Xiao, Guohui The Fourth Answer Set Programming Competition: Preliminary ReportKonferenzbeitrag Inproceedings2013
18Eiter, Thomas ; Krennwallner, Thomas ; Schneider, Patrik ; Xiao, Guohui Uniform Evaluation of Nonmonotonic DL-ProgramsKonferenzbeitrag Inproceedings2012
19Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter Improving HEX-Program Evaluation based on Unfounded SetsBericht Report2012
20Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter Eliminating Unfounded Set Checking for HEX-ProgramsKonferenzbeitrag Inproceedings 2012

Contributing Publications Mitbeteiligte Publikationen

Results 1-10 of 10 (Search time: 0.004 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Gottlob, Georg ; Orsi, Giorgio ; Pieris, Andreas ; Šimkus, Mantas Datalog and Its Extensions for Semantic Web DatabasesKonferenzbeitrag Inproceedings 2012
2Ortiz, Magdalena ; Šimkus, Mantas Reasoning and Query Answering in Description LogicsKonferenzbeitrag Inproceedings 2012
3Eiter, Thomas ; Krennwallner, Thomas Reasoning Web. Semantic Technologies for Advanced Query AnsweringBuch Book 2012
4Artem, Konev Reasoning with RDF(S) and F-logicThesis Hochschulschrift2012
5Wijaya Tri Kurniawan - 2011 - The top-down evaluation techniques for modular...pdf.jpgWijaya, Tri Kurniawan The top-down evaluation techniques for modular nonmonotonic logic programsThesis Hochschulschrift 2011
6Eiter, Thomas ; El Ghali, Adil ; Fernández, Sergio ; Heymans, Stijn ; Krennwallner, Thomas ; Lévy, François BuRO 2010: 1st International Workshop on Business Models, Business Rules and Ontologies, 21 September 2010, ProceedingsKonferenzband Proceedings 2010
7Xiao, Guohui ; Heymans, Stijn ; Eiter, Thomas DReW: a Reasoner for Datalog-rewritable Description Logics and DL-ProgramsKonferenzbeitrag Inproceedings 2010
8Krennwallner, Thomas Combining Nonmonotonic Knowledge Bases for Modular and Distributed Knowledge-Based Information SystemsKonferenzbeitrag Inproceedings2010
9Schneider, Patrik Evaluation of description logic programs using an RDBMSThesis Hochschulschrift2010
10Rybenko, Ksenia Collaborative process management in construction by means of rules and ontologiesThesis Hochschulschrift2009