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

Filter:
Subject:  Answer Set Programming

Results 1-20 of 27 (Search time: 0.009 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
3Shen, 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
4Eiter, T. ; Fink, M. ; Krennwallner, T. ; Redl, C. ; Schüller, P. Efficient HEX-Program Evaluation based on Unfounded SetsArtikel Article2014
5Eiter, Thomas ; Krennwallner, Thomas ; Schneider, Patrik ; Xiao, Guohui Uniform Evaluation of Nonmonotonic DL-ProgramsKonferenzbeitrag Inproceedings2012
6Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter Eliminating Unfounded Set Checking for HEX-ProgramsKonferenzbeitrag Inproceedings 2012
7Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter Exploiting Unfounded Sets for HEX-Program EvaluationKonferenzbeitrag Inproceedings 2012
8EITER, THOMAS ; FINK, MICHAEL ; KRENNWALLNER, THOMAS ; REDL, CHRISTOPH Conflict-driven ASP solving with external sourcesArtikel Article2012
9Calimeri, Francesco ; Ianni, Giovambattista ; Krennwallner, Thomas ; Ricca, Francesco The Answer Set Programming CompetitionArtikel Article2012
10Beck, Harald ; Eiter, Thomas ; Krennwallner, Thomas Inconsistency Managment for Traffic RegulationsKonferenzbeitrag Inproceedings 2012
11Krennwallner, Thomas Promoting Modular Nonmonotonic Logic ProgramsPräsentation Presentation2011
12Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Krennwallner, Thomas ; Schüller, Peter Pushing Efficient Evaluation of HEX Programs by Modular DecompositionPräsentation Presentation2011
13Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Krennwallner, Thomas ; Schüller, Peter Pushing Efficient Evaluation of HEX Programs by Modular DecompositionPräsentation Presentation2011
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
19Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Krennwallner, Thomas ; Schüller, Peter Pushing Efficient Evaluation of HEX Programs by Modular DecompositionKonferenzbeitrag Inproceedings 2011
20Bairakdar, Seif El-Din ; Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas Decomposition of Distributed Nonmonotonic Multi-Context SystemsKonferenzbeitrag Inproceedings 2010

Contributing Publications Mitbeteiligte Publikationen

Filter:
Subject:  Answer Set Programming

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

PreviewAuthor(s)TitleTypeIssue Date
1Artem, Konev Reasoning with RDF(S) and F-logicThesis Hochschulschrift2012
2Wijaya 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