Christoph Beierle
4 papers · 2021–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌍
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)
Papers
Generalized Safe Conditional Syntax Splitting of Belief Bases
IJCAI 2025
Conditional Syntax Splitting for Non-monotonic Inference Operators
AAAI 2023
Conditional Independence for Iterated Belief Revision
IJCAI 2022
InfOCF-Web: An Online Tool for Nonmonotonic Reasoning with Conditionals and Ranking Functions
IJCAI 2021