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 21-40 of 69 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
21Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter Exploiting Unfounded Sets for HEX-Program EvaluationKonferenzbeitrag Inproceedings 2012
22EITER, THOMAS ; FINK, MICHAEL ; KRENNWALLNER, THOMAS ; REDL, CHRISTOPH Conflict-driven ASP solving with external sourcesArtikel Article2012
23Calimeri, Francesco ; Ianni, Giovambattista ; Krennwallner, Thomas ; Ricca, Francesco The Answer Set Programming CompetitionArtikel Article2012
24Beck, Harald ; Eiter, Thomas ; Krennwallner, Thomas Inconsistency Management for Traffic Regulations: Formalization and Complexity ResultsKonferenzbeitrag Inproceedings 2012
25Bischof, Stefan ; Decker, Stefan ; Krennwallner, Thomas ; Polleres, Axel Mapping between RDF and XML with XSPARQLArtikel Article2012
26Eiter, Thomas ; Krennwallner, Thomas ; Prandtstetter, Matthias ; Rudloff, Christian ; Schneider, Patrik ; Straub, Markus Semantically Enriched Multi-Modal RoutingKonferenzbeitrag Inproceedings 2012
27Beck, Harald ; Eiter, Thomas ; Krennwallner, Thomas Inconsistency Managment for Traffic RegulationsKonferenzbeitrag Inproceedings 2012
28Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph Conflict-driven ASP Solving with External SourcesPreprint Preprint2012
29Krennwallner, Thomas Promoting Modular Nonmonotonic Logic ProgramsPräsentation Presentation2011
30Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Krennwallner, Thomas ; Schüller, Peter Pushing Efficient Evaluation of HEX Programs by Modular DecompositionPräsentation Presentation2011
31Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Krennwallner, Thomas ; Schüller, Peter Pushing Efficient Evaluation of HEX Programs by Modular DecompositionPräsentation Presentation2011
32Eiter, Thomas ; Krennwallner, Thomas ; Redl, Christoph Nested HEX-ProgramsKonferenzbeitrag Inproceedings 2011
33Eiter, Thomas ; Krennwallner, Thomas ; Redl, Christoph Declarative Merging of and Reasoning about Decision DiagramsKonferenzbeitrag Inproceedings 2011
34Redl, Christoph ; Eiter, Thomas ; Krennwallner, Thomas Declarative Belief Set Merging Using Merging PlansKonferenzbeitrag Inproceedings 2011
35Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas First-Order Encodings of Modular Nonmonotonic Logic ProgramsKonferenzbeitrag Inproceedings 2011
36Krennwallner, Thomas Promoting Modular Nonmonotonic Logic ProgramsKonferenzbeitrag Inproceedings 2011
37Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas Model Streaming for Distributed Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
38Bischof, Stefan ; Decker, Stefan ; Krennwallner, Thomas ; Lopes, Nuno ; Polleres, Axel Mapping between RDF and XML with XSPARQLBericht Report2011
39Drescher, Christian ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Walsh, Toby Symmetry Breaking for Distributed Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
40Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Krennwallner, Thomas ; Schüller, Peter Pushing Efficient Evaluation of HEX Programs by Modular DecompositionKonferenzbeitrag Inproceedings 2011