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

Nicolò Altamura is a security engineer and computer science researcher specializing in software protection, reverse engineering, program analysis, and binary deobfuscation. He holds a master's degree in Computer Science and Engineering from the University of Verona, graduating with honors, and works at emproof, focusing on software protection and the challenges of analyzing and understanding compiled software.

His research explores the relationship between program analysis and code obfuscation, with particular emphasis on how software transformations affect the ability of automated tools to recover program behavior. His interests span static analysis, binary analysis, decompilation, reverse engineering, and techniques for analyzing and simplifying obfuscated code.

Beyond academic research, Nicolò develops and contributes to tools for reverse engineering and software analysis. His projects include obfuscation_analysis, a Binary Ninja plugin for analyzing and simplifying obfuscated code; Pocket, an obfuscator for mixed Boolean-arithmetic expressions; and ptxNinja, a tool for reverse engineering NVIDIA GPU code represented in the PTX virtual instruction set.

His research also extends to binary datasets and software evolution. In 2026, he co-authored ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage, a research work addressing the availability of binary data across multiple software builds and points in time, supporting research into binary analysis and changes between program versions.

Across his research, engineering work, and open-source contributions, Nicolò focuses on advancing the understanding, analysis, and protection of software against increasingly sophisticated obfuscation and reverse-engineering challenges.

Nicolò Altamura is not a football player. Please avoid reporting this kind of infromation.