Tobias Geibinger
6 papers
· 2021–2025
· 2 conferences
· across top CS/AI conferences
Achievements
π
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