Krennwallner, Thomas

Network Lab View Statistics Email Alert RSS Feed

Name Card

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

Own Publications Eigene Publikationen

Results 1-20 of 40 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph hex-Programs with Existential QuantificationKonferenzbeitrag Inproceedings 2014
2Eiter, Thomas ; Krennwallner, Thomas ; Schneider, Patrik Lightweight Spatial Conjunctive Query Answering Using KeywordsKonferenzbeitrag Inproceedings 2013
3Eiter, Thomas ; Krennwallner, Thomas ; Redl, Christoph HEX-Programs with Nested Program CallsKonferenzbeitrag Inproceedings 2013
4Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph Grounding HEX-Programs with Expanding DomainsKonferenzbeitrag Inproceedings 2013
5Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph Liberal Safety for Answer Set Programs with External SourcesKonferenzbeitrag Inproceedings 2013
6Charwat, 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
7Alviano, 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
8Eiter, Thomas ; Krennwallner, Thomas ; Schneider, Patrik ; Xiao, Guohui Uniform Evaluation of Nonmonotonic DL-ProgramsKonferenzbeitrag Inproceedings2012
9Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter Eliminating Unfounded Set Checking for HEX-ProgramsKonferenzbeitrag Inproceedings 2012
10Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter Exploiting Unfounded Sets for HEX-Program EvaluationKonferenzbeitrag Inproceedings 2012
11Beck, Harald ; Eiter, Thomas ; Krennwallner, Thomas Inconsistency Management for Traffic Regulations: Formalization and Complexity ResultsKonferenzbeitrag Inproceedings 2012
12Eiter, Thomas ; Krennwallner, Thomas ; Prandtstetter, Matthias ; Rudloff, Christian ; Schneider, Patrik ; Straub, Markus Semantically Enriched Multi-Modal RoutingKonferenzbeitrag Inproceedings 2012
13Beck, Harald ; Eiter, Thomas ; Krennwallner, Thomas Inconsistency Managment for Traffic RegulationsKonferenzbeitrag Inproceedings 2012
14Eiter, Thomas ; Krennwallner, Thomas ; Redl, Christoph Nested HEX-ProgramsKonferenzbeitrag Inproceedings 2011
15Eiter, Thomas ; Krennwallner, Thomas ; Redl, Christoph Declarative Merging of and Reasoning about Decision DiagramsKonferenzbeitrag Inproceedings 2011
16Redl, Christoph ; Eiter, Thomas ; Krennwallner, Thomas Declarative Belief Set Merging Using Merging PlansKonferenzbeitrag Inproceedings 2011
17Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas First-Order Encodings of Modular Nonmonotonic Logic ProgramsKonferenzbeitrag Inproceedings 2011
18Krennwallner, Thomas Promoting Modular Nonmonotonic Logic ProgramsKonferenzbeitrag Inproceedings 2011
19Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas Model Streaming for Distributed Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
20Drescher, Christian ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Walsh, Toby Symmetry Breaking for Distributed Multi-Context SystemsKonferenzbeitrag Inproceedings 2011

Contributing Publications Mitbeteiligte Publikationen

Results 1-4 of 4 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue 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
3Xiao, Guohui ; Heymans, Stijn ; Eiter, Thomas DReW: a Reasoner for Datalog-rewritable Description Logics and DL-ProgramsKonferenzbeitrag Inproceedings 2010
4Krennwallner, Thomas Combining Nonmonotonic Knowledge Bases for Modular and Distributed Knowledge-Based Information SystemsKonferenzbeitrag Inproceedings2010