Christoph Redl

2 papers · 2016–2017 · 1 conference · across top CS/AI conferences

Achievements

🧭 Keyword Pioneer 🐝 Cross-Pollinator (12)

Conferences

IJCAI (2)

Top co-authors

Antonius Weinzierl (1) Tobias Kaminski (1) Thomas Eiter (1)

Keywords

answer set programming (1) value invention (1) program splitting (1) conflict-driven learning (1) external atom (1)

Papers

Conflict-driven ASP Solving with External Sources and Program Splits IJCAI 2017

Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access IJCAI 2016