The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Christoph Redl" ( http://dblp.L3S.de/Authors/Christoph_Redl )

  Author page on DBLP  Author page in RDF  Community of Christoph Redl in ASPL-2

Publication years (Num. hits)
2011-2013 (15) 2014-2017 (20) 2018-2019 (5)
Publication types (Num. hits)
article(17) inproceedings(23)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 41 publication records. Showing 40 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Christoph Redl Inlining External Sources in Answer Set Programs. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Christoph Redl Inlining External Sources in Answer Set Programs. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Christoph Redl Technical Report: Inconsistency in Answer Set Programs and Extensions. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Thomas Eiter, Stefano Germano, Giovambattista Ianni, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl The DLVHEX System. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Christoph Redl Explaining Inconsistency in Answer Set Programs and Extensions. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Christoph Redl Answer Set Programs with Queries over Subprograms. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Christoph Redl On Equivalence and Inconsistency of Answer Set Programs with External Sources. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Christoph Redl Efficient Evaluation of Answer Set Programs with External Sources Based on External Source Inlining. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Thomas Eiter, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl Answer Set Programming with External Source Access. Search on Bibsonomy Reasoning Web The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jakob Rath, Christoph Redl Integrating Answer Set Programming with Object-Oriented Languages. Search on Bibsonomy PADL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Christoph Redl Extending Answer Set Programs with Interpreted Functions as First-Class Citizens. Search on Bibsonomy PADL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Christoph Redl Conflict-driven ASP Solving with External Sources and Program Splits. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Christoph Redl Domain expansion for ASP-programs with external sources. Search on Bibsonomy Artif. Intell. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christoph Redl The DLVHEX System for Knowledge Representation: Recent Advances (System Description). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Francesco Calimeri, Michael Fink 0001, Stefano Germano, Andreas Humenberger, Giovambattista Ianni, Christoph Redl, Daria Stepanova 0001, Andrea Tucci, Anton Wimmer Angry-HEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases. Search on Bibsonomy IEEE Trans. Comput. Intellig. and AI in Games The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christoph Redl The dlvhex system for knowledge representation: recent advances (system description). Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller A model building framework for answer set programming with external computations. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Christoph Redl, Peter Schüller Problem Solving Using the HEX Family. Search on Bibsonomy Computational Models of Rationality The full citation details ... 2016 DBLP  BibTeX  RDF
1Christoph Redl Automated Benchmarking of KR-systems. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2016 DBLP  BibTeX  RDF
1Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller A model building framework for Answer Set Programming with external computations. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Yi-Dong Shen, Kewen Wang, Thomas Eiter, Michael Fink 0001, Christoph Redl, Thomas Krennwallner, Jun Deng FLP answer set semantics without circular justifications for general logic programs. Search on Bibsonomy Artif. Intell. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Christoph Redl, Peter Schüller Efficient HEX-Program Evaluation Based on Unfounded Sets. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Christoph Redl, Daria Stepanova 0001 Exploiting Support Sets for Answer Set Programs with External Evaluations. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Christoph Redl, Peter Schüller Eliminating Unfounded Set Checking for HEX-Programs Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Mario Alviano, Francesco Calimeri, Günther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Johannes Oetsch, Andreas Pfandler, Jörg Pührer, Christoph Redl, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao 0001 The Fourth Answer Set Programming Competition: Preliminary Report. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Michael Fink 0001, Stefano Germano, Giovambattista Ianni, Christoph Redl, Peter Schüller ActHEX: Implementing HEX Programs with Action Atoms. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Günther Charwat, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Andreas Pfandler, Christoph Redl, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao 0001 VCWC: A Versioning Competition Workflow Compiler. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Christoph Redl Liberal Safety for Answer Set Programs with External Sources. Search on Bibsonomy AAAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Christoph Redl hex-Programs with Existential Quantification. Search on Bibsonomy KDPD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Michael Fink 0001, Stefano Germano, Giovambattista Ianni, Christoph Redl, Anton Wimmer AngryHEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases. Search on Bibsonomy PAI@AI*IA The full citation details ... 2013 DBLP  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Christoph Redl Conflict-driven ASP Solving with External Sources Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Christoph Redl Conflict-driven ASP solving with external sources. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Christoph Redl, Peter Schüller Exploiting Unfounded Sets for HEX-Program Evaluation. Search on Bibsonomy JELIA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Christoph Redl, Ivan Breskovic, Ivona Brandic, Schahram Dustdar Automatic SLA Matching and Provider Selection in Grid and Cloud Computing Markets. Search on Bibsonomy GRID The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Christoph Redl Answer Set Programming with External Sources. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Thomas Krennwallner, Christoph Redl Nested HEX-Programs Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Thomas Eiter, Thomas Krennwallner, Christoph Redl HEX-Programs with Nested Program Calls. Search on Bibsonomy INAP/WLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christoph Redl, Thomas Eiter, Thomas Krennwallner Declarative Belief Set Merging Using Merging Plans. Search on Bibsonomy PADL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #40 of 40 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license