| 2026 | KI | c-Core Revision for Conditional Belief Bases. | Marco Wilhelm, Gabriele Kern-Isberner |
| 2026 | KR | Safely Decomposing Conditional Belief Bases Into c-LEG Networks. | Gabriele Kern-Isberner, Alexander Hahn, Lars-Phillip Spiegel, Marco Wilhelm, Christoph Beierle |
| 2025 | ECSQARU | Explaining Changes in Total Preorders and Ranking Functions. | Alexander Hahn, Gabriele Kern-Isberner, Lars-Phillip Spiegel, Christoph Beierle |
| 2025 | FlAIRS | Integrated Use of System Z for Preferred Answer Set Programming. | Marco Wilhelm, Andre Thevapalan, Gabriele Kern-Isberner |
| 2025 | IJCAI | Generalized Safe Conditional Syntax Splitting of Belief Bases. | Lars-Phillip Spiegel, Jonas Haldimann, Jesse Heyninck, Gabriele Kern-Isberner, Christoph Beierle |
| 2024 | AAAI | Decomposing Constraint Networks for Calculating c-Representations. | Marco Wilhelm, Gabriele Kern-Isberner |
| 2024 | FlAIRS | Intrinsic Prioritization in Answer Set Programming Based on an Adapted Notion of Tolerance. | Marco Wilhelm, Lars-Phillip Spiegel, Gabriele Kern-Isberner |
| 2024 | KR | Conditional Splittings of Belief Bases and Nonmonotonic Inference with c-Representations. | Christoph Beierle, Lars-Phillip Spiegel, Jonas Haldimann, Marco Wilhelm, Jesse Heyninck, Gabriele Kern-Isberner |
| 2024 | KR | Total Preorders vs Ranking Functions under Belief Revision - the Dynamics of Empty Layers. | Gabriele Kern-Isberner, Alexander Hahn, Jonas Haldimann, Christoph Beierle |
| 2023 | AAAI | Conditional Syntax Splitting for Non-monotonic Inference Operators. | Jesse Heyninck, Gabriele Kern-Isberner, Thomas Andreas Meyer, Jonas Philipp Haldimann, Christoph Beierle |
| 2023 | AAAI | Implementing Bounded Revision via Lexicographic Revision and C-revision. | Meliha Sezgin, Gabriele Kern-Isberner |
| 2023 | ECSQARU | On the Cognitive Logic of Human Propositional Reasoning: Merging Ranking Functions. | Eda Ismail-Tsaous, Kai Sauerwald, Marco Ragni, Gabriele Kern-Isberner, Christoph Beierle |
| 2023 | FlAIRS | Conditionals, Infeasible Worlds, and Reasoning with System W. | Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner, Thomas Meyer |
| 2023 | FlAIRS | An Interactive Modelling Environment for Designing Warehouse Layouts Based on ASP. | Andre Thevapalan, Marco Wilhelm, Gabriele Kern-Isberner, Pascal Kaiser, Moritz Roidl |
| 2023 | FlAIRS | Prioritizing Answer Sets Based on Conditional Expert Knowledge. | Marco Wilhelm, Andre Thevapalan, Gabriele Kern-Isberner |
| 2023 | JELIA | Rational Closure Extension in SPO-Representable Inductive Inference Operators. | Jonas Haldimann, Thomas Meyer, Gabriele Kern-Isberner, Christoph Beierle |
| 2023 | JELIA | Splitting Techniques for Conditional Belief Bases in the Context of c-Representations. | Marco Wilhelm, Meliha Sezgin, Gabriele Kern-Isberner, Jonas Haldimann, Christoph Beierle, Jesse Heyninck |
| 2022 | AAAI | Conditional Abstract Dialectical Frameworks. | Jesse Heyninck, Matthias Thimm, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba |
| 2022 | COMMA | Explaining Argument Acceptance in ADFs. | Tjitze Rienstra, Jesse Heyninck, Gabriele Kern-Isberner, Kenneth Skiba, Matthias Thimm |
| 2022 | COMMA | Realisability of Rankings-based Semantics. | Kenneth Skiba, Matthias Thimm, Tjitze Rienstra, Jesse Heyninck, Gabriele Kern-Isberner |
| 2022 | FlAIRS | Integrating Cognitive Principles From ACT-R Into Probabilistic Conditional Reasoning by Taking the Example of Maximum Entropy Reasoning. | Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle |
| 2022 | IJCAI | Lexicographic Entailment, Syntax Splitting and the Drowning Problem. | Jesse Heyninck, Gabriele Kern-Isberner, Thomas Andreas Meyer |
| 2022 | IJCAI | Possibilistic Logic Underlies Abstract Dialectical Frameworks. | Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm |
| 2022 | IJCAI | Conditional Independence for Iterated Belief Revision. | Gabriele Kern-Isberner, Jesse Heyninck, Christoph Beierle |
| 2022 | IJCAI | Revision by Comparison for Ranking Functions. | Meliha Sezgin, Gabriele Kern-Isberner |
| 2022 | LPNMR | Towards Causality-Based Conflict Resolution in Answer Set Programs. | Andre Thevapalan, Konstantin Haupt, Gabriele Kern-Isberner |
| 2021 | AAAI | Focused Inference and System P. | Marco Wilhelm, Gabriele Kern-Isberner |
| 2021 | FlAIRS | Selection Strategies for Inductive Reasoning From Conditional Belief Bases and for Belief Change Respecting the Principle of Conditional Preservation. | Christoph Beierle, Gabriele Kern-Isberner |
| 2021 | FlAIRS | System Z for Conditional Belief Bases with Positive and Negative Information. | Meliha Sezgin, Gabriele Kern-Isberner |
| 2021 | ICLP | Establish Coherence in Logic Programs Modelling Expert Knowledge via Argumentation. | Andre Thevapalan, Jesse Heyninck, Gabriele Kern-Isberner |
| 2021 | IJCAI | Ranking Extensions in Abstract Argumentation. | Kenneth Skiba, Tjitze Rienstra, Matthias Thimm, Jesse Heyninck, Gabriele Kern-Isberner |
| 2021 | JELIA | Syntax Splitting for Iterated Contractions, Ignorations, and Revisions on Ranking Functions Using Selection Strategies. | Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner |
| 2021 | JELIA | Conditional Descriptor Revision and Its Modelling by a CSP. | Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle |
| 2021 | KI | On Properties of Epistemic State Mappings among Ranking Functions and Total Preorders. | Jonas Haldimann, Gabriele Kern-Isberner |
| 2021 | KI | A Brief Introduction Into Activation-Based Conditional Inference. | Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle |
| 2021 | KR | Revision and Conditional Inference for Abstract Dialectical Frameworks. | Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm |
| 2021 | SAC | Towards a framework of hansson's descriptor revision for conditionals. | Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle |
| 2020 | COMMA | An Epistemic Interpretation of Abstract Dialectical Argumentation. | Jesse Heyninck, Gabriele Kern-Isberner |
| 2020 | ECAI | Cognitive Logics - Features, Formalisms, and Challenges. | Marco Ragni, Gabriele Kern-Isberner, Christoph Beierle, Kai Sauerwald |
| 2020 | ECAI | A Conditional Perspective for Iterated Belief Contraction. | Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle |
| 2020 | FlAIRS | On the Correspondence between Abstract Dialectical Frameworks and Nonmonotonic Conditional Logics. | Jesse Heyninck, Gabriele Kern-Isberner, Matthias Thimm |
| 2020 | FlAIRS | Generalized Ranking Kinematics for Iterated Belief Revision. | Meliha Sezgin, Gabriele Kern-Isberner |
| 2020 | FlAIRS | Context-Based Inferences from Probabilistic Conditionals with Default Negation at Maximum Entropy. | Marco Wilhelm, Gabriele Kern-Isberner |
| 2020 | KR | Syntax Splitting for Iterated Contractions. | Jonas Philipp Haldimann, Gabriele Kern-Isberner, Christoph Beierle |
| 2020 | KR | Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic Reasoning From Conditional Belief Bases. | Gabriele Kern-Isberner, Christoph Beierle, Gerhard Brewka |
| 2019 | FlAIRS | Axiomatic Evaluation of Epistemic Forgetting Operators. | Gabriele Kern-Isberner, Tanja Bock, Christoph Beierle, Kai Sauerwald |
| 2019 | FlAIRS | Integrating Typed Model Counting into First-Order Maximum Entropy Computations and the Connection to Markov Logic Networks. | Marco Wilhelm, Gabriele Kern-Isberner, Marc Finthammer, Christoph Beierle |
| 2019 | JELIA | Counting Strategies for the Probabilistic Description Logic 𝓐ℒ𝒞 | Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke, Franz Baader |
| 2019 | LPNMR | Argumentation-Based Explanations for Answer Sets Using ADF. | Lena Rolf, Gabriele Kern-Isberner, Gerhard Brewka |
| 2019 | PRICAI | Belief Change Properties of Forgetting Operations over Ranking Functions. | Gabriele Kern-Isberner, Tanja Bock, Kai Sauerwald, Christoph Beierle |
| 2019 | PRICAI | Rational Inference Patterns. | Lars-Phillip Spiegel, Gabriele Kern-Isberner, Marco Ragni |
| 2018 | AAAI | Rational Inference Patterns Based on Conditional Logic. | Christian Eichhorn, Gabriele Kern-Isberner, Marco Ragni |
| 2018 | CogSci | Towards a Formal Foundation of Cognitive Architectures. | Marco Ragni, Kai Sauerwald, Tanja Bock, Gabriele Kern-Isberner, Paulina Friemann, Christoph Beierle |
| 2018 | FlAIRS | Comparing Approaches to Qualitative Data Mining. | Richard Niland, Christian Eichhorn, Gabriele Kern-Isberner |
| 2018 | FlAIRS | Decision Support Core System for Cancer Therapies Using ASP-HEX. | Andre Thevapalan, Gabriele Kern-Isberner, Diana Howey, Christoph Beierle, Ralf Georg Meyer, Mathias Nietzke |
| 2018 | KI | Kinds and Aspects of Forgetting in Common-Sense Knowledge and Belief Management. | Christoph Beierle, Tanja Bock, Gabriele Kern-Isberner, Marco Ragni, Kai Sauerwald |
| 2018 | KI | Probabilistic Belief Revision via Similarity of Worlds Modulo Evidence. | Gavin Rens, Thomas Andreas Meyer, Gabriele Kern-Isberner, Abhaya Nayak |
| 2018 | KI | Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges. | Ingo J. Timm, Steffen Staab, Michael Siebers, Claudia Schon, Ute Schmid, Kai Sauerwald, Lukas Reuter, Marco Ragni, Claudia Niedere, Heiko Maus, Gabriele Kern-Isberner, Christian Jilek, Paulina Friemann, Thomas Eiter, Andreas Dengel, Hannah Dames, Tanja Bock, Jan Ole Berndt, Christoph Beierle |
| 2018 | KR | Axiomatizing a Qualitative Principle of Conditional Preservation for Iterated Belief Change. | Gabriele Kern-Isberner |
| 2017 | CBMS | On the Ontological Modelling of Co-medication and Drug Interactions in Medical Cancer Therapy Regimens for a Clinical Decision Support System. | Christoph Beierle, Bettina Sader, Christian Eichhorn, Gabriele Kern-Isberner, Ralf Georg Meyer, Mathias Nietzke |
| 2017 | ECSQARU | A Transformation System for Unique Minimal Normal Forms of Conditional Knowledge Bases. | Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner |
| 2017 | ECSQARU | A Semantics for Conditionals with Default Negation. | Marco Wilhelm, Christian Eichhorn, Richard Niland, Gabriele Kern-Isberner |
| 2017 | FlAIRS | Towards An Understanding of What is Learned: Extracting Multi-Abstraction-Level Knowledge from Learning Agents. | Daan Apeldoorn, Gabriele Kern-Isberner |
| 2017 | FlAIRS | Typed Model Counting and Its Application to Probabilistic Conditional Reasoning at Maximum Entropy. | Marco Wilhelm, Gabriele Kern-Isberner |
| 2017 | IJCAI | Strong Syntax Splitting for Iterated Belief Revision. | Gabriele Kern-Isberner, Gerhard Brewka |
| 2017 | IJCCI | Various Approaches to the Application of Answer Set Programming in Order-picking Systems with Intelligent Vehicles. | Steffen Schieweck, Gabriele Kern-Isberner, Michael ten Hompel |
| 2017 | IJCCI | Cellular Transport Systems Improved: Achieving Efficient Operations with Answer Set Programming. | Steffen Schieweck, Gabriele Kern-Isberner, Michael ten Hompel |
| 2016 | ECAI | Skeptical, Weakly Skeptical, and Credulous Inference Based on Preferred Ranking Functions. | Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner, Steven Kutsch |
| 2016 | ECAI | An Approach to Qualitative Belief Change Modulo Ontic Strength. | Gavin Rens, Gabriele Kern-Isberner |
| 2016 | FlAIRS | Minimal Tolerance Pairs for System Z-Like Ranking Functions for First-Order Conditional Knowledge Bases. | Christoph Beierle, Tobias Falke, Steven Kutsch, Gabriele Kern-Isberner |
| 2016 | FlAIRS | A Formal Model of Plausibility Monitoring in Language Comprehension. | Maj-Britt Isberner, Gabriele Kern-Isberner |
| 2016 | FlAIRS | Propositional Probabilistic Reasoning at Maximum Entropy Modulo Theories. | Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke |
| 2016 | IJCAI | Simulating Human Inferences in the Light of New Information: A Formal Analysis. | Marco Ragni, Christian Eichhorn, Gabriele Kern-Isberner |
| 2016 | KI | Using Ontological Knowledge About Active Pharmaceutical Ingredients for a Decision Support System in Medical Cancer Therapy. | Christoph Beierle, Lewin Eisele, Gabriele Kern-Isberner, Ralf Georg Meyer, Mathias Nietzke |
| 2015 | FlAIRS | A Software System for the Computation, Visualization, and Comparison of Conditional Structures for Relational Probabilistic Knowledge Bases. | Christoph Beierle, Steffen Kuche, Marc Finthammer, Gabriele Kern-Isberner |
| 2015 | FlAIRS | Multiple Iterated Belief Revision Without Independence. | Gabriele Kern-Isberner, Daniela Huvermann |
| 2015 | KI | Qualitative Probabilistic Inference with Default Inheritance. | Paul D. Thorn, Christian Eichhorn, Gabriele Kern-Isberner, Gerhard Schurz |
| 2014 | COMMA | On Controversiality of Arguments and Stratified Labelings. | Matthias Thimm, Gabriele Kern-Isberner |
| 2014 | EUMAS | Angerona - A Flexible Multiagent Framework for Knowledge-Based Agents. | Patrick Krmpelmann, Tim Janus, Gabriele Kern-Isberner |
| 2014 | FlAIRS | Observations on the Minimality of Ranking Functions for Qualitative Conditional Knowledge Bases and Their Computation. | Christoph Beierle, Rita Hermsen, Gabriele Kern-Isberner |
| 2014 | FlAIRS | A Novel Methodology for Processing Probabilistic Knowledge Bases Under Maximum Entropy. | Gabriele Kern-Isberner, Marco Wilhelm, Christoph Beierle |
| 2014 | ISAIM | Probabilistic Knowledge Representation Using Grbner Basis Theory. | Gabriele Kern-Isberner, Marco Wilhelm, Christoph Beierle |
| 2014 | JELIA | LEG Networks for Ranking Functions. | Christian Eichhorn, Gabriele Kern-Isberner |
| 2013 | CBMS | Using probabilistic logic and the principle of maximum entropy for the analysis of clinical brain tumor data. | Julian Varghese, Christoph Beierle, Nico Potyka, Gabriele Kern-Isberner |
| 2013 | ECSQARU | A Case Study on the Application of Probabilistic Conditional Modelling and Reasoning to Clinical Patient Data in Neurosurgery. | Christoph Beierle, Marc Finthammer, Nico Potyka, Julian Varghese, Gabriele Kern-Isberner |
| 2013 | ECSQARU | On the Problem of Reversing Relational Inductive Knowledge Representation. | Nico Potyka, Christoph Beierle, Gabriele Kern-Isberner |
| 2013 | FlAIRS | Intensional Combination of Rankings for OCF-Networks. | Gabriele Kern-Isberner, Christian Eichhorn |
| 2013 | KI | Changes of Relational Probabilistic Belief States and Their Computation under Optimum Entropy Semantics. | Nico Potyka, Christoph Beierle, Gabriele Kern-Isberner |
| 2012 | ECAI | A Ranking Semantics for First-Order Conditionals. | Gabriele Kern-Isberner, Matthias Thimm |
| 2012 | FlAIRS | Conditional Objects Revisited: Variants and Model Translations. | Christoph Beierle, Gabriele Kern-Isberner |
| 2012 | GI | Stepwise Optimization of a Constraint Logic Program for the Computation of Ranking Functions. | Christoph Beierle, Gabriele Kern-Isberner, Karl Sdler |
| 2012 | JELIA | Belief Base Change Operations for Answer Set Programming. | Patrick Krmpelmann, Gabriele Kern-Isberner |
| 2011 | DEXA | Probabilistic Logics in Expert Systems: Approaches, Implementations, and Applications. | Gabriele Kern-Isberner, Christoph Beierle, Marc Finthammer, Matthias Thimm |
| 2011 | ECSQARU | Relational Probabilistic Conditional Reasoning at Maximum Entropy. | Matthias Thimm, Gabriele Kern-Isberner, Jens Fisseler |
| 2011 | FlAIRS | A Default Logical Semantics for Defeasible Argumentation. | Gabriele Kern-Isberner, Guillermo Ricardo Simari |
| 2011 | GI | On the computation of ranking functions for default rules - A challenge for constraint programming. | Christoph Beierle, Gabriele Kern-Isberner |
| 2011 | IJCAI | A Constructive Approach to Independent and Evidence Retaining Belief Revision by General Information Sets. | Gabriele Kern-Isberner, Patrick Krmpelmann |
| 2011 | KI | Evaluation and Comparison Criteria for Approaches to Probabilistic Relational Knowledge Representation. | Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner, Matthias Thimm |
| 2011 | LPNMR | On Influence and Contractions in Defeasible Logic Programming. | Diego R. Garca, Sebastian Gottifredi, Patrick Krmpelmann, Matthias Thimm, Gabriele Kern-Isberner, Marcelo A. Falappa, Alejandro Javier Garca |
| 2010 | CADE | Automated Reasoning for Relational Probabilistic Knowledge Representation. | Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner, Matthias Thimm |
| 2010 | COMMA | Using Defeasible Logic Programming for Argumentation-Based Decision Support in Private Law. | Christoph Beierle, Bernhard Freund, Gabriele Kern-Isberner, Matthias Thimm |
| 2010 | ECAI | ABA: Argumentation Based Agents. | Antonis C. Kakas, Leila Amgoud, Gabriele Kern-Isberner, Nicolas Maudet, Pavlos Moraitis |
| 2010 | FlAIRS | A System for Relational Probabilistic Reasoning on Maximum Entropy. | Matthias Thimm, Marc Finthammer, Sebastian Loh, Gabriele Kern-Isberner, Christoph Beierle |
| 2010 | IPMU | Probabilistic Relational Learning for Medical Diagnosis Based on Ion Mobility Spectrometry. | Marc Finthammer, Christoph Beierle, Jens Fisseler, Gabriele Kern-Isberner, Blent Mller, Jrg Ingo Baumbach |
| 2010 | KR | Novel Semantical Approaches to Relational Probabilistic Conditionals. | Gabriele Kern-Isberner, Matthias Thimm |
| 2009 | FlAIRS | Probabilistic Reasoning at Optimum Entropy with the MEcore System. | Marc Finthammer, Christoph Beierle, Benjamin Berger, Gabriele Kern-Isberner |
| 2009 | FlAIRS | Mining Default Rules from Statistical Data. | Gabriele Kern-Isberner, Matthias Thimm, Marc Finthammer, Jens Fisseler |
| 2009 | KI | A Conceptual Agent Model Based on a Uniform Approach to Various Belief Operations. | Christoph Beierle, Gabriele Kern-Isberner |
| 2009 | LPNMR | An Implementation of Belief Change Operations Based on Probabilistic Conditional Logic. | Marc Finthammer, Christoph Beierle, Benjamin Berger, Gabriele Kern-Isberner |
| 2008 | BMVC | Combining Reinforcement Learning and Belief Revision - A Learning System for Active Vision. | Thomas Leopold, Gabriele Kern-Isberner, Gabriele Peters |
| 2008 | CADE | A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description). | Christoph Beierle, Gabriele Kern-Isberner, Nicole Koch |
| 2008 | COMMA | A Distributed Argumentation Framework using Defeasible Logic Programming. | Matthias Thimm, Gabriele Kern-Isberner |
| 2008 | COMMA | On the Relationship of Defeasible Argumentation and Answer Set Programming. | Matthias Thimm, Gabriele Kern-Isberner |
| 2008 | ECAI | Belief revision with reinforcement learning for interactive object recognition. | Thomas Leopold, Gabriele Kern-Isberner, Gabriele Peters |
| 2008 | FlAIRS | Preference-Based Default Reasoning. | Manuela Ritterskamp, Gabriele Kern-Isberner |
| 2008 | KR | Linking Iterated Belief Change Operations to Nonmonotonic Reasoning. | Gabriele Kern-Isberner |
| 2007 | FlAIRS | Learning Uncertain Rules with CONDORCKD. | Jens Fisseler, Gabriele Kern-Isberner, Christoph Beierle |
| 2007 | KI | Resolving Inconsistencies in Probabilistic Knowledge Bases. | Marc Finthammer, Gabriele Kern-Isberner, Manuela Ritterskamp |
| 2007 | PADL | Algebraic Knowledge Discovery Using Haskell. | Jens Fisseler, Gabriele Kern-Isberner, Christoph Beierle, Andreas Koch, Christian Mller |
| 2006 | ECAI | On the Logic of Theory Change: Relations Between Incision and Selection Functions. | Marcelo A. Falappa, Eduardo L. Ferm, Gabriele Kern-Isberner |
| 2006 | FlAIRS | A Note on Comparing Semantics for Conditionals. | Christoph Beierle, Gabriele Kern-Isberner |
| 2006 | KR | Probabilistic Abduction without Priors. | Didier Dubois, Angelo Gilio, Gabriele Kern-Isberner |
| 2005 | LPNMR | Using Answer Set Programming for a Decision Support System. | Christoph Beierle, Oliver Dusso, Gabriele Kern-Isberner |
| 2004 | KR | Knowledge Discovery by Reversing Inductive Knowledge Representation. | Gabriele Kern-Isberner, Jens Fisseler |
| 2003 | FlAIRS | Belief Revision and Information Fusion in a Probabilistic Environment. | Gabriele Kern-Isberner, Wilhelm Rdder |
| 2003 | KI | Fusing Probabilistic Information on Maximum Entropy. | Gabriele Kern-Isberner, Wilhelm Rdder |
| 2003 | KI | Self Learning or How to Make a Knowledge Base Curious about Itself. | Wilhelm Rdder, Gabriele Kern-Isberner |
| 2003 | LPAR | A Logical Study on Qualitative Default Reasoning with Probabilities. | Christoph Beierle, Gabriele Kern-Isberner |
| 2002 | JELIA | Using Institutions for the Study of Qualitative and Quantitative Conditional Logics. | Christoph Beierle, Gabriele Kern-Isberner |
| 2002 | KR | A Structural Approach to Default Reasoning. | Gabriele Kern-Isberner |
| 2001 | ECSQARU | Handling Conditionals Adequately in Uncertain Reasoning. | Gabriele Kern-Isberner |
| 2000 | ECAI | Solving the Inverse Representation Problem. | Gabriele Kern-Isberner |
| 1999 | ECSQARU | Probalilistic Logic Programming under Maximum Entropy. | Thomas Lukasiewicz, Gabriele Kern-Isberner |
| 1999 | IJCAI | Postulates for Conditional Belief Revision. | Gabriele Kern-Isberner |
| 1999 | KI | Following Conditional Structures of Knowledge. | Gabriele Kern-Isberner |
| 1998 | ECAI | Nonmonotonic Reasoning in Probabilistics. | Gabriele Kern-Isberner |
| 1997 | ECSQARU | A Logically Sound Method for Uncertain Reasoning with Quantified Conditionals. | Gabriele Kern-Isberner |
| 1997 | STACS | A Conditional-Logical Approach to Minimum Cross-Entropy. | Gabriele Kern-Isberner |