Christoph Redl

A model building framework for answer set programming with external computations

Thomas Eiter, Michael Fink, Giovambattista Ianni et al. · Theory and Practice of Logic Programming · 2015 · 46 citations · Full text

Artificial Intelligence, Engineering, Model Building Framework +22

Automatic SLA Matching and Provider Selection in Grid and Cloud Computing Markets

Christoph Redl, Ivan Brešković, Ivona Brandić et al. · 2012 · 44 citations

Cluster Computing, Provisioning (Technology), Engineering +26

FLP answer set semantics without circular justifications for general logic programs

Yi-Dong Shen, Kewen Wang, Thomas Eiter et al. · Artificial Intelligence · 2014 · 27 citations · Full text

Computational Logic, Non-monotonic Logic, Engineering +15

Angry-HEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases

Francesco Calimeri, Michael Fink, Stefano Germano et al. · IEEE Transactions on Computational Intelligence and AI in Games · 2015 · 27 citations

Artificial Intelligence, Game Ai, Engineering +20

Domain expansion for ASP-programs with external sources

Thomas Eiter, Michael Fink, Thomas Krennwallner et al. · Artificial Intelligence · 2016 · 22 citations

Engineering, Program Analysis, Software Engineering +9