Christoph Beierle
4 papers
· 2021–2025
· 2 conferences
· across top CS/AI conferences
Achievements
🌍
Conference Polyglot
(2)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(12)
Conferences
IJCAI (3)
AAAI (1)
Top co-authors
Keywords
formal methods
(2)
ranking function
(2)
knowledge representation
(2)
conditional independence
(1)
iterated belief revision
(1)
nonmonotonic reasoning
(1)
belief base
(1)
lexicographic inference
(1)
syntax splitting
(1)
epistemic state
(1)
belief revision operator
(1)
conditional knowledge
(1)
non-monotonic inference
(1)
conditional syntax splitting
(1)
conditional belief
(1)
inductive inference
(1)
belief revision
(1)