Tobias Geibinger
6 papers · 2021–2025 · 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
🌉
Interdisciplinary Bridge · Silver
🗺️
Taxonomy Completionist
(11)
🔥
Unstoppable · Bronze
Top co-authors
Research topics
Keywords
answer set programming
(5)
explainable ai
(2)
combinatorial optimization
(2)
constraint solving
(1)
knowledge representation
(1)
automated reasoning
(1)
parallel computing
(1)
parallel evaluation
(1)
empirical evaluation
(1)
project scheduling
(1)
non-monotonic reasoning
(1)
equilibrium logic
(1)
contrastive explanation
(1)
neuro-symbolic reasoning
(1)
sequent calculus
(1)
stable model semantics
(1)
cluster computing
(1)
constraint logic programming
(1)
constraint atom
(1)
runtime stability
(1)
Papers
A Sequent Calculus for Answer Set Entailment
IJCAI 2025
Parallel Empirical Evaluations: Resilience despite Concurrency
AAAI 2024
A Logic-based Approach to Contrastive Explainability for Neurosymbolic Visual Question Answering
IJCAI 2023
Explaining Answer-Set Programs with Abstract Constraint Atoms
IJCAI 2023
Large-Neighbourhood Search for Optimisation in Answer-Set Solving
AAAI 2022
Constraint Logic Programming for Real-World Test Laboratory Scheduling
AAAI 2021