Christoph Redl

Institut für Informationssysteme , Technische Universität Wien Favoritenstraße 9-11 , A-1040 Vienna , Austria

2 papers in the IJCAI proceedings

IJCAI 2017

Conflict-driven ASP Solving with External Sources and Program Splits

doi:10.24963/ijcai.2017/172

Details PDF

IJCAI 2016

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

with Thomas Eiter, Tobias Kaminski, Antonius Weinzierl

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings