Name Card

Full name Familienname, Vorname
Redl, Christoph
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 51 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1REDL, CHRISTOPH Inlining External Sources in Answer Set ProgramsArtikel Article 2019
2Eiter, Thomas ; Kaminski, Tobias ; Redl, Christoph ; Weinzierl, Antonius Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source AccessBericht Report2018
3Redl, Christoph Inconsistency in Answer Set Programs and ExtensionsBericht Report2018
4Redl, Christoph Inlining External Sources in Answer Set ProgramsBericht Report2018
5Eiter Thomas - 2018 - The DLVHEX System.pdf.jpgEiter, Thomas ; Germano, Stefano ; Ianni, Giovambattista ; Kaminski, Tobias ; Redl, Christoph ; Schüller, Peter ; Weinzierl, Antonius The DLVHEX SystemArticle Artikel 2018
6Eiter Thomas - 2018 - Exploiting Partial Assignments for Efficient Evaluation of...pdf.jpgEiter, Thomas ; Kaminski, Tobias ; Redl, Christoph ; Weinzierl, Antonius Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source AccessArticle Artikel 2018
7Redl, Christoph Explaining Inconsistency in Answer Set Programs and ExtensionsKonferenzbeitrag Inproceedings 2017
8Redl, Christoph DLVHEX: A user-oriented integration of answer set programming with external sourcesPräsentation Presentation2017
9Rath, Jakob ; Redl, Christoph Integrating Answer Set Programming with Procedural LanguagesKonferenzbeitrag Inproceedings 2017
10Redl, Christoph Extending Answer Set Programs with Interpreted Functions as First-class CitizensKonferenzbeitrag Inproceedings 2017
11Redl, Christoph Answer Set Programs with Queries over SubprogramsKonferenzbeitrag Inproceedings 2017
12Redl, Christoph Conflict-driven ASP Solving with External Sources and Program SplitsKonferenzbeitrag Inproceedings 2017
13Redl, Christoph Efficient Evaluation of Answer Set Programs with External Sources Based on External Source InliningKonferenzbeitrag Inproceedings 2017
14Redl, Christoph On Equivalance and Inconsistency of Answer Set Programs with External SourcesKonferenzbeitrag Inproceedings 2017
15Eiter Thomas - 2017 - Answer Set Programming with External Source Access.pdf.jpgEiter, Thomas ; Kaminski, Tobias Dietmar ; Redl, Christoph ; Schüller, Peter ; Weinzierl, Antonius Answer Set Programming with External Source AccessInproceedings Konferenzbeitrag 2017
16Eiter, 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
17Redl, Christoph The ABC Benchmarking System User ManualBericht Report2016
18Ianni, Giovambattista ; Calimeri, Francesco ; Germano, Stefano ; Humenberger, Andreas ; Redl, Christoph ; Stepanova, Daria ; Tucci, Andrea ; Wimmer, Anton Angry-HEX: an Artificial Player for Angry Birds Based on Declarative Knowledge BasesArtikel Article2016
19Redl, Christoph Automated Benchmarking of KR-SystemsKonferenzbeitrag Inproceedings 2016
20Eiter, Thomas ; Redl, Christoph ; Schüller, Peter Problem Solving Using the HEX FamilyKonferenzbeitrag Inproceedings 2016

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Strasser Anton - 2022 - Epistemic Logic Programs.pdf.jpgStrasser, Anton Epistemic Logic ProgramsThesis Hochschulschrift 2022
2Leutgoeb Alexander - 2016 - Development of a build system for cross-platform...pdf.jpgLeutgöb, Alexander Development of a build system for cross-platform open-source projectsThesis Hochschulschrift 2016