Tobias Geibinger
6 papers · 2021–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π Cross-Pollinator (12) π§ Keyword Pioneer π Conference Polyglot (2) π Renaissance Researcher (5) π Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(11)
π
Keyword Champion
(4)
π₯
Unstoppable
(5)
Conferences
AAAI (3)
IJCAI (3)
Top co-authors
Keywords
answer-set programming
(4)
explainable ai
(2)
combinatorial optimization
(2)
constraint solving
(1)
knowledge representation
(1)
automated reasoning
(1)
parallel computing
(1)
parallel evaluation
(1)
empirical evaluation
(1)
answer set programming
(1)
project scheduling
(1)
equilibrium logic
(1)
contrastive explanation
(1)
neurosymbolic reasoning
(1)
nonmonotonic reasoning
(1)
sequent calculus
(1)
stable model semantics
(1)
cluster computing
(1)
constraint logic programming
(1)
constraint atom
(1)
Papers
A Sequent Calculus for Answer Set Entailment
IJCAI 2025
Parallel Empirical Evaluations: Resilience despite Concurrency
AAAI 2024
Explaining Answer-Set Programs with Abstract Constraint Atoms
IJCAI 2023
A Logic-based Approach to Contrastive Explainability for Neurosymbolic Visual Question Answering
IJCAI 2023
Large-Neighbourhood Search for Optimisation in Answer-Set Solving
AAAI 2022
Constraint Logic Programming for Real-World Test Laboratory Scheduling
AAAI 2021