Martin Gebser
7 papers · 2013–2026 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🏃
Academic Marathon · Half
🌉
Interdisciplinary Bridge · Bronze
🐣
Hot Topic Early Bird
🚀
Conference Pioneer
Top co-authors
Research topics
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