Gabriele Kern-Isberner
13 papers · 2016–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+7 more ↓ Show less ↑
π Interdisciplinary Bridge π Conference Polyglot (2) π Academic Marathon (9) π Renaissance Researcher (5) πΊοΈ Taxonomy Completionist (15)
π§
Keyword Pioneer
π
Conference Polyglot
(2)
π
Keyword Champion
(2)
π§¬
Topic Evolution
π
Century Club
(13)
π₯
Unstoppable
(5)
β‘
Prolific Year
(5)
Conferences
IJCAI (8)
AAAI (5)
Top co-authors
Keywords
belief revision
(6)
syntax splitting
(3)
epistemic state
(3)
ranking function
(2)
iterated revision
(2)
lexicographic inference
(2)
belief base
(2)
ordinal conditional function
(2)
formal methods
(2)
abstract dialectical framework
(2)
iterated belief revision
(1)
argumentation semantics
(1)
non-monotonic reasoning
(1)
nonmonotonic reasoning
(1)
bayesian network
(1)
inductive inference
(1)
formal argumentation
(1)
argument ranking
(1)
constraint network
(1)
strong equivalence
(1)
Papers
Generalized Safe Conditional Syntax Splitting of Belief Bases
IJCAI 2025
Decomposing Constraint Networks for Calculating c-Representations
AAAI 2024
Conditional Syntax Splitting for Non-monotonic Inference Operators
AAAI 2023
Implementing Bounded Revision via Lexicographic Revision and C-revision
AAAI 2023
Lexicographic Entailment, Syntax Splitting and the Drowning Problem
IJCAI 2022
Possibilistic Logic Underlies Abstract Dialectical Frameworks
IJCAI 2022
Conditional Independence for Iterated Belief Revision
IJCAI 2022
Revision by Comparison for Ranking Functions
IJCAI 2022
Conditional Abstract Dialectical Frameworks
AAAI 2022
Focused Inference and System P
AAAI 2021
Ranking Extensions in Abstract Argumentation
IJCAI 2021
Strong Syntax Splitting for Iterated Belief Revision
IJCAI 2017
Simulating Human Inferences in the Light of New Information: A Formal Analysis
IJCAI 2016