Interpreting a contingency table by rules. - Gabriele Kern-Isberner; Heinz Peter Reidmacher (Int. J. Intell. Syst., 1996)

Representation and Extraction of Information by Probabilistic Logic. - Wilhelm Rödder; Gabriele Kern-Isberner (Inf. Syst., 1996)

A Logically Sound Method for Uncertain Reasoning with Quantified Conditionals. - Gabriele Kern-Isberner (ECSQARU-FAPR, 1997)

A Conditional-Logical Approach to Minimum Cross-Entropy. - Gabriele Kern-Isberner (STACS, 1997)

Nonmonotonic Reasoning in Probabilistics. - Gabriele Kern-Isberner (ECAI, 1998)

Characterizing the Principle of Minimum Cross-Entropy Within a Conditional-Logical Framework. - Gabriele Kern-Isberner (Artif. Intell., 1998)

A note on conditional logics and entropy. - Gabriele Kern-Isberner (Int. J. Approx. Reason., 1998)

Probalilistic Logic Programming under Maximum Entropy. - Thomas Lukasiewicz; Gabriele Kern-Isberner (ESCQARU, 1999)

Postulates for Conditional Belief Revision. - Gabriele Kern-Isberner (IJCAI, 1999)

Following Conditional Structures of Knowledge. - Gabriele Kern-Isberner (KI, 1999)

Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen. - Christoph Beierle; Gabriele Kern-Isberner (Vieweg, 2000)

Solving the Inverse Representation Problem. - Gabriele Kern-Isberner (ECAI, 2000)

Conditionals in Nonmonotonic Reasoning and Belief Revision - Considering Conditionals as Agents - Gabriele Kern-Isberner (Springer, 2001)

Handling Conditionals Adequately in Uncertain Reasoning. - Gabriele Kern-Isberner (ECSQARU, 2001)

Representing and Learning Conditional Information in Possibility Theory. - Gabriele Kern-Isberner (Fuzzy Days, 2001)

Conditional indifference and conditional preservation. - Gabriele Kern-Isberner (J. Appl. Non Class. Logics, 2001)

The Principle of Conditional Preservation in Belief Revision. - Gabriele Kern-Isberner (FoIKS, 2002)

On the Interpretation of Uncertain Rules in Prepositional Logic. - Christoph Beierle; Gabriele Kern-Isberner (IC-AI, 2002)

Using Institutions for the Study of Qualitative and Quantitative Conditional Logics. - Christoph Beierle; Gabriele Kern-Isberner (JELIA, 2002)

A Structural Approach to Default Reasoning. - Gabriele Kern-Isberner (KR, 2002)

Looking at Probabilistic Conditionals from an Institutional Point of View. - Christoph Beierle; Gabriele Kern-Isberner (WCII, 2002)

Explanations, belief revision and defeasible reasoning. - Marcelo A. Falappa; Gabriele Kern-Isberner; Guillermo Ricardo Simari (Artif. Intell., 2002)

Handling conditionals adequately in uncertain reasoning and belief revision. - Gabriele Kern-Isberner (J. Appl. Non Class. Logics, 2002)

Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen, 2. Auflage. - Christoph Beierle; Gabriele Kern-Isberner (Vieweg, 2003)

Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines. - Christoph Beierle; Gabriele Kern-Isberner (Abstract State Machines, 2003)

Belief Revision and Information Fusion in a Probabilistic Environment. - Gabriele Kern-Isberner; Wilhelm Rödder (FLAIRS, 2003)

An Alternative View of Knowledge Discovery. - Christoph Beierle; Gabriele Kern-Isberner (HICSS, 2003)

Fusing Probabilistic Information on Maximum Entropy. - Gabriele Kern-Isberner; Wilhelm Rödder (KI, 2003)

Self Learning or How to Make a Knowledge Base Curious about Itself. - Wilhelm Rödder; Gabriele Kern-Isberner (KI, 2003)

A Logical Study on Qualitative Default Reasoning with Probabilities. - Christoph Beierle; Gabriele Kern-Isberner (LPAR, 2003)

From information to probability: An axiomatic approach - Inference isinformation processing. - Wilhelm Rödder; Gabriele Kern-Isberner (Int. J. Intell. Syst., 2003)

Knowledge Discovery by Reversing Inductive Knowledge Representation. - Gabriele Kern-Isberner; Jens Fisseler (KR, 2004)

Combining probabilistic logic programming with the power of maximum entropy. - Gabriele Kern-Isberner; Thomas Lukasiewicz (Artif. Intell., 2004)

A Thorough Axiomatization of a Principle of Conditional Preservation in Belief Revision. - Gabriele Kern-Isberner (Ann. Math. Artif. Intell., 2004)

Belief revision and information fusion on optimum entropy. - Gabriele Kern-Isberner; Wilhelm Rödder (Int. J. Intell. Syst., 2004)

Footprints of Conditionals. - Christoph Beierle; Gabriele Kern-Isberner (Mechanizing Mathematical Reasoning, 2005)

Modelling and Implementing a Knowledge Base for Checking Medical Invoices with DLV. - Gabriele Kern-Isberner; Christoph Beierle; Oliver Dusso (Nonmonotonic Reasoning, Answer Set Programming and Constraints, 2005)

Generierung interaktiver Selbsttestaufgaben im Bereich der formalen Grundlagen der Informatik aus XML-Spezifikationen. - Christoph Beierle; Malte Isberner; Gabriele Kern-Isberner; Barbara Messing; Manfred Widera (DeLFI, 2005)

Using Answer Set Programming for a Decision Support System. - Christoph Beierle; Oliver Dusso; Gabriele Kern-Isberner (LPNMR, 2005)

Foreword. - Choh Man Teng 001; Gabriele Kern-Isberner (Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2005)

Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen, 3. Auflage. - Christoph Beierle; Gabriele Kern-Isberner (Vieweg, 2006)

Computer Science Exercises in a Virtual University. - Manfred Widera; Barbara Messing; Gabriele Kern-Isberner; Malte Isberner; Christoph Beierle (CSREA EEE, 2006)

On the Logic of Theory Change: Relations Between Incision and Selection Functions. - Marcelo A. Falappa; Eduardo L. Fermé; Gabriele Kern-Isberner (ECAI, 2006)

An Extendable System for the Specification and Generation of Interactive Self-tests. - Manfred Widera; Barbara Messing; Gabriele Kern-Isberner; Malte Isberner; Christoph Beierle (Edutainment, 2006)

A Note on Comparing Semantics for Conditionals. - Christoph Beierle; Gabriele Kern-Isberner (FLAIRS, 2006)

Editorial. - Gabriele Kern-Isberner; Wilhelm Rödder (Log. J. IGPL, 2006)

A conceptual framework for (iterated) revision, update, and nonmonotonic reasoning. - Gabriele Kern-Isberner (Formal Models of Belief Change in Rational Agents, 2007)

Learning Uncertain Rules with CONDORCKD. - Jens Fisseler; Gabriele Kern-Isberner; Christoph Beierle (FLAIRS, 2007)

Resolving Inconsistencies in Probabilistic Knowledge Bases. - Marc Finthammer; Gabriele Kern-Isberner; Manuela Ritterskamp (KI, 2007)

Algebraic Knowledge Discovery Using Haskell. - Jens Fisseler; Gabriele Kern-Isberner; Christoph Beierle; Andreas Koch 002; Christian Müller (PADL, 2007)

Editorial. - Gabriele Kern-Isberner; Dan Wu (Int. J. Approx. Reason., 2007)

Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen, 4. Auflage. - Christoph Beierle; Gabriele Kern-Isberner (Vieweg, 2008)

A Verified AsmL Implementation of Belief Revision. - Christoph Beierle; Gabriele Kern-Isberner (ABZ, 2008)

Belief operations for motivated BDI agents. - Patrick Krümpelmann; Matthias Thimm; Manuela Ritterskamp; Gabriele Kern-Isberner (AAMAS (1), 2008)

Combining Reinforcement Learning and Belief Revision - A Learning System for Active Vision. - Thomas Leopold; Gabriele Kern-Isberner; Gabriele Peters (BMVC, 2008)

A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description). - Christoph Beierle; Gabriele Kern-Isberner; Nicole Koch (IJCAR, 2008)

A Distributed Argumentation Framework using Defeasible Logic Programming. - Matthias Thimm; Gabriele Kern-Isberner (COMMA, 2008)

On the Relationship of Defeasible Argumentation and Answer Set Programming. - Matthias Thimm; Gabriele Kern-Isberner (COMMA, 2008)

Belief revision with reinforcement learning for interactive object recognition. - Thomas Leopold; Gabriele Kern-Isberner; Gabriele Peters (ECAI, 2008)

Preference-Based Default Reasoning. - Manuela Ritterskamp; Gabriele Kern-Isberner (FLAIRS, 2008)

Linking Iterated Belief Change Operations to Nonmonotonic Reasoning. - Gabriele Kern-Isberner (KR, 2008)

Qualitative Knowledge Discovery. - Gabriele Kern-Isberner; Matthias Thimm; Marc Finthammer (SDKB, 2008)

On the Modelling of an Agent's Epistemic State and its Dynamic Changes. - Christoph Beierle; Gabriele Kern-Isberner (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Editorial - Special issue on nonmonotonic and uncertain reasoning. - Salem Benferhat; Gabriele Kern-Isberner (Int. J. Approx. Reason., 2008)

Probabilistic abduction without priors. - Didier Dubois; Angelo Gilio; Gabriele Kern-Isberner (Int. J. Approx. Reason., 2008)

Belief Revision and Argumentation Theory. - Marcelo Alejandro Falappa; Gabriele Kern-Isberner; Guillermo Ricardo Simari (Argumentation in Artificial Intelligence, 2009)

Probabilistic Reasoning at Optimum Entropy with the MEcore System. - Marc Finthammer; Christoph Beierle; Benjamin Berger; Gabriele Kern-Isberner (FLAIRS, 2009)

Mining Default Rules from Statistical Data. - Gabriele Kern-Isberner; Matthias Thimm; Marc Finthammer; Jens Fisseler (FLAIRS, 2009)

A Conceptual Agent Model Based on a Uniform Approach to Various Belief Operations. - Christoph Beierle; Gabriele Kern-Isberner (KI, 2009)

An Implementation of Belief Change Operations Based on Probabilistic Conditional Logic. - Marc Finthammer; Christoph Beierle; Benjamin Berger; Gabriele Kern-Isberner (LPNMR, 2009)

Formal similarities and differences among qualitative conditional semantics. - Christoph Beierle; Gabriele Kern-Isberner (Int. J. Approx. Reason., 2009)

Mining Data with Group Theoretical Means. - Gabriele Kern-Isberner (Encyclopedia of Data Warehousing and Mining, 2009)

Automated Reasoning for Relational Probabilistic Knowledge Representation. - Christoph Beierle; Marc Finthammer; Gabriele Kern-Isberner; Matthias Thimm (IJCAR, 2010)

Using Defeasible Logic Programming for Argumentation-Based Decision Support in Private Law. - Christoph Beierle; Bernhard Freund; Gabriele Kern-Isberner; Matthias Thimm (COMMA, 2010)

ABA: Argumentation Based Agents. - Antonis C. Kakas; Leila Amgoud; Gabriele Kern-Isberner; Nicolas Maudet; Pavlos Moraitis (ECAI, 2010)

A System for Relational Probabilistic Reasoning on Maximum Entropy. - Matthias Thimm; Marc Finthammer; Sebastian Loh; Gabriele Kern-Isberner; Christoph Beierle (FLAIRS, 2010)

The Relationship of the Logic of Big-Stepped Probabilities to Standard Probabilistic Logics. - Christoph Beierle; Gabriele Kern-Isberner (FoIKS, 2010)

Probabilistic Relational Learning for Medical Diagnosis Based on Ion Mobility Spectrometry. - Marc Finthammer; Christoph Beierle; Jens Fisseler; Gabriele Kern-Isberner; Bülent Möller; Jörg Ingo Baumbach (IPMU (1), 2010)

Novel Semantical Approaches to Relational Probabilistic Conditionals. - Gabriele Kern-Isberner; Matthias Thimm (KR, 2010)

Editorial: Dynamics of knowledge and belief. - Christoph Beierle; Gabriele Kern-Isberner (Log. J. IGPL, 2010)

Preference Fusion for Default Reasoning Beyond System Z. - Gabriele Kern-Isberner; Manuela Ritterskamp (J. Autom. Reason., 2010)

Probabilistic Logics in Expert Systems: Approaches, Implementations, and Applications. - Gabriele Kern-Isberner; Christoph Beierle; Marc Finthammer; Matthias Thimm (DEXA (1), 2011)

Relational Probabilistic Conditional Reasoning at Maximum Entropy. - Matthias Thimm; Gabriele Kern-Isberner; Jens Fisseler (ECSQARU, 2011)

A Default Logical Semantics for Defeasible Argumentation. - Gabriele Kern-Isberner; Guillermo Ricardo Simari (FLAIRS, 2011)

On the computation of ranking functions for default rules - A challenge for constraint programming. - Christoph Beierle; Gabriele Kern-Isberner (GI-Jahrestagung, 2011)

A Constructive Approach to Independent and Evidence Retaining Belief Revision by General Information Sets. - Gabriele Kern-Isberner; Patrick Krümpelmann (IJCAI, 2011)

A Declarative Approach for Computing Ordinal Conditional Functions Using Constraint Logic Programming. - Christoph Beierle; Gabriele Kern-Isberner; Karl Södler (INAP/WLP, 2011)

Evaluation and Comparison Criteria for Approaches to Probabilistic Relational Knowledge Representation. - Christoph Beierle; Marc Finthammer; Gabriele Kern-Isberner; Matthias Thimm (KI, 2011)

On Influence and Contractions in Defeasible Logic Programming. - Diego R. García; Sebastian Gottifredi; Patrick Krümpelmann; Matthias Thimm; Gabriele Kern-Isberner; Marcelo A. Falappa; Alejandro Javier García (LPNMR, 2011)

Motivating Agents in Unreliable Environments: A Computational Model. - Patrick Krümpelmann; Matthias Thimm; Gabriele Kern-Isberner; Regina Fritsch (MATES, 2011)

Selective Revision by Deductive Argumentation. - Patrick Krümpelmann; Matthias Thimm; Marcelo A. Falappa; Alejandro Javier García; Gabriele Kern-Isberner; Guillermo Ricardo Simari (TAFA, 2011)

Preface. - Sven Hartmann; Gabriele Kern-Isberner (Ann. Math. Artif. Intell., 2011)

Argonauts: a working system for motivated cooperative agents. - Daniel Hölzgen; Thomas Vengels; Patrick Krümpelmann; Matthias Thimm; Gabriele Kern-Isberner (Ann. Math. Artif. Intell., 2011)

A Constraint Logic Programming Approach for Computing Ordinal Conditional Functions - Christoph Beierle; Gabriele Kern-Isberner; Karl Södler (CoRR, 2011)

On the evolving relation between Belief Revision and Argumentation. - Marcelo A. Falappa; Alejandro Javier García; Gabriele Kern-Isberner; Guillermo Ricardo Simari (Knowl. Eng. Rev., 2011)

A Ranking Semantics for First-Order Conditionals. - Gabriele Kern-Isberner; Matthias Thimm (ECAI, 2012)

Conditional Objects Revisited: Variants and Model Translations. - Christoph Beierle; Gabriele Kern-Isberner (FLAIRS, 2012)

Stepwise Optimization of a Constraint Logic Program for the Computation of Ranking Functions. - Christoph Beierle; Gabriele Kern-Isberner; Karl Södler (GI-Jahrestagung, 2012)

Belief Base Change Operations for Answer Set Programming. - Patrick Krümpelmann; Gabriele Kern-Isberner (JELIA, 2012)

Semantical investigations into nonmonotonic and probabilistic logics. - Christoph Beierle; Gabriele Kern-Isberner (Ann. Math. Artif. Intell., 2012)

Editorial: Relational approaches to knowledge representation and learning. - Christoph Beierle; Gabriele Kern-Isberner (Log. J. IGPL, 2012)

On probabilistic inference in relational conditional logics. - Matthias Thimm; Gabriele Kern-Isberner (Log. J. IGPL, 2012)

Prioritized and Non-prioritized Multiple Change on Belief Bases. - Marcelo A. Falappa; Gabriele Kern-Isberner; Maurício D. Luís Reis; Guillermo Ricardo Simari (J. Philos. Log., 2012)

Aspects of Universitarian Distance Teaching and Online Learning. - Christoph Beierle; Gabriele Kern-Isberner (Künstliche Intell., 2012)

Comparing and Evaluating Approaches to Probabilistic Reasoning: Theory, Implementation, and Applications. - Gabriele Kern-Isberner; Christoph Beierle; Marc Finthammer; Matthias Thimm (Trans. Large Scale Data Knowl. Centered Syst., 2012)

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 (CBMS, 2013)

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 (ECSQARU, 2013)

On the Problem of Reversing Relational Inductive Knowledge Representation. - Nico Potyka; Christoph Beierle; Gabriele Kern-Isberner (ECSQARU, 2013)

Intensional Combination of Rankings for OCF-Networks. - Gabriele Kern-Isberner; Christian Eichhorn 001 (FLAIRS, 2013)

Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs. - Ella Albrecht; Patrick Krümpelmann; Gabriele Kern-Isberner (KDPD, 2013)

Changes of Relational Probabilistic Belief States and Their Computation under Optimum Entropy Semantics. - Nico Potyka; Christoph Beierle; Gabriele Kern-Isberner (KI, 2013)

Secrecy Preserving BDI Agents Based on Answerset Programming. - Patrick Krümpelmann; Gabriele Kern-Isberner (MATES, 2013)

Stratified Labelings for Abstract Argumentation. - Matthias Thimm; Gabriele Kern-Isberner (CoRR, 2013)

Belief Change and Argumentation in Multi-Agent Scenarios (Dagstuhl Seminar 13231). - Jürgen Dix; Sven Ove Hansson; Gabriele Kern-Isberner; Guillermo Ricardo Simari (Dagstuhl Reports, 2013)

A novel approach for connecting temporal-ontologies with blood flow simulations. - Frank Weichert; Christoph Mertens; Lars Walczak; Gabriele Kern-Isberner; Mathias Wagner (J. Biomed. Informatics, 2013)

Stratified Belief Bases Revision with Argumentative Inference. - Marcelo A. Falappa; Alejandro Javier García; Gabriele Kern-Isberner; Guillermo Ricardo Simari (J. Philos. Log., 2013)

Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen, 5. Auflage. - Christoph Beierle; Gabriele Kern-Isberner (SpringerVieweg, 2014)

On Controversiality of Arguments and Stratified Labelings. - Matthias Thimm; Gabriele Kern-Isberner (COMMA, 2014)

Angerona - A Flexible Multiagent Framework for Knowledge-Based Agents. - Patrick Krümpelmann; Tim Janus; Gabriele Kern-Isberner (EUMAS, 2014)

Observations on the Minimality of Ranking Functions for Qualitative Conditional Knowledge Bases and Their Computation. - Christoph Beierle; Rita Hermsen; Gabriele Kern-Isberner (FLAIRS, 2014)

A Novel Methodology for Processing Probabilistic Knowledge Bases Under Maximum Entropy. - Gabriele Kern-Isberner; Marco Wilhelm; Christoph Beierle (FLAIRS, 2014)

Reasoning on Secrecy Constraints under Uncertainty to Classify Possible Actions. - Joachim Biskup; Gabriele Kern-Isberner; Patrick Krümpelmann; Cornelia Tadros (FoIKS, 2014)

Probabilistic Knowledge Representation Using Gröbner Basis Theory. - Gabriele Kern-Isberner; Marco Wilhelm; Christoph Beierle (ISAIM, 2014)

LEG Networks for Ranking Functions. - Christian Eichhorn 001; Gabriele Kern-Isberner (JELIA, 2014)

Structural Inference from Conditional Knowledge Bases. - Gabriele Kern-Isberner; Christian Eichhorn 001 (Stud Logica, 2014)

A System Z-like Approach for First-Order Default Reasoning. - Gabriele Kern-Isberner; Christoph Beierle (Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015)

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 (FLAIRS, 2015)

Multiple Iterated Belief Revision Without Independence. - Gabriele Kern-Isberner; Daniela Huvermann (FLAIRS, 2015)

Qualitative Probabilistic Inference with Default Inheritance. - Paul D. Thorn; Christian Eichhorn 001; Gabriele Kern-Isberner; Gerhard Schurz (DKB/KIK@KI, 2015)

Multi-disciplinary approaches to reasoning with imperfect information and knowledge - a synthesis and a roadmap of challenges (Dagstuhl Seminar 15221). - Igor Douven; Gabriele Kern-Isberner; Markus Knauff; Henri Prade (Dagstuhl Reports, 2015)

Relational Probabilistic Conditionals and Their Instantiations under Maximum Entropy Semantics for First-Order Knowledge Bases. - Christoph Beierle; Marc Finthammer; Gabriele Kern-Isberner (Entropy, 2015)

Using inductive reasoning for completing OCF-networks. - Christian Eichhorn 001; Gabriele Kern-Isberner (J. Appl. Log., 2015)

A concept for the evolution of relational probabilistic belief states and the computation of their changes under optimum entropy semantics. - Nico Potyka; Christoph Beierle; Gabriele Kern-Isberner (J. Appl. Log., 2015)

Extending and Completing Probabilistic Knowledge and Beliefs Without Bias. - Christoph Beierle; Gabriele Kern-Isberner; Marc Finthammer; Nico Potyka (Künstliche Intell., 2015)

Qualitative and Semi-Quantitative Inductive Reasoning with Conditionals - Technical Project Report. - Christian Eichhorn 001; Gabriele Kern-Isberner (Künstliche Intell., 2015)

Skeptical, Weakly Skeptical, and Credulous Inference Based on Preferred Ranking Functions. - Christoph Beierle; Christian Eichhorn 001; Gabriele Kern-Isberner; Steven Kutsch (ECAI, 2016)

An Approach to Qualitative Belief Change Modulo Ontic Strength. - Gavin Rens; Gabriele Kern-Isberner (DARe@ECAI, 2016)

Minimal Tolerance Pairs for System Z-Like Ranking Functions for First-Order Conditional Knowledge Bases. - Christoph Beierle; Tobias Falke; Steven Kutsch; Gabriele Kern-Isberner (FLAIRS, 2016)

A Formal Model of Plausibility Monitoring in Language Comprehension. - Maj-Britt Isberner; Gabriele Kern-Isberner (FLAIRS, 2016)

Propositional Probabilistic Reasoning at Maximum Entropy Modulo Theories. - Marco Wilhelm; Gabriele Kern-Isberner; Andreas Ecke (FLAIRS, 2016)

Skeptical Inference Based on C-Representations and Its Characterization as a Constraint Satisfaction Problem. - Christoph Beierle; Christian Eichhorn 001; Gabriele Kern-Isberner (FoIKS, 2016)

When Should Learning Agents Switch to Explicit Knowledge? - Daan Apeldoorn; Gabriele Kern-Isberner (GCAI, 2016)

Simulating Human Inferences in the Light of New Information: A Formal Analysis. - Marco Ragni; Christian Eichhorn 001; Gabriele Kern-Isberner (IJCAI, 2016)

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 (KI, 2016)

Belief change and argumentation in multi-agent scenarios. - Jürgen Dix; Sven Ove Hansson; Gabriele Kern-Isberner; Guillermo Ricardo Simari (Ann. Math. Artif. Intell., 2016)

CP- and OCF-networks - a comparison. - Christian Eichhorn 001; Matthias Fey; Gabriele Kern-Isberner (Fuzzy Sets Syst., 2016)

Dynamics of Knowledge and Belief. - Christoph Beierle; Gabriele Kern-Isberner (J. Appl. Log., 2016)

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 001; Gabriele Kern-Isberner; Ralf Georg Meyer; Mathias Nietzke (CBMS, 2017)

An Agent-Based Learning Approach for Finding and Exploiting Heuristics in Unknown Environments. - Daan Apeldoorn; Gabriele Kern-Isberner (COMMONSENSE, 2017)

A Transformation System for Unique Minimal Normal Forms of Conditional Knowledge Bases. - Christoph Beierle; Christian Eichhorn 001; Gabriele Kern-Isberner (ECSQARU, 2017)

A Semantics for Conditionals with Default Negation. - Marco Wilhelm; Christian Eichhorn 001; Richard Niland; Gabriele Kern-Isberner (ECSQARU, 2017)

Towards An Understanding of What is Learned: Extracting Multi-Abstraction-Level Knowledge from Learning Agents. - Daan Apeldoorn; Gabriele Kern-Isberner (FLAIRS, 2017)

Typed Model Counting and Its Application to Probabilistic Conditional Reasoning at Maximum Entropy. - Marco Wilhelm; Gabriele Kern-Isberner (FLAIRS, 2017)

Iterated contraction of propositions and conditionals under the principle of conditional preservation. - Gabriele Kern-Isberner; Tanja Bock; Kai Sauerwald; Christoph Beierle (GCAI, 2017)

Basic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals. - Marco Wilhelm; Gabriele Kern-Isberner; Andreas Ecke (GCAI, 2017)

On Transformations and Normal Forms of Conditional Knowledge Bases. - Christoph Beierle; Christian Eichhorn 001; Gabriele Kern-Isberner (IEA/AIE (1), 2017)

Strong Syntax Splitting for Iterated Belief Revision. - Gabriele Kern-Isberner; Gerhard Brewka (IJCAI, 2017)

Various Approaches to the Application of Answer Set Programming in Order-picking Systems with Intelligent Vehicles. - Steffen Schieweck; Gabriele Kern-Isberner; Michael ten Hompel (IJCCI, 2017)

Cellular Transport Systems Improved: Achieving Efficient Operations with Answer Set Programming. - Steffen Schieweck; Gabriele Kern-Isberner; Michael ten Hompel (IJCCI (Selected Papers), 2017)

First-Order Typed Model Counting for Probabilistic Conditional Reasoning at Maximum Entropy. - Marco Wilhelm; Marc Finthammer; Gabriele Kern-Isberner; Christoph Beierle (SUM, 2017)

Probabilistic knowledge representation using the principle of maximum entropy and Gröbner basis theory. - Gabriele Kern-Isberner; Marco Wilhelm; Christoph Beierle (Ann. Math. Artif. Intell., 2017)

A Framework for Versatile Knowledge and Belief Management Operations in a Probabilistic Conditional Logic. - Christoph Beierle; Marc Finthammer; Nico Potyka; Julian Varghese; Gabriele Kern-Isberner (FLAP, 2017)

System ZFO: Default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases. - Christoph Beierle; Tobias Falke; Steven Kutsch; Gabriele Kern-Isberner (Int. J. Approx. Reason., 2017)

Plausible reasoning and plausibility monitoring in language comprehension. - Maj-Britt Isberner; Gabriele Kern-Isberner (Int. J. Approx. Reason., 2017)

What kind of independence do we need for multiple iterated belief change? - Gabriele Kern-Isberner; Daniela Huvermann (J. Appl. Log., 2017)

Special Issue on Challenges for Reasoning under Uncertainty, Inconsistency, Vagueness, and Preferences - A Topical Snapshot. - Gabriele Kern-Isberner; Thomas Lukasiewicz (Künstliche Intell., 2017)

Many Facets of Reasoning Under Uncertainty, Inconsistency, Vagueness, and Preferences: A Brief Survey. - Gabriele Kern-Isberner; Thomas Lukasiewicz (Künstliche Intell., 2017)

Reasoning with Imperfect Information and Knowledge. - Gabriele Kern-Isberner; Igor Douven; Markus Knauff; Henri Prade (Minds Mach., 2017)

Formal Nonmonotonic Theories and Properties of Human Defeasible Reasoning. - Marco Ragni; Christian Eichhorn 001; Tanja Bock; Gabriele Kern-Isberner; Alice Ping Ping Tse (Minds Mach., 2017)

Rational Inference Patterns Based on Conditional Logic. - Christian Eichhorn 001; Gabriele Kern-Isberner; Marco Ragni (AAAI, 2018)

From Concepts in Non-Monotonic Reasoning to High-Level Implementations Using Abstract State Machines and Functional Programming. - Christoph Beierle; Steven Kutsch; Gabriele Kern-Isberner (Models: Concepts, Theory, Logic, Reasoning and Semantics, 2018)

Towards a Formal Foundation of Cognitive Architectures. - Marco Ragni; Kai Sauerwald; Tanja Bock; Gabriele Kern-Isberner; Paulina Friemann; Christoph Beierle (CogSci, 2018)

Comparing Approaches to Qualitative Data Mining. - Richard Niland; Christian Eichhorn 001; Gabriele Kern-Isberner (FLAIRS, 2018)

Decision Support Core System for Cancer Therapies Using ASP-HEX. - Andre Thevapalan; Gabriele Kern-Isberner; Diana Howey; Christoph Beierle; Ralf Georg Meyer; Mathias Nietzke (FLAIRS, 2018)

A Generalized Iterative Scaling Algorithm for Maximum Entropy Model Computations Respecting Probabilistic Independencies. - Marco Wilhelm; Gabriele Kern-Isberner; Marc Finthammer; Christoph Beierle (FoIKS, 2018)

Kinds and Aspects of Forgetting in Common-Sense Knowledge and Belief Management. - Christoph Beierle; Tanja Bock; Gabriele Kern-Isberner; Marco Ragni; Kai Sauerwald (KI, 2018)

Probabilistic Belief Revision via Similarity of Worlds Modulo Evidence. - Gavin Rens; Thomas Andreas Meyer; Gabriele Kern-Isberner; Abhaya Nayak (KI, 2018)

Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges. - Ingo J. Timm; Steffen Staab; Michael Siebers; Claudia Schon; Ute Schmid; Kai Sauerwald; Lukas Reuter 001; Marco Ragni; Claudia Niederée; Heiko Maus; Gabriele Kern-Isberner; Christian Jilek; et al. (KI, 2018)

Axiomatizing a Qualitative Principle of Conditional Preservation for Iterated Belief Change. - Gabriele Kern-Isberner (KR, 2018)

Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem. - Christoph Beierle; Christian Eichhorn 001; Gabriele Kern-Isberner; Steven Kutsch (Ann. Math. Artif. Intell., 2018)

Advanced Solving Technology for Dynamic and Reactive Applications. - Gerhard Brewka; Stefan Ellmauthaler; Gabriele Kern-Isberner; Philipp Obermeier; Max Ostrowski; Javier Romero 003; Torsten Schaub; Steffen Schieweck (Künstliche Intell., 2018)

Maximum Entropy Calculations for the Probabilistic Description Logic $$ mathcal {ALC}^{ mathsf{ME}}$$. - Marco Wilhelm; Gabriele Kern-Isberner (Description Logic, Theory Combination, and All That, 2019)

Axiomatic Evaluation of Epistemic Forgetting Operators. - Gabriele Kern-Isberner; Tanja Bock; Christoph Beierle; Kai Sauerwald (FLAIRS, 2019)

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 (FLAIRS, 2019)

The Complexity of the Consistency Problem in the Probabilistic Description Logic 𝓐ℒ𝒞ME. - Franz Baader; Andreas Ecke; Gabriele Kern-Isberner; Marco Wilhelm (FroCos, 2019)

Introduction to the Minitrack on Intentional Forgetting in Organizations and Information Systems. - Christof Thim; Norbert Gronau; Annette Kluge; Eric Tsui; Gabriele Kern-Isberner (HICSS, 2019)

Counting Strategies for the Probabilistic Description Logic 𝓐ℒ𝒞ME Under the Principle of Maximum Entropy. - Marco Wilhelm; Gabriele Kern-Isberner; Andreas Ecke; Franz Baader (JELIA, 2019)

Argumentation-Based Explanations for Answer Sets Using ADF. - Lena Rolf; Gabriele Kern-Isberner; Gerhard Brewka (LPNMR, 2019)

Belief Change Properties of Forgetting Operations over Ranking Functions. - Gabriele Kern-Isberner; Tanja Bock; Kai Sauerwald; Christoph Beierle (PRICAI (1), 2019)

Rational Inference Patterns. - Lars-Phillip Spiegel; Gabriele Kern-Isberner; Marco Ragni (PRICAI (1), 2019)

Conditional Logics and Conditional Reasoning: New Joint Perspectives (Dagstuhl Seminar 19032). - Guillaume Aucher; Paul Égré; Gabriele Kern-Isberner; Francesca Poggiolesi (Dagstuhl Reports, 2019)

The Role of Non-monotonic Reasoning in Future Development of Artificial Intelligence (Dagstuhl Perspectives Workshop 19072). - Anthony Hunter; Gabriele Kern-Isberner; Thomas Meyer 002; Renata Wassermann (Dagstuhl Reports, 2019)

Towards a General Framework for Kinds of Forgetting in Common-Sense Belief Management. - Christoph Beierle; Gabriele Kern-Isberner; Kai Sauerwald; Tanja Bock; Marco Ragni (Künstliche Intell., 2019)

A Brief Survey on Forgetting from a Knowledge Representation and Reasoning Perspective. - Thomas Eiter; Gabriele Kern-Isberner (Künstliche Intell., 2019)

An Epistemic Interpretation of Abstract Dialectical Argumentation. - Jesse Heyninck; Gabriele Kern-Isberner (COMMA, 2020)

Cognitive Logics - Features, Formalisms, and Challenges. - Marco Ragni; Gabriele Kern-Isberner; Christoph Beierle; Kai Sauerwald (ECAI, 2020)

A Conditional Perspective for Iterated Belief Contraction. - Kai Sauerwald; Gabriele Kern-Isberner; Christoph Beierle (ECAI, 2020)

On the Correspondence between Abstract Dialectical Frameworks and Nonmonotonic Conditional Logics. - Jesse Heyninck; Gabriele Kern-Isberner; Matthias Thimm (FLAIRS, 2020)

Generalized Ranking Kinematics for Iterated Belief Revision. - Meliha Sezgin; Gabriele Kern-Isberner (FLAIRS, 2020)

Context-Based Inferences from Probabilistic Conditionals with Default Negation at Maximum Entropy. - Marco Wilhelm; Gabriele Kern-Isberner (FLAIRS, 2020)

Syntax Splitting for Iterated Contractions. - Jonas Philipp Haldimann; Gabriele Kern-Isberner; Christoph Beierle (KR, 2020)

Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic Reasoning From Conditional Belief Bases. - Gabriele Kern-Isberner; Christoph Beierle; Gerhard Brewka (KR, 2020)

Focused Inference and System P. - Marco Wilhelm; Gabriele Kern-Isberner (AAAI, 2021)

Semantic Splitting of Conditional Belief Bases. - Christoph Beierle; Jonas Haldimann; Gabriele Kern-Isberner (Logic, Computation and Rigorous Methods, 2021)

Selection Strategies for Inductive Reasoning From Conditional Belief Bases and for Belief Change Respecting the Principle of Conditional Preservation. - Christoph Beierle; Gabriele Kern-Isberner (FLAIRS, 2021)

System Z for Conditional Belief Bases with Positive and Negative Information. - Meliha Sezgin; Gabriele Kern-Isberner (FLAIRS, 2021)

Establish Coherence in Logic Programs Modelling Expert Knowledge via Argumentation. - Andre Thevapalan; Jesse Heyninck; Gabriele Kern-Isberner (ICLP Workshops, 2021)

Ranking Extensions in Abstract Argumentation. - Kenneth Skiba; Tjitze Rienstra; Matthias Thimm; Jesse Heyninck; Gabriele Kern-Isberner (IJCAI, 2021)

Syntax Splitting for Iterated Contractions, Ignorations, and Revisions on Ranking Functions Using Selection Strategies. - Jonas Haldimann; Christoph Beierle; Gabriele Kern-Isberner (JELIA, 2021)

Conditional Descriptor Revision and Its Modelling by a CSP. - Jonas Haldimann; Kai Sauerwald; Martin von Berg; Gabriele Kern-Isberner; Christoph Beierle (JELIA, 2021)

On Properties of Epistemic State Mappings among Ranking Functions and Total Preorders. - Jonas Haldimann; Gabriele Kern-Isberner (FCR@KI, 2021)

A Brief Introduction Into Activation-Based Conditional Inference. - Marco Wilhelm; Diana Howey; Gabriele Kern-Isberner; Kai Sauerwald; Christoph Beierle (FCR@KI, 2021)

Revision and Conditional Inference for Abstract Dialectical Frameworks. - Jesse Heyninck; Gabriele Kern-Isberner; Tjitze Rienstra; Kenneth Skiba; Matthias Thimm (KR, 2021)

Towards a framework of hansson's descriptor revision for conditionals. - Jonas Haldimann; Kai Sauerwald; Martin von Berg; Gabriele Kern-Isberner; Christoph Beierle (SAC, 2021)

Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models. - Christoph Beierle; Christian Eichhorn 001; Gabriele Kern-Isberner; Steven Kutsch (Artif. Intell., 2021)

On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics. - Jesse Heyninck; Gabriele Kern-Isberner; Matthias Thimm; Kenneth Skiba (Ann. Math. Artif. Intell., 2021)

Ranking kinematics for revising by contextual information. - Meliha Sezgin; Gabriele Kern-Isberner; Christoph Beierle (Ann. Math. Artif. Intell., 2021)

On Limited Non-Prioritised Belief Revision Operators with Dynamic Scope. - Kai Sauerwald; Gabriele Kern-Isberner; Christoph Beierle (CoRR, 2021)

Forgetting Formulas and Signature Elements in Epistemic States. - Alexander Becker; Gabriele Kern-Isberner; Kai Sauerwald; Christoph Beierle (CoRR, 2021)

Conditional Inference and Activation of Knowledge Entities in ACT-R. - Marco Wilhelm; Diana Howey; Gabriele Kern-Isberner; Kai Sauerwald; Christoph Beierle (CoRR, 2021)

Special issue from the 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2019). - Gabriele Kern-Isberner; Zoran Ognjanovic (Int. J. Approx. Reason., 2021)

Conditional Abstract Dialectical Frameworks. - Jesse Heyninck; Matthias Thimm; Gabriele Kern-Isberner; Tjitze Rienstra; Kenneth Skiba (AAAI, 2022)

Explaining Argument Acceptance in ADFs. - Tjitze Rienstra; Jesse Heyninck; Gabriele Kern-Isberner; Kenneth Skiba; Matthias Thimm (ArgXAI@COMMA, 2022)

Realisability of Rankings-based Semantics. - Kenneth Skiba; Matthias Thimm; Tjitze Rienstra; Jesse Heyninck; Gabriele Kern-Isberner (SAFA@COMMA, 2022)

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 (FLAIRS, 2022)

Lexicographic Entailment, Syntax Splitting and the Drowning Problem. - Jesse Heyninck; Gabriele Kern-Isberner; Thomas Andreas Meyer (IJCAI, 2022)

Possibilistic Logic Underlies Abstract Dialectical Frameworks. - Jesse Heyninck; Gabriele Kern-Isberner; Tjitze Rienstra; Kenneth Skiba; Matthias Thimm (IJCAI, 2022)

Conditional Independence for Iterated Belief Revision. - Gabriele Kern-Isberner; Jesse Heyninck; Christoph Beierle (IJCAI, 2022)

Revision by Comparison for Ranking Functions. - Meliha Sezgin; Gabriele Kern-Isberner (IJCAI, 2022)

Towards Causality-Based Conflict Resolution in Answer Set Programs. - Andre Thevapalan; Konstantin Haupt; Gabriele Kern-Isberner (LPNMR, 2022)

Conditional Syntax Splitting, Lexicographic Entailment and the Drowning Effect. - Jesse Heyninck; Gabriele Kern-Isberner; Thomas Andreas Meyer (NMR, 2022)

From Forgetting Signature Elements to Forgetting Formulas in Epistemic States. - Kai Sauerwald; Gabriele Kern-Isberner; Alexander Becker; Christoph Beierle (SUM, 2022)

A Conditional Perspective on the Logic of Iterated Belief Contraction. - Kai Sauerwald; Gabriele Kern-Isberner; Christoph Beierle (CoRR, 2022)

Conditional Syntax Splitting for Non-monotonic Inference Operators. - Jesse Heyninck; Gabriele Kern-Isberner; Thomas Andreas Meyer; Jonas Philipp Haldimann; Christoph Beierle (AAAI, 2023)

Implementing Bounded Revision via Lexicographic Revision and C-revision. - Meliha Sezgin; Gabriele Kern-Isberner (AAAI, 2023)

On the Cognitive Logic of Human Propositional Reasoning: Merging Ranking Functions. - Eda Ismail-Tsaous; Kai Sauerwald; Marco Ragni; Gabriele Kern-Isberner; Christoph Beierle (ECSQARU, 2023)

Conditionals, Infeasible Worlds, and Reasoning with System W. - Jonas Haldimann; Christoph Beierle; Gabriele Kern-Isberner; Thomas Meyer 002 (FLAIRS, 2023)

An Interactive Modelling Environment for Designing Warehouse Layouts Based on ASP. - Andre Thevapalan; Marco Wilhelm; Gabriele Kern-Isberner; Pascal Kaiser; Moritz Roidl (FLAIRS, 2023)

Prioritizing Answer Sets Based on Conditional Expert Knowledge. - Marco Wilhelm; Andre Thevapalan; Gabriele Kern-Isberner (FLAIRS, 2023)

Comparison and Incorporation of Reasoning and Learning Approaches for Cancer Therapy Research. - Andre Thevapalan; Daan Apeldoorn; Gabriele Kern-Isberner; Ralf Georg Meyer; Mathias Nietzke; Torsten Panholzer (GMDS, 2023)

Rational Closure Extension in SPO-Representable Inductive Inference Operators. - Jonas Haldimann; Thomas Meyer 002; Gabriele Kern-Isberner; Christoph Beierle (JELIA, 2023)

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 (JELIA, 2023)

Extending c-Representations and c-Inference for Reasoning with Infeasible Worlds. - Jonas Philipp Haldimann; Christoph Beierle; Gabriele Kern-Isberner (NMR, 2023)

A kinematics principle for iterated revision. - Gabriele Kern-Isberner; Meliha Sezgin; Christoph Beierle (Artif. Intell., 2023)

Sorting Strategies for Interactive Conflict Resolution in ASP. - Andre Thevapalan; Gabriele Kern-Isberner (ICLP, 2023)

Epistemic State Mappings among Ranking Functions and Total Preorders. - Jonas Philipp Haldimann; Christoph Beierle; Gabriele Kern-Isberner (FLAP, 2023)

Activation-based Conditional Inference. - Marco Wilhelm; Diana Howey; Gabriele Kern-Isberner; Kai Sauerwald; Christoph Beierle (FLAP, 2023)

Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks. - Jesse Heyninck; Gabriele Kern-Isberner; Tjitze Rienstra; Kenneth Skiba; Matthias Thimm (Artif. Intell., 2023)

On Establishing Robust Consistency in Answer Set Programs. - Andre Thevapalan; Gabriele Kern-Isberner (Theory Pract. Log. Program., 2023)

Decomposing Constraint Networks for Calculating c-Representations. - Marco Wilhelm; Gabriele Kern-Isberner (AAAI, 2024)

Ranking-based Conditional Semantics for Defeasible Subsumptions (Abstract of Invited Talk). - Gabriele Kern-Isberner (Description Logics, 2024)

Intrinsic Prioritization in Answer Set Programming Based on an Adapted Notion of Tolerance. - Marco Wilhelm; Lars-Phillip Spiegel; Gabriele Kern-Isberner (FLAIRS, 2024)

Syntax Splitting and Reasoning from Weakly Consistent Conditional Belief Bases with c-Inference. - Jonas Haldimann; Christoph Beierle; Gabriele Kern-Isberner (FoIKS, 2024)

Propositional Variable Forgetting and Marginalization: Semantically, Two Sides of the Same Coin. - Kai Sauerwald; Christoph Beierle; Gabriele Kern-Isberner (FoIKS, 2024)

Core c-Representations and c-Core Closure for Conditional Belief Bases. - Marco Wilhelm; Gabriele Kern-Isberner; Christoph Beierle (FoIKS, 2024)

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 (KR, 2024)

Total Preorders vs Ranking Functions under Belief Revision - the Dynamics of Empty Layers. - Gabriele Kern-Isberner; Alexander Hahn 001; Jonas Haldimann; Christoph Beierle (KR, 2024)

Ranking-based Defeasible Reasoning for Restricted First-Order Conditionals Applied to Description Logics. - Alexander Hahn 001; Gabriele Kern-Isberner; Thomas Meyer 002 (NMR, 2024)

Extraction of Conditional Belief Bases and the System Z Ranking Model From Multilayer Perceptrons for Binary Classification. - Marco Wilhelm; Alexander Hahn 001; Gabriele Kern-Isberner (NMR, 2024)

Integrated Use of System Z for Preferred Answer Set Programming. - Marco Wilhelm; Andre Thevapalan; Gabriele Kern-Isberner (FLAIRS, 2025)

Sequential merging and construction of rankings as cognitive logic. - Kai Sauerwald; Eda Ismail-Tsaous; Marco Ragni; Gabriele Kern-Isberner; Christoph Beierle (Int. J. Approx. Reason., 2025)

Extension-ranking Semantics for Abstract Argumentation Preprint. - Kenneth Skiba; Tjitze Rienstra; Matthias Thimm; Jesse Heyninck; Gabriele Kern-Isberner (CoRR, 2025)