Martin Gebser

4 papers at tracked venues · 1 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

KR ×2 AAAI ×1 ECAI ×1

Frequent coauthors

Alexander Beiser

DBLP profile ↗ORCID search ↗

×1

Andreas Laber

DBLP profile ↗ORCID search ↗

×1

Dominik Rusovac

DBLP profile ↗ORCID search ↗

×1

Papers

A Simple Proof-Theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments (Abstract Reprint)
AAAI 2026 · Martin Gebser
FastFound: Easing the ASP Bottleneck via Predicate-Decoupled Grounding
KR 2025 ·
Alexander Beiser
DBLP profile ↗ORCID search ↗
Equipment Condition-Integrated Predictive Modeling for Optimized Scheduling of Ion Implantation in Semiconductor Manufacturing
ECAI 2024 ·
Andreas Laber
DBLP profile ↗ORCID search ↗
Navigating and Querying Answer Sets: How Hard Is It Really and Why?
KR 2024 ·
Dominik Rusovac
DBLP profile ↗ORCID search ↗