Christoph Redl

Christoph Redl

Fachhochschule Technikum Wien - Vienna / Austria
Engineering & Technology / Computer Science
AD Scientific Index ID: 1386725
University of Applied Sciences Technikum Wien
person_outline Christoph Redl's MOST POPULAR ARTICLES
1-) The fourth answer set programming competition: Preliminary report Logic Programming and Nonmonotonic Reasoning: 12th International Conference …, 2013
2-) A model building framework for answer set programming with external computations Theory and Practice of Logic Programming 16 (4), 418-464, 2016
3-) Angry-HEX: an artificial player for angry birds based on declarative knowledge bases IEEE Transactions on Computational Intelligence and AI in Games 8 (2), 128-139, 2015
4-) Conflict-driven ASP solving with external sources Theory and Practice of Logic Programming 12 (4-5), 659-679, 2012
5-) FLP answer set semantics without circular justifications for general logic programs Artificial Intelligence 213, 1-41, 2014