Gabriele Kern-Isberner

288 papers A* 29A 13B 18C 18Misc 49Journal 80Unranked 67

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Conditional Constraint and Solution Splittings of Belief Bases in the Context of c-Representations. FoIKS Lars-Phillip Spiegel, Christoph Beierle, Gabriele Kern-Isberner, Alexander Hahn
2025	J	`jnl`	A General Framework of Epistemic Forgetting and its Instantiation by Ranking Functions. CoRR Christoph Beierle, Alexander Hahn, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald
2025	C	`conf`	Explaining Changes in Total Preorders and Ranking Functions. ECSQARU Alexander Hahn, Gabriele Kern-Isberner, Lars-Phillip Spiegel, Christoph Beierle
2025	J	`jnl`	Extension-ranking Semantics for Abstract Argumentation Preprint. CoRR Kenneth Skiba, Tjitze Rienstra, Matthias Thimm, Jesse Heyninck, Gabriele Kern-Isberner
2025	A*	`conf`	Generalized Safe Conditional Syntax Splitting of Belief Bases. IJCAI Lars-Phillip Spiegel, Jonas Haldimann, Jesse Heyninck, Gabriele Kern-Isberner, Christoph Beierle
2025	J	`jnl`	Inductive inference from weakly consistent belief bases. Knowl. Eng. Rev. Jonas Philipp Haldimann, Christoph Beierle, Gabriele Kern-Isberner
2025	Misc	`conf`	Integrated Use of System Z for Preferred Answer Set Programming. FLAIRS Marco Wilhelm, Andre Thevapalan, Gabriele Kern-Isberner
2025	—	`conf`	Kinematics Principles for Inductive Reasoning from Conditional Belief Bases. NMR Alexander Hahn, Gabriele Kern-Isberner, Lars-Phillip Spiegel, Christoph Beierle
2025	—	`conf`	Merging Marginalized Total Preorders. NMR Alexander Hahn, Gabriele Kern-Isberner, Lars-Phillip Spiegel, Christoph Beierle
2025	J	`jnl`	Reasoning with system W and infeasible worlds. Ann. Math. Artif. Intell. Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner, Thomas Meyer
2025	—	`conf`	Resolving Constraint-Induced Inconsistencies in ASP Using lambda-Extensions. NMR Andre Thevapalan, Gabriele Kern-Isberner
2025	J	`jnl`	Sequential merging and construction of rankings as cognitive logic. Int. J. Approx. Reason. Kai Sauerwald, Eda Ismail-Tsaous, Marco Ragni, Gabriele Kern-Isberner, Christoph Beierle
2025	—	`conf`	Strategic Principles for Revising Ranking Functions. NMR Gabriele Kern-Isberner, Alexander Hahn, Lars-Phillip Spiegel, Christoph Beierle
2024	A*	`conf`	Conditional Splittings of Belief Bases and Nonmonotonic Inference with c-Representations. KR Christoph Beierle, Lars-Phillip Spiegel, Jonas Haldimann, Marco Wilhelm, Jesse Heyninck, Gabriele Kern-Isberner
2024	—	`conf`	Core c-Representations and c-Core Closure for Conditional Belief Bases. FoIKS Marco Wilhelm, Gabriele Kern-Isberner, Christoph Beierle
2024	A*	`conf`	Decomposing Constraint Networks for Calculating c-Representations. AAAI Marco Wilhelm, Gabriele Kern-Isberner
2024	—	`conf`	Extraction of Conditional Belief Bases and the System Z Ranking Model From Multilayer Perceptrons for Binary Classification. NMR Marco Wilhelm, Alexander Hahn, Gabriele Kern-Isberner
2024	Misc	`conf`	Intrinsic Prioritization in Answer Set Programming Based on an Adapted Notion of Tolerance. FLAIRS Marco Wilhelm, Lars-Phillip Spiegel, Gabriele Kern-Isberner
2024	—	`conf`	Propositional Variable Forgetting and Marginalization: Semantically, Two Sides of the Same Coin. FoIKS Kai Sauerwald, Christoph Beierle, Gabriele Kern-Isberner
2024	—	`conf`	Ranking-based Conditional Semantics for Defeasible Subsumptions (Abstract of Invited Talk). Description Logics Gabriele Kern-Isberner
2024	—	`conf`	Ranking-based Defeasible Reasoning for Restricted First-Order Conditionals Applied to Description Logics. NMR Alexander Hahn, Gabriele Kern-Isberner, Thomas Meyer
2024	—	`conf`	Syntax Splitting and Reasoning from Weakly Consistent Conditional Belief Bases with c-Inference. FoIKS Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner
2024	A*	`conf`	Total Preorders vs Ranking Functions under Belief Revision - the Dynamics of Empty Layers. KR Gabriele Kern-Isberner, Alexander Hahn, Jonas Haldimann, Christoph Beierle
2023	J	`jnl`	A kinematics principle for iterated revision. Artif. Intell. Gabriele Kern-Isberner, Meliha Sezgin, Christoph Beierle
2023	J	`jnl`	Activation-based Conditional Inference. FLAP Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle
2023	Misc	`conf`	An Interactive Modelling Environment for Designing Warehouse Layouts Based on ASP. FLAIRS Andre Thevapalan, Marco Wilhelm, Gabriele Kern-Isberner, Pascal Kaiser, Moritz Roidl
2023	—	`conf`	Comparison and Incorporation of Reasoning and Learning Approaches for Cancer Therapy Research. GMDS Andre Thevapalan, Daan Apeldoorn, Gabriele Kern-Isberner, Ralf Georg Meyer, Mathias Nietzke, Torsten Panholzer
2023	A*	`conf`	Conditional Syntax Splitting for Non-monotonic Inference Operators. AAAI Jesse Heyninck, Gabriele Kern-Isberner, Thomas Andreas Meyer, Jonas Philipp Haldimann, Christoph Beierle
2023	Misc	`conf`	Conditionals, Infeasible Worlds, and Reasoning with System W. FLAIRS Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner, Thomas Meyer
2023	J	`jnl`	Epistemic State Mappings among Ranking Functions and Total Preorders. FLAP Jonas Philipp Haldimann, Christoph Beierle, Gabriele Kern-Isberner
2023	—	`conf`	Extending c-Representations and c-Inference for Reasoning with Infeasible Worlds. NMR Jonas Philipp Haldimann, Christoph Beierle, Gabriele Kern-Isberner
2023	A*	`conf`	Implementing Bounded Revision via Lexicographic Revision and C-revision. AAAI Meliha Sezgin, Gabriele Kern-Isberner
2023	J	`jnl`	On Establishing Robust Consistency in Answer Set Programs. Theory Pract. Log. Program. Andre Thevapalan, Gabriele Kern-Isberner
2023	C	`conf`	On the Cognitive Logic of Human Propositional Reasoning: Merging Ranking Functions. ECSQARU Eda Ismail-Tsaous, Kai Sauerwald, Marco Ragni, Gabriele Kern-Isberner, Christoph Beierle
2023	Misc	`conf`	Prioritizing Answer Sets Based on Conditional Expert Knowledge. FLAIRS Marco Wilhelm, Andre Thevapalan, Gabriele Kern-Isberner
2023	A*	`ed.`	Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023. KR Pierre Marquis, Tran Cao Son, Gabriele Kern-Isberner
2023	B	`conf`	Rational Closure Extension in SPO-Representable Inductive Inference Operators. JELIA Jonas Haldimann, Thomas Meyer, Gabriele Kern-Isberner, Christoph Beierle
2023	J	`jnl`	Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks. Artif. Intell. Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm
2023	B	`conf`	Sorting Strategies for Interactive Conflict Resolution in ASP. ICLP Andre Thevapalan, Gabriele Kern-Isberner
2023	B	`conf`	Splitting Techniques for Conditional Belief Bases in the Context of c-Representations. JELIA Marco Wilhelm, Meliha Sezgin, Gabriele Kern-Isberner, Jonas Haldimann, Christoph Beierle, Jesse Heyninck
2022	J	`jnl`	A Conditional Perspective on the Logic of Iterated Belief Contraction. CoRR Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle
2022	A*	`conf`	Conditional Abstract Dialectical Frameworks. AAAI Jesse Heyninck, Matthias Thimm, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba
2022	A*	`conf`	Conditional Independence for Iterated Belief Revision. IJCAI Gabriele Kern-Isberner, Jesse Heyninck, Christoph Beierle
2022	—	`conf`	Conditional Syntax Splitting, Lexicographic Entailment and the Drowning Effect. NMR Jesse Heyninck, Gabriele Kern-Isberner, Thomas Andreas Meyer
2022	—	`conf`	Explaining Argument Acceptance in ADFs. ArgXAI Tjitze Rienstra, Jesse Heyninck, Gabriele Kern-Isberner, Kenneth Skiba, Matthias Thimm
2022	—	`conf`	From Forgetting Signature Elements to Forgetting Formulas in Epistemic States. SUM Kai Sauerwald, Gabriele Kern-Isberner, Alexander Becker, Christoph Beierle
2022	Misc	`conf`	Integrating Cognitive Principles From ACT-R Into Probabilistic Conditional Reasoning by Taking the Example of Maximum Entropy Reasoning. FLAIRS Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle
2022	A*	`conf`	Lexicographic Entailment, Syntax Splitting and the Drowning Problem. IJCAI Jesse Heyninck, Gabriele Kern-Isberner, Thomas Andreas Meyer
2022	J	`jnl`	On Establishing Robust Consistency in Answer Set Programs. CoRR Andre Thevapalan, Gabriele Kern-Isberner
2022	A*	`conf`	Possibilistic Logic Underlies Abstract Dialectical Frameworks. IJCAI Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm
2022	A*	`ed.`	Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel, July 31 - August 5, 2022. KR Gabriele Kern-Isberner, Gerhard Lakemeyer, Thomas Meyer
2022	—	`ed.`	Proceedings of the Workshop on Cognitive Aspects of Knowledge Representation co-located with the 31st international join conference on artificial intelligence (IJCAI-ECAI 2022), Vienna, Austria, July 23, 2022. CaKR@IJCAI Jesse Heyninck, Thomas Meyer, Marco Ragni, Matthias Thimm, Gabriele Kern-Isberner
2022	—	`conf`	Realisability of Rankings-based Semantics. SAFA Kenneth Skiba, Matthias Thimm, Tjitze Rienstra, Jesse Heyninck, Gabriele Kern-Isberner
2022	A*	`conf`	Revision by Comparison for Ranking Functions. IJCAI Meliha Sezgin, Gabriele Kern-Isberner
2022	B	`conf`	Towards Causality-Based Conflict Resolution in Answer Set Programs. LPNMR Andre Thevapalan, Konstantin Haupt, Gabriele Kern-Isberner
2021	—	`conf`	A Brief Introduction Into Activation-Based Conditional Inference. FCR@KI Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle
2021	B	`conf`	Conditional Descriptor Revision and Its Modelling by a CSP. JELIA Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle
2021	J	`jnl`	Conditional Inference and Activation of Knowledge Entities in ACT-R. CoRR Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle
2021	—	`conf`	Establish Coherence in Logic Programs Modelling Expert Knowledge via Argumentation. ICLP Workshops Andre Thevapalan, Jesse Heyninck, Gabriele Kern-Isberner
2021	A*	`conf`	Focused Inference and System P. AAAI Marco Wilhelm, Gabriele Kern-Isberner
2021	J	`jnl`	Forgetting Formulas and Signature Elements in Epistemic States. CoRR Alexander Becker, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle
2021	J	`jnl`	On Limited Non-Prioritised Belief Revision Operators with Dynamic Scope. CoRR Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle
2021	—	`conf`	On Properties of Epistemic State Mappings among Ranking Functions and Total Preorders. FCR@KI Jonas Haldimann, Gabriele Kern-Isberner
2021	J	`jnl`	On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics. Ann. Math. Artif. Intell. Jesse Heyninck, Gabriele Kern-Isberner, Matthias Thimm, Kenneth Skiba
2021	J	`jnl`	Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models. Artif. Intell. Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner, Steven Kutsch
2021	A*	`conf`	Ranking Extensions in Abstract Argumentation. IJCAI Kenneth Skiba, Tjitze Rienstra, Matthias Thimm, Jesse Heyninck, Gabriele Kern-Isberner
2021	J	`jnl`	Ranking kinematics for revising by contextual information. Ann. Math. Artif. Intell. Meliha Sezgin, Gabriele Kern-Isberner, Christoph Beierle
2021	A*	`conf`	Revision and Conditional Inference for Abstract Dialectical Frameworks. KR Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm
2021	Misc	`conf`	Selection Strategies for Inductive Reasoning From Conditional Belief Bases and for Belief Change Respecting the Principle of Conditional Preservation. FLAIRS Christoph Beierle, Gabriele Kern-Isberner
2021	—	`conf`	Semantic Splitting of Conditional Belief Bases. Logic, Computation and Rigorous Methods Christoph Beierle, Jonas Haldimann, Gabriele Kern-Isberner
2021	J	`jnl`	Special issue from the 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2019). Int. J. Approx. Reason. Gabriele Kern-Isberner, Zoran Ognjanovic
2021	B	`conf`	Syntax Splitting for Iterated Contractions, Ignorations, and Revisions on Ranking Functions Using Selection Strategies. JELIA Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner
2021	Misc	`conf`	System Z for Conditional Belief Bases with Positive and Negative Information. FLAIRS Meliha Sezgin, Gabriele Kern-Isberner
2021	Misc	`conf`	Towards a framework of hansson's descriptor revision for conditionals. SAC Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle
2020	A	`conf`	A Conditional Perspective for Iterated Belief Contraction. ECAI Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle
2020	C	`conf`	An Epistemic Interpretation of Abstract Dialectical Argumentation. COMMA Jesse Heyninck, Gabriele Kern-Isberner
2020	A	`conf`	Cognitive Logics - Features, Formalisms, and Challenges. ECAI Marco Ragni, Gabriele Kern-Isberner, Christoph Beierle, Kai Sauerwald
2020	Misc	`conf`	Context-Based Inferences from Probabilistic Conditionals with Default Negation at Maximum Entropy. FLAIRS Marco Wilhelm, Gabriele Kern-Isberner
2020	Misc	`conf`	Generalized Ranking Kinematics for Iterated Belief Revision. FLAIRS Meliha Sezgin, Gabriele Kern-Isberner
2020	Misc	`conf`	On the Correspondence between Abstract Dialectical Frameworks and Nonmonotonic Conditional Logics. FLAIRS Jesse Heyninck, Gabriele Kern-Isberner, Matthias Thimm
2020	A*	`conf`	Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic Reasoning From Conditional Belief Bases. KR Gabriele Kern-Isberner, Christoph Beierle, Gerhard Brewka
2020	A*	`conf`	Syntax Splitting for Iterated Contractions. KR Jonas Philipp Haldimann, Gabriele Kern-Isberner, Christoph Beierle
2019	J	`jnl`	A Brief Survey on Forgetting from a Knowledge Representation and Reasoning Perspective. Künstliche Intell. Thomas Eiter, Gabriele Kern-Isberner
2019	J	`jnl`	A Conditional Perspective for Iterated Belief Contraction. CoRR Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle
2019	B	`conf`	Argumentation-Based Explanations for Answer Sets Using ADF. LPNMR Lena Rolf, Gabriele Kern-Isberner, Gerhard Brewka
2019	Misc	`conf`	Axiomatic Evaluation of Epistemic Forgetting Operators. FLAIRS Gabriele Kern-Isberner, Tanja Bock, Christoph Beierle, Kai Sauerwald
2019	—	`conf`	Belief Change Properties of Forgetting Operations over Ranking Functions. PRICAI (1) Gabriele Kern-Isberner, Tanja Bock, Kai Sauerwald, Christoph Beierle
2019	J	`jnl`	Conditional Logics and Conditional Reasoning: New Joint Perspectives (Dagstuhl Seminar 19032). Dagstuhl Reports Guillaume Aucher, Paul Égré, Gabriele Kern-Isberner, Francesca Poggiolesi
2019	B	`conf`	Counting Strategies for the Probabilistic Description Logic 𝓐ℒ𝒞 JELIA Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke, Franz Baader
2019	Misc	`conf`	Integrating Typed Model Counting into First-Order Maximum Entropy Computations and the Connection to Markov Logic Networks. FLAIRS Marco Wilhelm, Gabriele Kern-Isberner, Marc Finthammer, Christoph Beierle
2019	—	`conf`	Introduction to the Minitrack on Intentional Forgetting in Organizations and Information Systems. HICSS Christof Thim, Norbert Gronau, Annette Kluge, Eric Tsui, Gabriele Kern-Isberner
2019	—	`conf`	Maximum Entropy Calculations for the Probabilistic Description Logic $$\mathcal {ALC}^{\mathsf{ME}}$$. Description Logic, Theory Combination, and All That Marco Wilhelm, Gabriele Kern-Isberner
2019	—	`conf`	Rational Inference Patterns. PRICAI (1) Lars-Phillip Spiegel, Gabriele Kern-Isberner, Marco Ragni
2019	C	`ed.`	Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings. ECSQARU Gabriele Kern-Isberner, Zoran Ognjanovic
2019	—	`conf`	The Complexity of the Consistency Problem in the Probabilistic Description Logic 𝓐ℒ𝒞 FroCos Franz Baader, Andreas Ecke, Gabriele Kern-Isberner, Marco Wilhelm
2019	J	`jnl`	The Role of Non-monotonic Reasoning in Future Development of Artificial Intelligence (Dagstuhl Perspectives Workshop 19072). Dagstuhl Reports Anthony Hunter, Gabriele Kern-Isberner, Thomas Meyer, Renata Wassermann
2019	J	`jnl`	Towards a General Framework for Kinds of Forgetting in Common-Sense Belief Management. Künstliche Intell. Christoph Beierle, Gabriele Kern-Isberner, Kai Sauerwald, Tanja Bock, Marco Ragni
2018	—	`conf`	A Generalized Iterative Scaling Algorithm for Maximum Entropy Model Computations Respecting Probabilistic Independencies. FoIKS Marco Wilhelm, Gabriele Kern-Isberner, Marc Finthammer, Christoph Beierle
2018	J	`jnl`	Advanced Solving Technology for Dynamic and Reactive Applications. Künstliche Intell. Gerhard Brewka, Stefan Ellmauthaler, Gabriele Kern-Isberner, Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub, Steffen Schieweck
2018	A*	`conf`	Axiomatizing a Qualitative Principle of Conditional Preservation for Iterated Belief Change. KR Gabriele Kern-Isberner
2018	Misc	`conf`	Comparing Approaches to Qualitative Data Mining. FLAIRS Richard Niland, Christian Eichhorn, Gabriele Kern-Isberner
2018	Misc	`conf`	Decision Support Core System for Cancer Therapies Using ASP-HEX. FLAIRS Andre Thevapalan, Gabriele Kern-Isberner, Diana Howey, Christoph Beierle, Ralf Georg Meyer, Mathias Nietzke
2018	—	`conf`	From Concepts in Non-Monotonic Reasoning to High-Level Implementations Using Abstract State Machines and Functional Programming. Models: Concepts, Theory, Logic, Reasoning and Semantics Christoph Beierle, Steven Kutsch, Gabriele Kern-Isberner
2018	Misc	`conf`	Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges. KI 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
2018	Misc	`conf`	Kinds and Aspects of Forgetting in Common-Sense Knowledge and Belief Management. KI Christoph Beierle, Tanja Bock, Gabriele Kern-Isberner, Marco Ragni, Kai Sauerwald
2018	Misc	`conf`	Probabilistic Belief Revision via Similarity of Worlds Modulo Evidence. KI Gavin Rens, Thomas Andreas Meyer, Gabriele Kern-Isberner, Abhaya Nayak
2018	—	`ed.`	Proceedings of the 7th Workshop on Dynamics of Knowledge and Belief (DKB-2018) and the 6th Workshop KI & Kognition (KIK-2018) co-located with 41st German Conference on Artificial Intelligence (KI 2018), Berlin, Germany, September 25, 2018. DKB/KIK@KI Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni, Frieder Stolzenburg, Matthias Thimm
2018	J	`jnl`	Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem. Ann. Math. Artif. Intell. Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner, Steven Kutsch
2018	A*	`conf`	Rational Inference Patterns Based on Conditional Logic. AAAI Christian Eichhorn, Gabriele Kern-Isberner, Marco Ragni
2018	B	`conf`	Towards a Formal Foundation of Cognitive Architectures. CogSci Marco Ragni, Kai Sauerwald, Tanja Bock, Gabriele Kern-Isberner, Paulina Friemann, Christoph Beierle
2017	J	`jnl`	A Framework for Versatile Knowledge and Belief Management Operations in a Probabilistic Conditional Logic. FLAP Christoph Beierle, Marc Finthammer, Nico Potyka, Julian Varghese, Gabriele Kern-Isberner
2017	C	`conf`	A Semantics for Conditionals with Default Negation. ECSQARU Marco Wilhelm, Christian Eichhorn, Richard Niland, Gabriele Kern-Isberner
2017	C	`conf`	A Transformation System for Unique Minimal Normal Forms of Conditional Knowledge Bases. ECSQARU Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner
2017	—	`conf`	An Agent-Based Learning Approach for Finding and Exploiting Heuristics in Unknown Environments. COMMONSENSE Daan Apeldoorn, Gabriele Kern-Isberner
2017	—	`conf`	Basic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals. GCAI Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke
2017	—	`conf`	Cellular Transport Systems Improved: Achieving Efficient Operations with Answer Set Programming. IJCCI (Selected Papers) Steffen Schieweck, Gabriele Kern-Isberner, Michael ten Hompel
2017	—	`conf`	First-Order Typed Model Counting for Probabilistic Conditional Reasoning at Maximum Entropy. SUM Marco Wilhelm, Marc Finthammer, Gabriele Kern-Isberner, Christoph Beierle
2017	J	`jnl`	Formal Nonmonotonic Theories and Properties of Human Defeasible Reasoning. Minds Mach. Marco Ragni, Christian Eichhorn, Tanja Bock, Gabriele Kern-Isberner, Alice Ping Ping Tse
2017	—	`conf`	Iterated contraction of propositions and conditionals under the principle of conditional preservation. GCAI Gabriele Kern-Isberner, Tanja Bock, Kai Sauerwald, Christoph Beierle
2017	Misc	`ed.`	KI 2017: Advances in Artificial Intelligence - 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings KI Gabriele Kern-Isberner, Johannes Fürnkranz, Matthias Thimm
2017	J	`jnl`	Many Facets of Reasoning Under Uncertainty, Inconsistency, Vagueness, and Preferences: A Brief Survey. Künstliche Intell. Gabriele Kern-Isberner, Thomas Lukasiewicz
2017	—	`conf`	On Transformations and Normal Forms of Conditional Knowledge Bases. IEA/AIE (1) Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner
2017	B	`conf`	On the Ontological Modelling of Co-medication and Drug Interactions in Medical Cancer Therapy Regimens for a Clinical Decision Support System. CBMS Christoph Beierle, Bettina Sader, Christian Eichhorn, Gabriele Kern-Isberner, Ralf Georg Meyer, Mathias Nietzke
2017	J	`jnl`	Plausible reasoning and plausibility monitoring in language comprehension. Int. J. Approx. Reason. Maj-Britt Isberner, Gabriele Kern-Isberner
2017	J	`jnl`	Probabilistic knowledge representation using the principle of maximum entropy and Gröbner basis theory. Ann. Math. Artif. Intell. Gabriele Kern-Isberner, Marco Wilhelm, Christoph Beierle
2017	—	`ed.`	Proceedings of the 6th Workshop on Dynamics of Knowledge and Belief (DKB-2017) and the 5th Workshop KI & Kognition (KIK-2017) co-located with 40th German Conference on Artificial Intelligence (KI 2017), Dortmund, Germany, September 26, 2017. DKB/KIK@KI Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni, Frieder Stolzenburg
2017	J	`jnl`	Reasoning with Imperfect Information and Knowledge. Minds Mach. Gabriele Kern-Isberner, Igor Douven, Markus Knauff, Henri Prade
2017	J	`jnl`	Special Issue on Challenges for Reasoning under Uncertainty, Inconsistency, Vagueness, and Preferences - A Topical Snapshot. Künstliche Intell. Gabriele Kern-Isberner, Thomas Lukasiewicz
2017	A*	`conf`	Strong Syntax Splitting for Iterated Belief Revision. IJCAI Gabriele Kern-Isberner, Gerhard Brewka
2017	J	`jnl`	System Z Int. J. Approx. Reason. Christoph Beierle, Tobias Falke, Steven Kutsch, Gabriele Kern-Isberner
2017	Misc	`conf`	Towards An Understanding of What is Learned: Extracting Multi-Abstraction-Level Knowledge from Learning Agents. FLAIRS Daan Apeldoorn, Gabriele Kern-Isberner
2017	Misc	`conf`	Typed Model Counting and Its Application to Probabilistic Conditional Reasoning at Maximum Entropy. FLAIRS Marco Wilhelm, Gabriele Kern-Isberner
2017	C	`conf`	Various Approaches to the Application of Answer Set Programming in Order-picking Systems with Intelligent Vehicles. IJCCI Steffen Schieweck, Gabriele Kern-Isberner, Michael ten Hompel
2017	J	`jnl`	What kind of independence do we need for multiple iterated belief change? J. Appl. Log. Gabriele Kern-Isberner, Daniela Huvermann
2016	Misc	`conf`	A Formal Model of Plausibility Monitoring in Language Comprehension. FLAIRS Maj-Britt Isberner, Gabriele Kern-Isberner
2016	—	`conf`	An Approach to Qualitative Belief Change Modulo Ontic Strength. DARe@ECAI Gavin Rens, Gabriele Kern-Isberner
2016	J	`jnl`	Belief change and argumentation in multi-agent scenarios. Ann. Math. Artif. Intell. Jürgen Dix, Sven Ove Hansson, Gabriele Kern-Isberner, Guillermo Ricardo Simari
2016	J	`jnl`	CP- and OCF-networks - a comparison. Fuzzy Sets Syst. Christian Eichhorn, Matthias Fey, Gabriele Kern-Isberner
2016	J	`jnl`	Dynamics of Knowledge and Belief. J. Appl. Log. Christoph Beierle, Gabriele Kern-Isberner
2016	Misc	`conf`	Minimal Tolerance Pairs for System Z-Like Ranking Functions for First-Order Conditional Knowledge Bases. FLAIRS Christoph Beierle, Tobias Falke, Steven Kutsch, Gabriele Kern-Isberner
2016	Misc	`conf`	Propositional Probabilistic Reasoning at Maximum Entropy Modulo Theories. FLAIRS Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke
2016	A*	`conf`	Simulating Human Inferences in the Light of New Information: A Formal Analysis. IJCAI Marco Ragni, Christian Eichhorn, Gabriele Kern-Isberner
2016	—	`conf`	Skeptical Inference Based on C-Representations and Its Characterization as a Constraint Satisfaction Problem. FoIKS Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner
2016	A	`conf`	Skeptical, Weakly Skeptical, and Credulous Inference Based on Preferred Ranking Functions. ECAI Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner, Steven Kutsch
2016	Misc	`conf`	Using Ontological Knowledge About Active Pharmaceutical Ingredients for a Decision Support System in Medical Cancer Therapy. KI Christoph Beierle, Lewin Eisele, Gabriele Kern-Isberner, Ralf Georg Meyer, Mathias Nietzke
2016	—	`conf`	When Should Learning Agents Switch to Explicit Knowledge? GCAI Daan Apeldoorn, Gabriele Kern-Isberner
2015	Misc	`conf`	A Software System for the Computation, Visualization, and Comparison of Conditional Structures for Relational Probabilistic Knowledge Bases. FLAIRS Christoph Beierle, Steffen Kuche, Marc Finthammer, Gabriele Kern-Isberner
2015	—	`conf`	A System Z-like Approach for First-Order Default Reasoning. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Gabriele Kern-Isberner, Christoph Beierle
2015	J	`jnl`	A concept for the evolution of relational probabilistic belief states and the computation of their changes under optimum entropy semantics. J. Appl. Log. Nico Potyka, Christoph Beierle, Gabriele Kern-Isberner
2015	J	`jnl`	Extending and Completing Probabilistic Knowledge and Beliefs Without Bias. Künstliche Intell. Christoph Beierle, Gabriele Kern-Isberner, Marc Finthammer, Nico Potyka
2015	J	`jnl`	Multi-disciplinary approaches to reasoning with imperfect information and knowledge - a synthesis and a roadmap of challenges (Dagstuhl Seminar 15221). Dagstuhl Reports Igor Douven, Gabriele Kern-Isberner, Markus Knauff, Henri Prade
2015	Misc	`conf`	Multiple Iterated Belief Revision Without Independence. FLAIRS Gabriele Kern-Isberner, Daniela Huvermann
2015	—	`ed.`	Proceedings of the 5th Workshop on Dynamics of Knowledge and Belief (DKB-2015) and the 4th Workshop KI & Kognition (KIK-2015) co-located with 38th German Conference on Artificial Intelligence (KI-2015), Dresden, Germany, September 22, 2015. DKB/KIK@KI Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni, Frieder Stolzenburg
2015	—	`conf`	Qualitative Probabilistic Inference with Default Inheritance. DKB/KIK@KI Paul D. Thorn, Christian Eichhorn, Gabriele Kern-Isberner, Gerhard Schurz
2015	J	`jnl`	Qualitative and Semi-Quantitative Inductive Reasoning with Conditionals - Technical Project Report. Künstliche Intell. Christian Eichhorn, Gabriele Kern-Isberner
2015	J	`jnl`	Relational Probabilistic Conditionals and Their Instantiations under Maximum Entropy Semantics for First-Order Knowledge Bases. Entropy Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner
2015	J	`jnl`	Using inductive reasoning for completing OCF-networks. J. Appl. Log. Christian Eichhorn, Gabriele Kern-Isberner
2014	Misc	`conf`	A Novel Methodology for Processing Probabilistic Knowledge Bases Under Maximum Entropy. FLAIRS Gabriele Kern-Isberner, Marco Wilhelm, Christoph Beierle
2014	C	`conf`	Angerona - A Flexible Multiagent Framework for Knowledge-Based Agents. EUMAS Patrick Krümpelmann, Tim Janus, Gabriele Kern-Isberner
2014	B	`conf`	LEG Networks for Ranking Functions. JELIA Christian Eichhorn, Gabriele Kern-Isberner
2014	—	`book`	Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen, 5. Auflage. Christoph Beierle, Gabriele Kern-Isberner
2014	Misc	`conf`	Observations on the Minimality of Ranking Functions for Qualitative Conditional Knowledge Bases and Their Computation. FLAIRS Christoph Beierle, Rita Hermsen, Gabriele Kern-Isberner
2014	C	`conf`	On Controversiality of Arguments and Stratified Labelings. COMMA Matthias Thimm, Gabriele Kern-Isberner
2014	Misc	`conf`	Probabilistic Knowledge Representation Using Gröbner Basis Theory. ISAIM Gabriele Kern-Isberner, Marco Wilhelm, Christoph Beierle
2014	—	`conf`	Reasoning on Secrecy Constraints under Uncertainty to Classify Possible Actions. FoIKS Joachim Biskup, Gabriele Kern-Isberner, Patrick Krümpelmann, Cornelia Tadros
2014	J	`jnl`	Structural Inference from Conditional Knowledge Bases. Stud Logica Gabriele Kern-Isberner, Christian Eichhorn
2013	C	`conf`	A Case Study on the Application of Probabilistic Conditional Modelling and Reasoning to Clinical Patient Data in Neurosurgery. ECSQARU Christoph Beierle, Marc Finthammer, Nico Potyka, Julian Varghese, Gabriele Kern-Isberner
2013	J	`jnl`	A novel approach for connecting temporal-ontologies with blood flow simulations. J. Biomed. Informatics Frank Weichert, Christoph Mertens, Lars Walczak, Gabriele Kern-Isberner, Mathias Wagner
2013	J	`jnl`	Belief Change and Argumentation in Multi-Agent Scenarios (Dagstuhl Seminar 13231). Dagstuhl Reports Jürgen Dix, Sven Ove Hansson, Gabriele Kern-Isberner, Guillermo Ricardo Simari
2013	Misc	`conf`	Changes of Relational Probabilistic Belief States and Their Computation under Optimum Entropy Semantics. KI Nico Potyka, Christoph Beierle, Gabriele Kern-Isberner
2013	—	`conf`	Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs. KDPD Ella Albrecht, Patrick Krümpelmann, Gabriele Kern-Isberner
2013	Misc	`conf`	Intensional Combination of Rankings for OCF-Networks. FLAIRS Gabriele Kern-Isberner, Christian Eichhorn
2013	C	`conf`	On the Problem of Reversing Relational Inductive Knowledge Representation. ECSQARU Nico Potyka, Christoph Beierle, Gabriele Kern-Isberner
2013	—	`conf`	Secrecy Preserving BDI Agents Based on Answerset Programming. MATES Patrick Krümpelmann, Gabriele Kern-Isberner
2013	J	`jnl`	Stratified Belief Bases Revision with Argumentative Inference. J. Philos. Log. Marcelo A. Falappa, Alejandro Javier García, Gabriele Kern-Isberner, Guillermo Ricardo Simari
2013	J	`jnl`	Stratified Labelings for Abstract Argumentation. CoRR Matthias Thimm, Gabriele Kern-Isberner
2013	B	`conf`	Using probabilistic logic and the principle of maximum entropy for the analysis of clinical brain tumor data. CBMS Julian Varghese, Christoph Beierle, Nico Potyka, Gabriele Kern-Isberner
2012	A	`conf`	A Ranking Semantics for First-Order Conditionals. ECAI Gabriele Kern-Isberner, Matthias Thimm
2012	J	`jnl`	Aspects of Universitarian Distance Teaching and Online Learning. Künstliche Intell. Christoph Beierle, Gabriele Kern-Isberner
2012	B	`conf`	Belief Base Change Operations for Answer Set Programming. JELIA Patrick Krümpelmann, Gabriele Kern-Isberner
2012	J	`jnl`	Comparing and Evaluating Approaches to Probabilistic Reasoning: Theory, Implementation, and Applications. Trans. Large Scale Data Knowl. Centered Syst. Gabriele Kern-Isberner, Christoph Beierle, Marc Finthammer, Matthias Thimm
2012	Misc	`conf`	Conditional Objects Revisited: Variants and Model Translations. FLAIRS Christoph Beierle, Gabriele Kern-Isberner
2012	J	`jnl`	Editorial: Relational approaches to knowledge representation and learning. Log. J. IGPL Christoph Beierle, Gabriele Kern-Isberner
2012	J	`jnl`	On probabilistic inference in relational conditional logics. Log. J. IGPL Matthias Thimm, Gabriele Kern-Isberner
2012	J	`jnl`	Prioritized and Non-prioritized Multiple Change on Belief Bases. J. Philos. Log. Marcelo A. Falappa, Gabriele Kern-Isberner, Maurício D. Luís Reis, Guillermo Ricardo Simari
2012	J	`jnl`	Semantical investigations into nonmonotonic and probabilistic logics. Ann. Math. Artif. Intell. Christoph Beierle, Gabriele Kern-Isberner
2012	—	`conf`	Stepwise Optimization of a Constraint Logic Program for the Computation of Ranking Functions. GI-Jahrestagung Christoph Beierle, Gabriele Kern-Isberner, Karl Södler
2011	J	`jnl`	A Constraint Logic Programming Approach for Computing Ordinal Conditional Functions CoRR Christoph Beierle, Gabriele Kern-Isberner, Karl Södler
2011	A*	`conf`	A Constructive Approach to Independent and Evidence Retaining Belief Revision by General Information Sets. IJCAI Gabriele Kern-Isberner, Patrick Krümpelmann
2011	—	`conf`	A Declarative Approach for Computing Ordinal Conditional Functions Using Constraint Logic Programming. INAP/WLP Christoph Beierle, Gabriele Kern-Isberner, Karl Södler
2011	Misc	`conf`	A Default Logical Semantics for Defeasible Argumentation. FLAIRS Gabriele Kern-Isberner, Guillermo Ricardo Simari
2011	—	`conf`	ABA: Argumentation Based Agents. ArgMAS Antonis C. Kakas, Leila Amgoud, Gabriele Kern-Isberner, Nicolas Maudet, Pavlos Moraitis
2011	J	`jnl`	Argonauts: a working system for motivated cooperative agents. Ann. Math. Artif. Intell. Daniel Hölzgen, Thomas Vengels, Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner
2011	Misc	`conf`	Evaluation and Comparison Criteria for Approaches to Probabilistic Relational Knowledge Representation. KI Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner, Matthias Thimm
2011	—	`conf`	Motivating Agents in Unreliable Environments: A Computational Model. MATES Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner, Regina Fritsch
2011	B	`conf`	On Influence and Contractions in Defeasible Logic Programming. LPNMR Diego R. García, Sebastian Gottifredi, Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner, Marcelo A. Falappa, Alejandro Javier García
2011	—	`conf`	On the computation of ranking functions for default rules - A challenge for constraint programming. GI-Jahrestagung Christoph Beierle, Gabriele Kern-Isberner
2011	J	`jnl`	On the evolving relation between Belief Revision and Argumentation. Knowl. Eng. Rev. Marcelo A. Falappa, Alejandro Javier García, Gabriele Kern-Isberner, Guillermo Ricardo Simari
2011	J	`jnl`	Preface. Ann. Math. Artif. Intell. Sven Hartmann, Gabriele Kern-Isberner
2011	—	`conf`	Probabilistic Logics in Expert Systems: Approaches, Implementations, and Applications. DEXA (1) Gabriele Kern-Isberner, Christoph Beierle, Marc Finthammer, Matthias Thimm
2011	C	`conf`	Relational Probabilistic Conditional Reasoning at Maximum Entropy. ECSQARU Matthias Thimm, Gabriele Kern-Isberner, Jens Fisseler
2011	—	`conf`	Selective Revision by Deductive Argumentation. TAFA Patrick Krümpelmann, Matthias Thimm, Marcelo A. Falappa, Alejandro Javier García, Gabriele Kern-Isberner, Guillermo Ricardo Simari
2010	Misc	`conf`	A System for Relational Probabilistic Reasoning on Maximum Entropy. FLAIRS Matthias Thimm, Marc Finthammer, Sebastian Loh, Gabriele Kern-Isberner, Christoph Beierle
2010	A	`conf`	ABA: Argumentation Based Agents. ECAI Antonis C. Kakas, Leila Amgoud, Gabriele Kern-Isberner, Nicolas Maudet, Pavlos Moraitis
2010	A	`conf`	Automated Reasoning for Relational Probabilistic Knowledge Representation. IJCAR Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner, Matthias Thimm
2010	J	`jnl`	Editorial: Dynamics of knowledge and belief. Log. J. IGPL Christoph Beierle, Gabriele Kern-Isberner
2010	A*	`conf`	Novel Semantical Approaches to Relational Probabilistic Conditionals. KR Gabriele Kern-Isberner, Matthias Thimm
2010	J	`jnl`	Preference Fusion for Default Reasoning Beyond System Z. J. Autom. Reason. Gabriele Kern-Isberner, Manuela Ritterskamp
2010	—	`conf`	Probabilistic Relational Learning for Medical Diagnosis Based on Ion Mobility Spectrometry. IPMU (1) Marc Finthammer, Christoph Beierle, Jens Fisseler, Gabriele Kern-Isberner, Bülent Möller, Jörg Ingo Baumbach
2010	—	`conf`	The Relationship of the Logic of Big-Stepped Probabilities to Standard Probabilistic Logics. FoIKS Christoph Beierle, Gabriele Kern-Isberner
2010	C	`conf`	Using Defeasible Logic Programming for Argumentation-Based Decision Support in Private Law. COMMA Christoph Beierle, Bernhard Freund, Gabriele Kern-Isberner, Matthias Thimm
2009	Misc	`conf`	A Conceptual Agent Model Based on a Uniform Approach to Various Belief Operations. KI Christoph Beierle, Gabriele Kern-Isberner
2009	B	`conf`	An Implementation of Belief Change Operations Based on Probabilistic Conditional Logic. LPNMR Marc Finthammer, Christoph Beierle, Benjamin Berger, Gabriele Kern-Isberner
2009	—	`ch.`	Belief Revision and Argumentation Theory. Argumentation in Artificial Intelligence Marcelo Alejandro Falappa, Gabriele Kern-Isberner, Guillermo Ricardo Simari
2009	J	`jnl`	Formal similarities and differences among qualitative conditional semantics. Int. J. Approx. Reason. Christoph Beierle, Gabriele Kern-Isberner
2009	—	`ch.`	Mining Data with Group Theoretical Means. Encyclopedia of Data Warehousing and Mining Gabriele Kern-Isberner
2009	Misc	`conf`	Mining Default Rules from Statistical Data. FLAIRS Gabriele Kern-Isberner, Matthias Thimm, Marc Finthammer, Jens Fisseler
2009	Misc	`conf`	Probabilistic Reasoning at Optimum Entropy with the MEcore System. FLAIRS Marc Finthammer, Christoph Beierle, Benjamin Berger, Gabriele Kern-Isberner
2008	C	`conf`	A Distributed Argumentation Framework using Defeasible Logic Programming. COMMA Matthias Thimm, Gabriele Kern-Isberner
2008	A	`conf`	A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description). IJCAR Christoph Beierle, Gabriele Kern-Isberner, Nicole Koch
2008	C	`conf`	A Verified AsmL Implementation of Belief Revision. ABZ Christoph Beierle, Gabriele Kern-Isberner
2008	—	`conf`	Belief operations for motivated BDI agents. AAMAS (1) Patrick Krümpelmann, Matthias Thimm, Manuela Ritterskamp, Gabriele Kern-Isberner
2008	A	`conf`	Belief revision with reinforcement learning for interactive object recognition. ECAI Thomas Leopold, Gabriele Kern-Isberner, Gabriele Peters
2008	A	`conf`	Combining Reinforcement Learning and Belief Revision - A Learning System for Active Vision. BMVC Thomas Leopold, Gabriele Kern-Isberner, Gabriele Peters
2008	J	`jnl`	Editorial - Special issue on nonmonotonic and uncertain reasoning. Int. J. Approx. Reason. Salem Benferhat, Gabriele Kern-Isberner
2008	—	`ed.`	Foundations of Information and Knowledge Systems, 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings FoIKS Sven Hartmann, Gabriele Kern-Isberner
2008	A*	`conf`	Linking Iterated Belief Change Operations to Nonmonotonic Reasoning. KR Gabriele Kern-Isberner
2008	—	`book`	Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen, 4. Auflage. Christoph Beierle, Gabriele Kern-Isberner
2008	J	`jnl`	On the Modelling of an Agent's Epistemic State and its Dynamic Changes. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Christoph Beierle, Gabriele Kern-Isberner
2008	C	`conf`	On the Relationship of Defeasible Argumentation and Answer Set Programming. COMMA Matthias Thimm, Gabriele Kern-Isberner
2008	Misc	`conf`	Preference-Based Default Reasoning. FLAIRS Manuela Ritterskamp, Gabriele Kern-Isberner
2008	J	`jnl`	Probabilistic abduction without priors. Int. J. Approx. Reason. Didier Dubois, Angelo Gilio, Gabriele Kern-Isberner
2008	—	`conf`	Qualitative Knowledge Discovery. SDKB Gabriele Kern-Isberner, Matthias Thimm, Marc Finthammer
2007	—	`conf`	A conceptual framework for (iterated) revision, update, and nonmonotonic reasoning. Formal Models of Belief Change in Rational Agents Gabriele Kern-Isberner
2007	C	`conf`	Algebraic Knowledge Discovery Using Haskell. PADL Jens Fisseler, Gabriele Kern-Isberner, Christoph Beierle, Andreas Koch, Christian Müller
2007	J	`jnl`	Editorial. Int. J. Approx. Reason. Gabriele Kern-Isberner, Dan Wu
2007	Misc	`conf`	Learning Uncertain Rules with CONDORCKD. FLAIRS Jens Fisseler, Gabriele Kern-Isberner, Christoph Beierle
2007	Misc	`conf`	Resolving Inconsistencies in Probabilistic Knowledge Bases. KI Marc Finthammer, Gabriele Kern-Isberner, Manuela Ritterskamp
2006	Misc	`conf`	A Note on Comparing Semantics for Conditionals. FLAIRS Christoph Beierle, Gabriele Kern-Isberner
2006	—	`conf`	An Extendable System for the Specification and Generation of Interactive Self-tests. Edutainment Manfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, Christoph Beierle
2006	—	`conf`	Computer Science Exercises in a Virtual University. CSREA EEE Manfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, Christoph Beierle
2006	J	`jnl`	Editorial. Log. J. IGPL Gabriele Kern-Isberner, Wilhelm Rödder
2006	—	`book`	Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen, 3. Auflage. Christoph Beierle, Gabriele Kern-Isberner
2006	A	`conf`	On the Logic of Theory Change: Relations Between Incision and Selection Functions. ECAI Marcelo A. Falappa, Eduardo L. Fermé, Gabriele Kern-Isberner
2006	A*	`conf`	Probabilistic Abduction without Priors. KR Didier Dubois, Angelo Gilio, Gabriele Kern-Isberner
2005	—	`ed.`	Conditionals, Information, and Inference, International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers WCII Gabriele Kern-Isberner, Wilhelm Rödder, Friedhelm Kulmann
2005	—	`conf`	Footprints of Conditionals. Mechanizing Mathematical Reasoning Christoph Beierle, Gabriele Kern-Isberner
2005	J	`jnl`	Foreword. Int. J. Uncertain. Fuzziness Knowl. Based Syst. Choh Man Teng, Gabriele Kern-Isberner
2005	—	`conf`	Generierung interaktiver Selbsttestaufgaben im Bereich der formalen Grundlagen der Informatik aus XML-Spezifikationen. DeLFI Christoph Beierle, Malte Isberner, Gabriele Kern-Isberner, Barbara Messing, Manfred Widera
2005	—	`conf`	Modelling and Implementing a Knowledge Base for Checking Medical Invoices with DLV. Nonmonotonic Reasoning, Answer Set Programming and Constraints Gabriele Kern-Isberner, Christoph Beierle, Oliver Dusso
2005	—	`conf`	Probabilistic Abduction Without Priors. Belief Change in Rational Agents Didier Dubois, Angelo Gilio, Gabriele Kern-Isberner
2005	B	`conf`	Using Answer Set Programming for a Decision Support System. LPNMR Christoph Beierle, Oliver Dusso, Gabriele Kern-Isberner
2004	J	`jnl`	A Thorough Axiomatization of a Principle of Conditional Preservation in Belief Revision. Ann. Math. Artif. Intell. Gabriele Kern-Isberner
2004	J	`jnl`	Belief revision and information fusion on optimum entropy. Int. J. Intell. Syst. Gabriele Kern-Isberner, Wilhelm Rödder
2004	J	`jnl`	Combining probabilistic logic programming with the power of maximum entropy. Artif. Intell. Gabriele Kern-Isberner, Thomas Lukasiewicz
2004	A*	`conf`	Knowledge Discovery by Reversing Inductive Knowledge Representation. KR Gabriele Kern-Isberner, Jens Fisseler
2003	B	`conf`	A Logical Study on Qualitative Default Reasoning with Probabilities. LPAR Christoph Beierle, Gabriele Kern-Isberner
2003	—	`conf`	An Alternative View of Knowledge Discovery. HICSS Christoph Beierle, Gabriele Kern-Isberner
2003	Misc	`conf`	Belief Revision and Information Fusion in a Probabilistic Environment. FLAIRS Gabriele Kern-Isberner, Wilhelm Rödder
2003	J	`jnl`	From information to probability: An axiomatic approach - Inference isinformation processing. Int. J. Intell. Syst. Wilhelm Rödder, Gabriele Kern-Isberner
2003	Misc	`conf`	Fusing Probabilistic Information on Maximum Entropy. KI Gabriele Kern-Isberner, Wilhelm Rödder
2003	—	`book`	Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen, 2. Auflage. Christoph Beierle, Gabriele Kern-Isberner
2003	—	`conf`	Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines. Abstract State Machines Christoph Beierle, Gabriele Kern-Isberner
2003	Misc	`conf`	Self Learning or How to Make a Knowledge Base Curious about Itself. KI Wilhelm Rödder, Gabriele Kern-Isberner
2002	A*	`conf`	A Structural Approach to Default Reasoning. KR Gabriele Kern-Isberner
2002	J	`jnl`	Explanations, belief revision and defeasible reasoning. Artif. Intell. Marcelo A. Falappa, Gabriele Kern-Isberner, Guillermo Ricardo Simari
2002	J	`jnl`	Handling conditionals adequately in uncertain reasoning and belief revision. J. Appl. Non Class. Logics Gabriele Kern-Isberner
2002	—	`conf`	Looking at Probabilistic Conditionals from an Institutional Point of View. WCII Christoph Beierle, Gabriele Kern-Isberner
2002	Misc	`conf`	On the Interpretation of Uncertain Rules in Prepositional Logic. IC-AI Christoph Beierle, Gabriele Kern-Isberner
2002	—	`conf`	The Principle of Conditional Preservation in Belief Revision. FoIKS Gabriele Kern-Isberner
2002	B	`conf`	Using Institutions for the Study of Qualitative and Quantitative Conditional Logics. JELIA Christoph Beierle, Gabriele Kern-Isberner
2001	J	`jnl`	Conditional indifference and conditional preservation. J. Appl. Non Class. Logics Gabriele Kern-Isberner
2001	—	`book`	Conditionals in Nonmonotonic Reasoning and Belief Revision - Considering Conditionals as Agents Gabriele Kern-Isberner
2001	C	`conf`	Handling Conditionals Adequately in Uncertain Reasoning. ECSQARU Gabriele Kern-Isberner
2001	—	`conf`	Representing and Learning Conditional Information in Possibility Theory. Fuzzy Days Gabriele Kern-Isberner
2000	J	`jnl`	Conditional indifference and conditional preservation CoRR Gabriele Kern-Isberner
2000	—	`book`	Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen. Christoph Beierle, Gabriele Kern-Isberner
2000	A	`conf`	Solving the Inverse Representation Problem. ECAI Gabriele Kern-Isberner
1999	Misc	`conf`	Following Conditional Structures of Knowledge. KI Gabriele Kern-Isberner
1999	A*	`conf`	Postulates for Conditional Belief Revision. IJCAI Gabriele Kern-Isberner
1999	—	`conf`	Probalilistic Logic Programming under Maximum Entropy. ESCQARU Thomas Lukasiewicz, Gabriele Kern-Isberner
1998	J	`jnl`	A note on conditional logics and entropy. Int. J. Approx. Reason. Gabriele Kern-Isberner
1998	J	`jnl`	Characterizing the Principle of Minimum Cross-Entropy Within a Conditional-Logical Framework. Artif. Intell. Gabriele Kern-Isberner
1998	A	`conf`	Nonmonotonic Reasoning in Probabilistics. ECAI Gabriele Kern-Isberner
1997	A	`conf`	A Conditional-Logical Approach to Minimum Cross-Entropy. STACS Gabriele Kern-Isberner
1997	—	`conf`	A Logically Sound Method for Uncertain Reasoning with Quantified Conditionals. ECSQARU-FAPR Gabriele Kern-Isberner
1996	J	`jnl`	Interpreting a contingency table by rules. Int. J. Intell. Syst. Gabriele Kern-Isberner, Heinz Peter Reidmacher
1996	J	`jnl`	Representation and Extraction of Information by Probabilistic Logic. Inf. Syst. Wilhelm Rödder, Gabriele Kern-Isberner