Martin Gebser

7 papers · 2013–2026 · 2 conferences · across top CS/AI conferences

Achievements

🌈 Renaissance Researcher (5) 🌍 Conference Polyglot (2) 🏃 Academic Marathon (10) 🐝 Cross-Pollinator (13) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🚀 Conference Pioneer

Conferences

IJCAI (5) AAAI (2)

Top co-authors

Torsten Schaub (3) Alice Tarzariol (2) Marco Maratea (2) Konstantin Schekotihin (2) Javier Romero (1) Enrico Giunchiglia (1) Simona Perri (1) Francesco Ricca (1) René Quiniou (1) Wolfgang Faber (1)

Keywords

answer set programming (4) symmetry breaking (2) logic programming (2) inductive logic programming (2) automated reasoning (2) constraint learning (1) system evaluation (1) satisfiability modulo theories (1) combinatorial optimization (1) proof theory (1) knowledge representation (1) constraint satisfaction (1) first-order logic (1) stable model (1)

Papers

A Simple Proof-Theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments (Abstract Reprint) AAAI 2026

Learning to Break Symmetries for Efficient Optimization in Answer Set Programming AAAI 2023

Lifting Symmetry Breaking Constraints with Inductive Logic Programming IJCAI 2021

Evaluation Techniques and Systems for Answer Set Programming: a Survey IJCAI 2018

From Non-Convex Aggregates to Monotone Aggregates in ASP IJCAI 2016

Knowledge-Based Sequence Mining with ASP IJCAI 2016

Advanced Conflict-Driven Disjunctive Answer Set Solving IJCAI 2013