Martin Gebser

University of Klagenfurt , Austria; Graz University of Technology , Austria

7 papers in the IJCAI proceedings

IJCAI 2021

Lifting Symmetry Breaking Constraints with Inductive Logic Programming

with Alice Tarzariol, Konstantin Schekotihin

doi:10.24963/ijcai.2021/284

Details PDF

IJCAI 2018

Evaluation Techniques and Systems for Answer Set Programming: a Survey

with Nicola Leone, Marco Maratea, Simona Perri, Francesco Ricca, Torsten Schaub

doi:10.24963/ijcai.2018/769

Details PDF

IJCAI 2016

From Non-Convex Aggregates to Monotone Aggregates in ASP

with Mario Alviano, Wolfgang Faber

Details PDF

Knowledge-Based Sequence Mining with ASP

with Thomas Guyet, Rene Quiniou, Javier Romero, Torsten Schaub

Details PDF

IJCAI 2013

Advanced Conflict-Driven Disjunctive Answer Set Solving

with Benjamin Kaufmann, Torsten Schaub

Details PDF

IJCAI 2011

Finite Model Computation via Answer Set Programming

with Orkunt Sabuncu, Torsten Schaub

doi:10.5591/978-1-57735-516-8/IJCAI11-437

Details PDF

IJCAI 2007

Conflict-Driven Answer Set Solving

with Benjamin Kaufmann, André Neumann, Torsten Schaub

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings