Christoph Beierle
4 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 ยท Bronze
๐ฃ
Hot Topic Early Bird
๐
Keyword Champion
(2)
Top co-authors
Research topics
Keywords
formal methods
(2)
ranking function
(2)
knowledge representation
(2)
conditional independence
(1)
non-monotonic reasoning
(1)
iterated belief revision
(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