Gabriele Kern-Isberner

ORCID

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 122

Top Venues

Publications

Marco Wilhelm, Gabriele Kern-Isberner
Decomposing Constraint Networks for Calculating c-Representations. AAAI (2024)
Marco Wilhelm, Gabriele Kern-Isberner, Christoph Beierle
Core c-Representations and c-Core Closure for Conditional Belief Bases. FoIKS (2024)
Kai Sauerwald, Christoph Beierle, Gabriele Kern-Isberner
Propositional Variable Forgetting and Marginalization: Semantically, Two Sides of the Same Coin. FoIKS (2024)
Gabriele Kern-Isberner
Ranking-based Conditional Semantics for Defeasible Subsumptions (Abstract of Invited Talk). Description Logics (2024)
Marco Wilhelm, Lars-Phillip Spiegel, Gabriele Kern-Isberner
Intrinsic Prioritization in Answer Set Programming Based on an Adapted Notion of Tolerance. FLAIRS (2024)
Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner
Syntax Splitting and Reasoning from Weakly Consistent Conditional Belief Bases with c-Inference. FoIKS (2024)
Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle
Activation-based Conditional Inference. FLAP 10 (2) (2023)
Andre Thevapalan, Daan Apeldoorn, Gabriele Kern-Isberner, Ralf Georg Meyer, Mathias Nietzke, Torsten Panholzer
Comparison and Incorporation of Reasoning and Learning Approaches for Cancer Therapy Research. GMDS (2023)
Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm
Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks. Artif. Intell. 317 (2023)
Andre Thevapalan, Marco Wilhelm, Gabriele Kern-Isberner, Pascal Kaiser, Moritz Roidl
An Interactive Modelling Environment for Designing Warehouse Layouts Based on ASP. FLAIRS (2023)
Andre Thevapalan, Gabriele Kern-Isberner
Sorting Strategies for Interactive Conflict Resolution in ASP. CoRR (2023)
Marco Wilhelm, Andre Thevapalan, Gabriele Kern-Isberner
Prioritizing Answer Sets Based on Conditional Expert Knowledge. FLAIRS (2023)
Andre Thevapalan, Gabriele Kern-Isberner
On Establishing Robust Consistency in Answer Set Programs. Theory Pract. Log. Program. 23 (5) (2023)
Jonas Haldimann, Thomas Meyer, Gabriele Kern-Isberner, Christoph Beierle
Rational Closure Extension in SPO-Representable Inductive Inference Operators. JELIA (2023)
Eda Ismail-Tsaous, Kai Sauerwald, Marco Ragni, Gabriele Kern-Isberner, Christoph Beierle
On the Cognitive Logic of Human Propositional Reasoning: Merging Ranking Functions. ECSQARU (2023)
Marco Wilhelm, Meliha Sezgin, Gabriele Kern-Isberner, Jonas Haldimann, Christoph Beierle, Jesse Heyninck
Splitting Techniques for Conditional Belief Bases in the Context of c-Representations. JELIA (2023)
Gabriele Kern-Isberner, Meliha Sezgin, Christoph Beierle
A kinematics principle for iterated revision. Artif. Intell. 314 (2023)
Jonas Philipp Haldimann, Christoph Beierle, Gabriele Kern-Isberner
Extending c-Representations and c-Inference for Reasoning with Infeasible Worlds. NMR (2023)
Meliha Sezgin, Gabriele Kern-Isberner
Implementing Bounded Revision via Lexicographic Revision and C-revision. AAAI (2023)
Jesse Heyninck, Gabriele Kern-Isberner, Thomas Andreas Meyer, Jonas Philipp Haldimann, Christoph Beierle
Conditional Syntax Splitting for Non-monotonic Inference Operators. AAAI (2023)
Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner, Thomas Meyer
Conditionals, Infeasible Worlds, and Reasoning with System W. FLAIRS (2023)
Jonas Philipp Haldimann, Christoph Beierle, Gabriele Kern-Isberner
Epistemic State Mappings among Ranking Functions and Total Preorders. FLAP 10 (2) (2023)
Tjitze Rienstra, Jesse Heyninck, Gabriele Kern-Isberner, Kenneth Skiba, Matthias Thimm
Explaining Argument Acceptance in ADFs. ArgXAI@COMMA (2022)
Jesse Heyninck, Matthias Thimm, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba
Conditional Abstract Dialectical Frameworks. AAAI (2022)
Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle
A Conditional Perspective on the Logic of Iterated Belief Contraction. CoRR (2022)
Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm
Possibilistic Logic Underlies Abstract Dialectical Frameworks. IJCAI (2022)
Andre Thevapalan, Gabriele Kern-Isberner
On Establishing Robust Consistency in Answer Set Programs. CoRR (2022)
Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle
Integrating Cognitive Principles From ACT-R Into Probabilistic Conditional Reasoning by Taking the Example of Maximum Entropy Reasoning. FLAIRS (2022)
Andre Thevapalan, Konstantin Haupt, Gabriele Kern-Isberner
Towards Causality-Based Conflict Resolution in Answer Set Programs. LPNMR (2022)
Jesse Heyninck, Gabriele Kern-Isberner, Thomas Andreas Meyer
Lexicographic Entailment, Syntax Splitting and the Drowning Problem. IJCAI (2022)
Kenneth Skiba, Matthias Thimm, Tjitze Rienstra, Jesse Heyninck, Gabriele Kern-Isberner
Realisability of Rankings-based Semantics. SAFA@COMMA (2022)
Meliha Sezgin, Gabriele Kern-Isberner
Revision by Comparison for Ranking Functions. IJCAI (2022)
Gabriele Kern-Isberner, Jesse Heyninck, Christoph Beierle
Conditional Independence for Iterated Belief Revision. IJCAI (2022)
Kai Sauerwald, Gabriele Kern-Isberner, Alexander Becker, Christoph Beierle
From Forgetting Signature Elements to Forgetting Formulas in Epistemic States. SUM (2022)
Jesse Heyninck, Gabriele Kern-Isberner, Thomas Andreas Meyer
Conditional Syntax Splitting, Lexicographic Entailment and the Drowning Effect. NMR (2022)
Meliha Sezgin, Gabriele Kern-Isberner, Christoph Beierle
Ranking kinematics for revising by contextual information. Ann. Math. Artif. Intell. 89 (10-11) (2021)
Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle
On Limited Non-Prioritised Belief Revision Operators with Dynamic Scope. CoRR (2021)
Andre Thevapalan, Jesse Heyninck, Gabriele Kern-Isberner
Establish Coherence in Logic Programs Modelling Expert Knowledge via Argumentation. ICLP Workshops (2021)
Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle
Conditional Inference and Activation of Knowledge Entities in ACT-R. CoRR (2021)
Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner
Syntax Splitting for Iterated Contractions, Ignorations, and Revisions on Ranking Functions Using Selection Strategies. JELIA (2021)
Kenneth Skiba, Tjitze Rienstra, Matthias Thimm, Jesse Heyninck, Gabriele Kern-Isberner
Ranking Extensions in Abstract Argumentation. IJCAI (2021)
Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle
A Brief Introduction Into Activation-Based Conditional Inference. FCR@KI (2021)
Gabriele Kern-Isberner, Zoran Ognjanovic
Special issue from the 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2019). Int. J. Approx. Reason. 138 (2021)
Christoph Beierle, Jonas Haldimann, Gabriele Kern-Isberner
Semantic Splitting of Conditional Belief Bases. Logic, Computation and Rigorous Methods (2021)
Alexander Becker, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle
Forgetting Formulas and Signature Elements in Epistemic States. CoRR (2021)
Jesse Heyninck, Gabriele Kern-Isberner, Matthias Thimm, Kenneth Skiba
On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics. Ann. Math. Artif. Intell. 89 (10-11) (2021)
Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle
Towards a framework of hansson's descriptor revision for conditionals. SAC (2021)
Christoph Beierle, Gabriele Kern-Isberner
Selection Strategies for Inductive Reasoning From Conditional Belief Bases and for Belief Change Respecting the Principle of Conditional Preservation. FLAIRS Conference (2021)
Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner, Steven Kutsch
Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models. Artif. Intell. 297 (2021)
Jonas Haldimann, Gabriele Kern-Isberner
On Properties of Epistemic State Mappings among Ranking Functions and Total Preorders. FCR@KI (2021)
Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm
Revision and Conditional Inference for Abstract Dialectical Frameworks. KR (2021)
Meliha Sezgin, Gabriele Kern-Isberner
System Z for Conditional Belief Bases with Positive and Negative Information. FLAIRS Conference (2021)
Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle
Conditional Descriptor Revision and Its Modelling by a CSP. JELIA (2021)
Marco Wilhelm, Gabriele Kern-Isberner
Focused Inference and System P. AAAI (2021)
Marco Ragni, Gabriele Kern-Isberner, Christoph Beierle, Kai Sauerwald
Cognitive Logics - Features, Formalisms, and Challenges. ECAI (2020)
Jesse Heyninck, Gabriele Kern-Isberner, Matthias Thimm
On the Correspondence between Abstract Dialectical Frameworks and Nonmonotonic Conditional Logics. FLAIRS Conference (2020)
Gabriele Kern-Isberner, Christoph Beierle, Gerhard Brewka
Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic Reasoning From Conditional Belief Bases. KR (2020)
Marco Wilhelm, Gabriele Kern-Isberner
Context-Based Inferences from Probabilistic Conditionals with Default Negation at Maximum Entropy. FLAIRS Conference (2020)
Meliha Sezgin, Gabriele Kern-Isberner
Generalized Ranking Kinematics for Iterated Belief Revision. FLAIRS Conference (2020)
Jesse Heyninck, Gabriele Kern-Isberner
An Epistemic Interpretation of Abstract Dialectical Argumentation. COMMA (2020)
Jonas Philipp Haldimann, Gabriele Kern-Isberner, Christoph Beierle
Syntax Splitting for Iterated Contractions. KR (2020)
Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle
A Conditional Perspective for Iterated Belief Contraction. ECAI (2020)
Guillaume Aucher, Paul Égré, Gabriele Kern-Isberner, Francesca Poggiolesi
Conditional Logics and Conditional Reasoning: New Joint Perspectives (Dagstuhl Seminar 19032). Dagstuhl Reports 9 (1) (2019)
Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke, Franz Baader
^\mathsf ME Under the Principle of Maximum Entropy. JELIA (2019)
Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle
A Conditional Perspective for Iterated Belief Contraction. CoRR (2019)
Thomas Eiter, Gabriele Kern-Isberner
A Brief Survey on Forgetting from a Knowledge Representation and Reasoning Perspective. Künstliche Intell. 33 (1) (2019)
Gabriele Kern-Isberner, Tanja Bock, Christoph Beierle, Kai Sauerwald
Axiomatic Evaluation of Epistemic Forgetting Operators. FLAIRS Conference (2019)
Marco Wilhelm, Gabriele Kern-Isberner
Maximum Entropy Calculations for the Probabilistic Description Logic $$\mathcal {ALC}^{\mathsf{ME}}$$. Description Logic, Theory Combination, and All That (2019)
Christof Thim, Norbert Gronau, Annette Kluge, Eric Tsui, Gabriele Kern-Isberner
Introduction to the Minitrack on Intentional Forgetting in Organizations and Information Systems. HICSS (2019)
Gabriele Kern-Isberner, Tanja Bock, Kai Sauerwald, Christoph Beierle
Belief Change Properties of Forgetting Operations over Ranking Functions. PRICAI (1) (2019)
Anthony Hunter, Gabriele Kern-Isberner, Thomas Meyer, Renata Wassermann
The Role of Non-monotonic Reasoning in Future Development of Artificial Intelligence (Dagstuhl Perspectives Workshop 19072). Dagstuhl Reports 9 (2) (2019)
Marco Wilhelm, Gabriele Kern-Isberner, Marc Finthammer, Christoph Beierle
Integrating Typed Model Counting into First-Order Maximum Entropy Computations and the Connection to Markov Logic Networks. FLAIRS Conference (2019)
Lena Rolf, Gabriele Kern-Isberner, Gerhard Brewka
Argumentation-Based Explanations for Answer Sets Using ADF. LPNMR (2019)
Franz Baader, Andreas Ecke, Gabriele Kern-Isberner, Marco Wilhelm
^\mathsf ME. FroCos (2019)
Lars-Phillip Spiegel, Gabriele Kern-Isberner, Marco Ragni
Rational Inference Patterns. PRICAI (1) (2019)
Christoph Beierle, Gabriele Kern-Isberner, Kai Sauerwald, Tanja Bock, Marco Ragni
Towards a General Framework for Kinds of Forgetting in Common-Sense Belief Management. Künstliche Intell. 33 (1) (2019)
Marco Ragni, Kai Sauerwald, Tanja Bock, Gabriele Kern-Isberner, Paulina Friemann, Christoph Beierle
Towards a Formal Foundation of Cognitive Architectures. CogSci (2018)
Gerhard Brewka, Stefan Ellmauthaler, Gabriele Kern-Isberner, Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub, Steffen Schieweck
Advanced Solving Technology for Dynamic and Reactive Applications. Künstliche Intell. 32 (2-3) (2018)
Gabriele Kern-Isberner
Axiomatizing a Qualitative Principle of Conditional Preservation for Iterated Belief Change. KR (2018)
Christoph Beierle, Steven Kutsch, Gabriele Kern-Isberner
From Concepts in Non-Monotonic Reasoning to High-Level Implementations Using Abstract State Machines and Functional Programming. Models: Concepts, Theory, Logic, Reasoning and Semantics (2018)
Andre Thevapalan, Gabriele Kern-Isberner, Diana Howey, Christoph Beierle, Ralf Georg Meyer, Mathias Nietzke
Decision Support Core System for Cancer Therapies Using ASP-HEX. FLAIRS Conference (2018)
Gavin Rens, Thomas Andreas Meyer, Gabriele Kern-Isberner, Abhaya Nayak
Probabilistic Belief Revision via Similarity of Worlds Modulo Evidence. KI (2018)
Richard Niland, Christian Eichhorn, Gabriele Kern-Isberner
Comparing Approaches to Qualitative Data Mining. FLAIRS Conference (2018)
Christoph Beierle, Tanja Bock, Gabriele Kern-Isberner, Marco Ragni, Kai Sauerwald
Kinds and Aspects of Forgetting in Common-Sense Knowledge and Belief Management. KI (2018)
Christian Eichhorn, Gabriele Kern-Isberner, Marco Ragni
Rational Inference Patterns Based on Conditional Logic. AAAI (2018)
Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner, Steven Kutsch
Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem. Ann. Math. Artif. Intell. 83 (3-4) (2018)
Marco Wilhelm, Gabriele Kern-Isberner, Marc Finthammer, Christoph Beierle
A Generalized Iterative Scaling Algorithm for Maximum Entropy Model Computations Respecting Probabilistic Independencies. FoIKS (2018)
Ingo J. Timm, Steffen Staab, Michael Siebers, Claudia Schon, Ute Schmid, Kai Sauerwald, Lukas Reuter, Marco Ragni, Claudia Niederée, Heiko Maus, Gabriele Kern-Isberner, Christian Jilek, Paulina Friemann, Thomas Eiter, Andreas Dengel, Hannah Dames, Tanja Bock, Jan Ole Berndt, Christoph Beierle
Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges. KI (2018)
Gabriele Kern-Isberner, Daniela Huvermann
What kind of independence do we need for multiple iterated belief change? J. Appl. Log. 22 (2017)
Steffen Schieweck, Gabriele Kern-Isberner, Michael ten Hompel
Cellular Transport Systems Improved: Achieving Efficient Operations with Answer Set Programming. IJCCI (Selected Papers) (2017)
Gabriele Kern-Isberner, Thomas Lukasiewicz
Special Issue on Challenges for Reasoning under Uncertainty, Inconsistency, Vagueness, and Preferences - A Topical Snapshot. Künstliche Intell. 31 (1) (2017)
Christoph Beierle, Marc Finthammer, Nico Potyka, Julian Varghese, Gabriele Kern-Isberner
A Framework for Versatile Knowledge and Belief Management Operations in a Probabilistic Conditional Logic. FLAP 4 (7) (2017)
Marco Wilhelm, Christian Eichhorn, Richard Niland, Gabriele Kern-Isberner
A Semantics for Conditionals with Default Negation. ECSQARU (2017)
Steffen Schieweck, Gabriele Kern-Isberner, Michael ten Hompel
Various Approaches to the Application of Answer Set Programming in Order-picking Systems with Intelligent Vehicles. IJCCI (2017)
Marco Wilhelm, Gabriele Kern-Isberner
Typed Model Counting and Its Application to Probabilistic Conditional Reasoning at Maximum Entropy. FLAIRS Conference (2017)
Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke
Basic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals. GCAI (2017)
Gabriele Kern-Isberner, Igor Douven, Markus Knauff, Henri Prade
Reasoning with Imperfect Information and Knowledge. Minds Mach. 27 (1) (2017)
Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner
On Transformations and Normal Forms of Conditional Knowledge Bases. IEA/AIE (1) (2017)
Daan Apeldoorn, Gabriele Kern-Isberner
Towards An Understanding of What is Learned: Extracting Multi-Abstraction-Level Knowledge from Learning Agents. FLAIRS Conference (2017)
Gabriele Kern-Isberner, Gerhard Brewka
Strong Syntax Splitting for Iterated Belief Revision. IJCAI (2017)

Gabriele Kern-Isberner.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Gabriele Kern-Isberner