default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGabriele Kern-Isberner
Person information
- affiliation: Technical University of Dortmund, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j63]Kai Sauerwald
, Eda Ismail-Tsaous, Marco Ragni, Gabriele Kern-Isberner, Christoph Beierle:
Sequential merging and construction of rankings as cognitive logic. Int. J. Approx. Reason. 176: 109321 (2025)- 2024
- [c179]Marco Wilhelm, Gabriele Kern-Isberner:
Decomposing Constraint Networks for Calculating c-Representations. AAAI 2024: 10740-10747 - [c178]Gabriele Kern-Isberner:
Ranking-based Conditional Semantics for Defeasible Subsumptions (Abstract of Invited Talk). Description Logics 2024 - [c177]Marco Wilhelm, Lars-Phillip Spiegel, Gabriele Kern-Isberner:
Intrinsic Prioritization in Answer Set Programming Based on an Adapted Notion of Tolerance. FLAIRS 2024 - [c176]Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner:
Syntax Splitting and Reasoning from Weakly Consistent Conditional Belief Bases with c-Inference. FoIKS 2024: 85-103 - [c175]Marco Wilhelm, Gabriele Kern-Isberner, Christoph Beierle:
Core c-Representations and c-Core Closure for Conditional Belief Bases. FoIKS 2024: 104-122 - [c174]Kai Sauerwald, Christoph Beierle, Gabriele Kern-Isberner:
Propositional Variable Forgetting and Marginalization: Semantically, Two Sides of the Same Coin. FoIKS 2024: 144-162 - [c173]Christoph Beierle, Lars-Phillip Spiegel, Jonas Haldimann, Marco Wilhelm, Jesse Heyninck, Gabriele Kern-Isberner:
Conditional Splittings of Belief Bases and Nonmonotonic Inference with c-Representations. KR 2024 - [c172]Gabriele Kern-Isberner, Alexander Hahn, Jonas Haldimann, Christoph Beierle:
Total Preorders vs Ranking Functions under Belief Revision - the Dynamics of Empty Layers. KR 2024 - [c171]Marco Wilhelm, Alexander Hahn, Gabriele Kern-Isberner:
Extraction of Conditional Belief Bases and the System Z Ranking Model From Multilayer Perceptrons for Binary Classification. NMR 2024: 101-111 - [c170]Alexander Hahn, Gabriele Kern-Isberner, Thomas Meyer:
Ranking-based Defeasible Reasoning for Restricted First-Order Conditionals Applied to Description Logics. NMR 2024: 162-172 - 2023
- [j62]Gabriele Kern-Isberner, Meliha Sezgin, Christoph Beierle:
A kinematics principle for iterated revision. Artif. Intell. 314: 103827 (2023) - [j61]Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm:
Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks. Artif. Intell. 317: 103876 (2023) - [j60]Jonas Philipp Haldimann, Christoph Beierle, Gabriele Kern-Isberner:
Epistemic State Mappings among Ranking Functions and Total Preorders. FLAP 10(2): 155-191 (2023) - [j59]Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle:
Activation-based Conditional Inference. FLAP 10(2): 221-247 (2023) - [j58]Andre Thevapalan, Gabriele Kern-Isberner:
On Establishing Robust Consistency in Answer Set Programs. Theory Pract. Log. Program. 23(5): 1094-1127 (2023) - [c169]Jesse Heyninck, Gabriele Kern-Isberner, Thomas Andreas Meyer, Jonas Philipp Haldimann, Christoph Beierle:
Conditional Syntax Splitting for Non-monotonic Inference Operators. AAAI 2023: 6416-6424 - [c168]Meliha Sezgin, Gabriele Kern-Isberner:
Implementing Bounded Revision via Lexicographic Revision and C-revision. AAAI 2023: 6525-6532 - [c167]Eda Ismail-Tsaous, Kai Sauerwald, Marco Ragni, Gabriele Kern-Isberner, Christoph Beierle:
On the Cognitive Logic of Human Propositional Reasoning: Merging Ranking Functions. ECSQARU 2023: 224-238 - [c166]Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner, Thomas Meyer:
Conditionals, Infeasible Worlds, and Reasoning with System W. FLAIRS 2023 - [c165]Andre Thevapalan, Marco Wilhelm, Gabriele Kern-Isberner, Pascal Kaiser, Moritz Roidl:
An Interactive Modelling Environment for Designing Warehouse Layouts Based on ASP. FLAIRS 2023 - [c164]Marco Wilhelm, Andre Thevapalan, Gabriele Kern-Isberner:
Prioritizing Answer Sets Based on Conditional Expert Knowledge. FLAIRS 2023 - [c163]Andre Thevapalan, Daan Apeldoorn, Gabriele Kern-Isberner, Ralf Georg Meyer, Mathias Nietzke, Torsten Panholzer:
Comparison and Incorporation of Reasoning and Learning Approaches for Cancer Therapy Research. GMDS 2023: 161-171 - [c162]Marco Wilhelm, Meliha Sezgin, Gabriele Kern-Isberner, Jonas Haldimann, Christoph Beierle, Jesse Heyninck:
Splitting Techniques for Conditional Belief Bases in the Context of c-Representations. JELIA 2023: 462-477 - [c161]Jonas Haldimann, Thomas Meyer, Gabriele Kern-Isberner, Christoph Beierle:
Rational Closure Extension in SPO-Representable Inductive Inference Operators. JELIA 2023: 561-576 - [c160]Jonas Philipp Haldimann, Christoph Beierle, Gabriele Kern-Isberner:
Extending c-Representations and c-Inference for Reasoning with Infeasible Worlds. NMR 2023: 52-63 - [c159]Andre Thevapalan, Gabriele Kern-Isberner:
Sorting Strategies for Interactive Conflict Resolution in ASP. ICLP 2023: 116-128 - [e10]Pierre Marquis, Tran Cao Son, Gabriele Kern-Isberner:
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023. 2023, ISBN 978-1-956792-02-7 [contents] - 2022
- [c158]Jesse Heyninck, Matthias Thimm, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba:
Conditional Abstract Dialectical Frameworks. AAAI 2022: 5692-5699 - [c157]Tjitze Rienstra, Jesse Heyninck, Gabriele Kern-Isberner, Kenneth Skiba, Matthias Thimm:
Explaining Argument Acceptance in ADFs. ArgXAI@COMMA 2022 - [c156]Kenneth Skiba, Matthias Thimm, Tjitze Rienstra, Jesse Heyninck, Gabriele Kern-Isberner:
Realisability of Rankings-based Semantics. SAFA@COMMA 2022: 73-85 - [c155]Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle:
Integrating Cognitive Principles From ACT-R Into Probabilistic Conditional Reasoning by Taking the Example of Maximum Entropy Reasoning. FLAIRS 2022 - [c154]Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm:
Possibilistic Logic Underlies Abstract Dialectical Frameworks. IJCAI 2022: 2655-2661 - [c153]Jesse Heyninck, Gabriele Kern-Isberner, Thomas Andreas Meyer:
Lexicographic Entailment, Syntax Splitting and the Drowning Problem. IJCAI 2022: 2662-2668 - [c152]Gabriele Kern-Isberner, Jesse Heyninck, Christoph Beierle:
Conditional Independence for Iterated Belief Revision. IJCAI 2022: 2690-2696 - [c151]Meliha Sezgin, Gabriele Kern-Isberner:
Revision by Comparison for Ranking Functions. IJCAI 2022: 2734-2740 - [c150]Andre Thevapalan, Konstantin Haupt, Gabriele Kern-Isberner:
Towards Causality-Based Conflict Resolution in Answer Set Programs. LPNMR 2022: 350-362 - [c149]Jesse Heyninck, Gabriele Kern-Isberner, Thomas Andreas Meyer:
Conditional Syntax Splitting, Lexicographic Entailment and the Drowning Effect. NMR 2022: 61-69 - [c148]Kai Sauerwald, Gabriele Kern-Isberner, Alexander Becker, Christoph Beierle:
From Forgetting Signature Elements to Forgetting Formulas in Epistemic States. SUM 2022: 92-106 - [e9]Jesse Heyninck, Thomas Meyer, Marco Ragni, Matthias Thimm, Gabriele Kern-Isberner:
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. CEUR Workshop Proceedings 3251, CEUR-WS.org 2022 [contents] - [e8]Gabriele Kern-Isberner, Gerhard Lakemeyer, Thomas Meyer:
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel, July 31 - August 5, 2022. 2022, ISBN 978-1-956792-01-0 [contents] - [i16]Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle:
A Conditional Perspective on the Logic of Iterated Belief Contraction. CoRR abs/2202.03196 (2022) - [i15]Andre Thevapalan, Gabriele Kern-Isberner:
On Establishing Robust Consistency in Answer Set Programs. CoRR abs/2208.08157 (2022) - 2021
- [j57]Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner, Steven Kutsch:
Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models. Artif. Intell. 297: 103489 (2021) - [j56]Jesse Heyninck, Gabriele Kern-Isberner, Matthias Thimm, Kenneth Skiba:
On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics. Ann. Math. Artif. Intell. 89(10-11): 1075-1099 (2021) - [j55]Meliha Sezgin, Gabriele Kern-Isberner, Christoph Beierle:
Ranking kinematics for revising by contextual information. Ann. Math. Artif. Intell. 89(10-11): 1101-1131 (2021) - [j54]Gabriele Kern-Isberner, Zoran Ognjanovic:
Special issue from the 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2019). Int. J. Approx. Reason. 138: 76-77 (2021) - [c147]Marco Wilhelm, Gabriele Kern-Isberner:
Focused Inference and System P. AAAI 2021: 6522-6529 - [c146]Christoph Beierle, Jonas Haldimann, Gabriele Kern-Isberner:
Semantic Splitting of Conditional Belief Bases. Logic, Computation and Rigorous Methods 2021: 82-95 - [c145]Christoph Beierle, Gabriele Kern-Isberner:
Selection Strategies for Inductive Reasoning From Conditional Belief Bases and for Belief Change Respecting the Principle of Conditional Preservation. FLAIRS 2021 - [c144]Meliha Sezgin, Gabriele Kern-Isberner:
System Z for Conditional Belief Bases with Positive and Negative Information. FLAIRS 2021 - [c143]Andre Thevapalan, Jesse Heyninck, Gabriele Kern-Isberner:
Establish Coherence in Logic Programs Modelling Expert Knowledge via Argumentation. ICLP Workshops 2021 - [c142]Kenneth Skiba, Tjitze Rienstra, Matthias Thimm, Jesse Heyninck, Gabriele Kern-Isberner:
Ranking Extensions in Abstract Argumentation. IJCAI 2021: 2047-2053 - [c141]Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle:
Conditional Descriptor Revision and Its Modelling by a CSP. JELIA 2021: 35-49 - [c140]Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner:
Syntax Splitting for Iterated Contractions, Ignorations, and Revisions on Ranking Functions Using Selection Strategies. JELIA 2021: 85-100 - [c139]Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle:
A Brief Introduction Into Activation-Based Conditional Inference. FCR@KI 2021: 4-8 - [c138]Jonas Haldimann, Gabriele Kern-Isberner:
On Properties of Epistemic State Mappings among Ranking Functions and Total Preorders. FCR@KI 2021: 34-47 - [c137]Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm:
Revision and Conditional Inference for Abstract Dialectical Frameworks. KR 2021: 345-355 - [c136]Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle:
Towards a framework of hansson's descriptor revision for conditionals. SAC 2021: 889-891 - [i14]Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle:
On Limited Non-Prioritised Belief Revision Operators with Dynamic Scope. CoRR abs/2108.07769 (2021) - [i13]Alexander Becker, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle:
Forgetting Formulas and Signature Elements in Epistemic States. CoRR abs/2108.08603 (2021) - [i12]Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle:
Conditional Inference and Activation of Knowledge Entities in ACT-R. CoRR abs/2110.15214 (2021) - 2020
- [c135]Jesse Heyninck, Gabriele Kern-Isberner:
An Epistemic Interpretation of Abstract Dialectical Argumentation. COMMA 2020: 227-238 - [c134]Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle:
A Conditional Perspective for Iterated Belief Contraction. ECAI 2020: 889-896 - [c133]Marco Ragni, Gabriele Kern-Isberner, Christoph Beierle, Kai Sauerwald:
Cognitive Logics - Features, Formalisms, and Challenges. ECAI 2020: 2931-2932 - [c132]Jesse Heyninck, Gabriele Kern-Isberner, Matthias Thimm:
On the Correspondence between Abstract Dialectical Frameworks and Nonmonotonic Conditional Logics. FLAIRS 2020: 575-580 - [c131]Meliha Sezgin, Gabriele Kern-Isberner:
Generalized Ranking Kinematics for Iterated Belief Revision. FLAIRS 2020: 587-592 - [c130]Marco Wilhelm, Gabriele Kern-Isberner:
Context-Based Inferences from Probabilistic Conditionals with Default Negation at Maximum Entropy. FLAIRS 2020: 593-598 - [c129]Jonas Philipp Haldimann, Gabriele Kern-Isberner, Christoph Beierle:
Syntax Splitting for Iterated Contractions. KR 2020: 465-475 - [c128]Gabriele Kern-Isberner, Christoph Beierle, Gerhard Brewka:
Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic Reasoning From Conditional Belief Bases. KR 2020: 560-571
2010 – 2019
- 2019
- [j53]Thomas Eiter, Gabriele Kern-Isberner:
A Brief Survey on Forgetting from a Knowledge Representation and Reasoning Perspective. Künstliche Intell. 33(1): 9-33 (2019) - [j52]Christoph Beierle, Gabriele Kern-Isberner, Kai Sauerwald, Tanja Bock, Marco Ragni:
Towards a General Framework for Kinds of Forgetting in Common-Sense Belief Management. Künstliche Intell. 33(1): 57-68 (2019) - [c127]Marco Wilhelm, Gabriele Kern-Isberner:
Maximum Entropy Calculations for the Probabilistic Description Logic $$\mathcal {ALC}^{\mathsf{ME}}$$. Description Logic, Theory Combination, and All That 2019: 588-609 - [c126]Gabriele Kern-Isberner, Tanja Bock, Christoph Beierle, Kai Sauerwald:
Axiomatic Evaluation of Epistemic Forgetting Operators. FLAIRS 2019: 470-475 - [c125]Marco Wilhelm, Gabriele Kern-Isberner, Marc Finthammer, Christoph Beierle:
Integrating Typed Model Counting into First-Order Maximum Entropy Computations and the Connection to Markov Logic Networks. FLAIRS 2019: 494-499 - [c124]Franz Baader, Andreas Ecke, Gabriele Kern-Isberner, Marco Wilhelm:
The Complexity of the Consistency Problem in the Probabilistic Description Logic 𝓐ℒ𝒞ME. FroCos 2019: 167-184 - [c123]Christof Thim, Norbert Gronau, Annette Kluge, Eric Tsui, Gabriele Kern-Isberner:
Introduction to the Minitrack on Intentional Forgetting in Organizations and Information Systems. HICSS 2019: 1-2 - [c122]Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke, Franz Baader:
Counting Strategies for the Probabilistic Description Logic 𝓐ℒ𝒞ME Under the Principle of Maximum Entropy. JELIA 2019: 434-449 - [c121]Lena Rolf, Gabriele Kern-Isberner, Gerhard Brewka:
Argumentation-Based Explanations for Answer Sets Using ADF. LPNMR 2019: 89-102 - [c120]Lars-Phillip Spiegel, Gabriele Kern-Isberner, Marco Ragni:
Rational Inference Patterns. PRICAI (1) 2019: 405-417 - [c119]Gabriele Kern-Isberner, Tanja Bock, Kai Sauerwald, Christoph Beierle:
Belief Change Properties of Forgetting Operations over Ranking Functions. PRICAI (1) 2019: 459-472 - [e7]Gabriele Kern-Isberner, Zoran Ognjanovic:
Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings. Lecture Notes in Computer Science 11726, Springer 2019, ISBN 978-3-030-29764-0 [contents] - [i11]Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle:
A Conditional Perspective for Iterated Belief Contraction. CoRR abs/1911.08833 (2019) - [i10]Guillaume Aucher, Paul Égré, Gabriele Kern-Isberner, Francesca Poggiolesi:
Conditional Logics and Conditional Reasoning: New Joint Perspectives (Dagstuhl Seminar 19032). Dagstuhl Reports 9(1): 47-66 (2019) - [i9]Anthony Hunter, Gabriele Kern-Isberner, Thomas Meyer, Renata Wassermann:
The Role of Non-monotonic Reasoning in Future Development of Artificial Intelligence (Dagstuhl Perspectives Workshop 19072). Dagstuhl Reports 9(2): 73-90 (2019) - 2018
- [j51]Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner, Steven Kutsch:
Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem. Ann. Math. Artif. Intell. 83(3-4): 247-275 (2018) - [j50]Gerhard Brewka, Stefan Ellmauthaler, Gabriele Kern-Isberner, Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub, Steffen Schieweck:
Advanced Solving Technology for Dynamic and Reactive Applications. Künstliche Intell. 32(2-3): 199-200 (2018) - [c118]Christian Eichhorn, Gabriele Kern-Isberner, Marco Ragni:
Rational Inference Patterns Based on Conditional Logic. AAAI 2018: 1827-1834 - [c117]Christoph Beierle, Steven Kutsch, Gabriele Kern-Isberner:
From Concepts in Non-Monotonic Reasoning to High-Level Implementations Using Abstract State Machines and Functional Programming. Models: Concepts, Theory, Logic, Reasoning and Semantics 2018: 286-310 - [c116]Marco Ragni, Kai Sauerwald, Tanja Bock, Gabriele Kern-Isberner, Paulina Friemann, Christoph Beierle:
Towards a Formal Foundation of Cognitive Architectures. CogSci 2018 - [c115]Richard Niland, Christian Eichhorn, Gabriele Kern-Isberner:
Comparing Approaches to Qualitative Data Mining. FLAIRS 2018: 519-524 - [c114]Andre Thevapalan, Gabriele Kern-Isberner, Diana Howey, Christoph Beierle, Ralf Georg Meyer, Mathias Nietzke:
Decision Support Core System for Cancer Therapies Using ASP-HEX. FLAIRS 2018: 531-536 - [c113]Marco Wilhelm, Gabriele Kern-Isberner, Marc Finthammer, Christoph Beierle:
A Generalized Iterative Scaling Algorithm for Maximum Entropy Model Computations Respecting Probabilistic Independencies. FoIKS 2018: 379-399 - [c112]Gavin Rens, Thomas Andreas Meyer, Gabriele Kern-Isberner, Abhaya Nayak:
Probabilistic Belief Revision via Similarity of Worlds Modulo Evidence. KI 2018: 343-356 - [c111]Ingo J. Timm, Steffen Staab, Michael Siebers, Claudia Schon, Ute Schmid, Kai Sauerwald, Lukas Reuter, Marco Ragni, Claudia Niederée, Heiko Maus, Gabriele Kern-Isberner, Christian Jilek, Paulina Friemann, Thomas Eiter, Andreas Dengel, Hannah Dames, Tanja Bock, Jan Ole Berndt, Christoph Beierle:
Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges. KI 2018: 357-365 - [c110]Christoph Beierle, Tanja Bock, Gabriele Kern-Isberner, Marco Ragni, Kai Sauerwald:
Kinds and Aspects of Forgetting in Common-Sense Knowledge and Belief Management. KI 2018: 366-373 - [c109]Gabriele Kern-Isberner:
Axiomatizing a Qualitative Principle of Conditional Preservation for Iterated Belief Change. KR 2018: 248-256 - [e6]Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni, Frieder Stolzenburg, Matthias Thimm:
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. CEUR Workshop Proceedings 2194, CEUR-WS.org 2018 [contents] - 2017
- [j49]Gabriele Kern-Isberner, Marco Wilhelm, Christoph Beierle:
Probabilistic knowledge representation using the principle of maximum entropy and Gröbner basis theory. Ann. Math. Artif. Intell. 79(1-3): 163-179 (2017) - [j48]Christoph Beierle, Marc Finthammer, Nico Potyka, Julian Varghese, Gabriele Kern-Isberner:
A Framework for Versatile Knowledge and Belief Management Operations in a Probabilistic Conditional Logic. FLAP 4(7) (2017) - [j47]Maj-Britt Isberner, Gabriele Kern-Isberner:
Plausible reasoning and plausibility monitoring in language comprehension. Int. J. Approx. Reason. 88: 53-71 (2017) - [j46]Christoph Beierle, Tobias Falke, Steven Kutsch, Gabriele Kern-Isberner:
System ZFO: Default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases. Int. J. Approx. Reason. 90: 120-143 (2017) - [j45]Gabriele Kern-Isberner, Daniela Huvermann:
What kind of independence do we need for multiple iterated belief change? J. Appl. Log. 22: 91-119 (2017) - [j44]Gabriele Kern-Isberner, Thomas Lukasiewicz:
Special Issue on Challenges for Reasoning under Uncertainty, Inconsistency, Vagueness, and Preferences - A Topical Snapshot. Künstliche Intell. 31(1): 5-8 (2017) - [j43]Gabriele Kern-Isberner, Thomas Lukasiewicz:
Many Facets of Reasoning Under Uncertainty, Inconsistency, Vagueness, and Preferences: A Brief Survey. Künstliche Intell. 31(1): 9-13 (2017) - [j42]Gabriele Kern-Isberner, Igor Douven, Markus Knauff, Henri Prade:
Reasoning with Imperfect Information and Knowledge. Minds Mach. 27(1): 7-9 (2017) - [j41]Marco Ragni, Christian Eichhorn, Tanja Bock, Gabriele Kern-Isberner, Alice Ping Ping Tse:
Formal Nonmonotonic Theories and Properties of Human Defeasible Reasoning. Minds Mach. 27(1): 79-117 (2017) - [c108]Christoph Beierle, Bettina Sader, Christian Eichhorn, Gabriele Kern-Isberner, Ralf Georg Meyer, Mathias Nietzke:
On the Ontological Modelling of Co-medication and Drug Interactions in Medical Cancer Therapy Regimens for a Clinical Decision Support System. CBMS 2017: 105-110 - [c107]Daan Apeldoorn, Gabriele Kern-Isberner:
An Agent-Based Learning Approach for Finding and Exploiting Heuristics in Unknown Environments. COMMONSENSE 2017 - [c106]Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner:
A Transformation System for Unique Minimal Normal Forms of Conditional Knowledge Bases. ECSQARU 2017: 236-245 - [c105]Marco Wilhelm, Christian Eichhorn, Richard Niland, Gabriele Kern-Isberner:
A Semantics for Conditionals with Default Negation. ECSQARU 2017: 257-267 - [c104]Marco Wilhelm, Gabriele Kern-Isberner:
Typed Model Counting and Its Application to Probabilistic Conditional Reasoning at Maximum Entropy. FLAIRS 2017: 748-753 - [c103]Daan Apeldoorn, Gabriele Kern-Isberner:
Towards An Understanding of What is Learned: Extracting Multi-Abstraction-Level Knowledge from Learning Agents. FLAIRS 2017: 764-767 - [c102]Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke:
Basic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals. GCAI 2017: 36-50 - [c101]Gabriele Kern-Isberner, Tanja Bock, Kai Sauerwald, Christoph Beierle:
Iterated contraction of propositions and conditionals under the principle of conditional preservation. GCAI 2017: 78-92 - [c100]Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner:
On Transformations and Normal Forms of Conditional Knowledge Bases. IEA/AIE (1) 2017: 488-494 - [c99]Gabriele Kern-Isberner, Gerhard Brewka:
Strong Syntax Splitting for Iterated Belief Revision. IJCAI 2017: 1131-1137 - [c98]Steffen Schieweck, Gabriele Kern-Isberner, Michael ten Hompel:
Various Approaches to the Application of Answer Set Programming in Order-picking Systems with Intelligent Vehicles. IJCCI 2017: 25-34 - [c97]Steffen Schieweck, Gabriele Kern-Isberner, Michael ten Hompel:
Cellular Transport Systems Improved: Achieving Efficient Operations with Answer Set Programming. IJCCI (Selected Papers) 2017: 305-326 - [c96]Marco Wilhelm, Marc Finthammer, Gabriele Kern-Isberner, Christoph Beierle:
First-Order Typed Model Counting for Probabilistic Conditional Reasoning at Maximum Entropy. SUM 2017: 266-279 - [e5]Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni, Frieder Stolzenburg:
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. CEUR Workshop Proceedings 1928, CEUR-WS.org 2017 [contents] - [e4]Gabriele Kern-Isberner, Johannes Fürnkranz, Matthias Thimm:
KI 2017: Advances in Artificial Intelligence - 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings. Lecture Notes in Computer Science 10505, Springer 2017, ISBN 978-3-319-67189-5 [contents] - 2016
- [j40]Jürgen Dix, Sven Ove Hansson, Gabriele Kern-Isberner, Guillermo Ricardo Simari:
Belief change and argumentation in multi-agent scenarios. Ann. Math. Artif. Intell. 78(3-4): 177-179 (2016) - [j39]Christian Eichhorn, Matthias Fey, Gabriele Kern-Isberner:
CP- and OCF-networks - a comparison. Fuzzy Sets Syst. 298: 109-127 (2016) - [j38]Christoph Beierle, Gabriele Kern-Isberner:
Dynamics of Knowledge and Belief. J. Appl. Log. 19: 51-53 (2016) - [c95]Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner, Steven Kutsch:
Skeptical, Weakly Skeptical, and Credulous Inference Based on Preferred Ranking Functions. ECAI 2016: 1149-1157 - [c94]Gavin Rens, Gabriele Kern-Isberner:
An Approach to Qualitative Belief Change Modulo Ontic Strength. DARe@ECAI 2016 - [c93]Christoph Beierle, Tobias Falke, Steven Kutsch, Gabriele Kern-Isberner:
Minimal Tolerance Pairs for System Z-Like Ranking Functions for First-Order Conditional Knowledge Bases. FLAIRS 2016: 626-631 - [c92]Maj-Britt Isberner, Gabriele Kern-Isberner:
A Formal Model of Plausibility Monitoring in Language Comprehension. FLAIRS 2016: 662-667 - [c91]Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke:
Propositional Probabilistic Reasoning at Maximum Entropy Modulo Theories. FLAIRS 2016: 690-694 - [c90]Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner:
Skeptical Inference Based on C-Representations and Its Characterization as a Constraint Satisfaction Problem. FoIKS 2016: 65-82 - [c89]Daan Apeldoorn, Gabriele Kern-Isberner:
When Should Learning Agents Switch to Explicit Knowledge? GCAI 2016: 174-186 - [c88]Marco Ragni, Christian Eichhorn, Gabriele Kern-Isberner:
Simulating Human Inferences in the Light of New Information: A Formal Analysis. IJCAI 2016: 2604-2610 - [c87]Christoph Beierle, Lewin Eisele, Gabriele Kern-Isberner, Ralf Georg Meyer, Mathias Nietzke:
Using Ontological Knowledge About Active Pharmaceutical Ingredients for a Decision Support System in Medical Cancer Therapy. KI 2016: 119-125 - 2015
- [j37]Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner:
Relational Probabilistic Conditionals and Their Instantiations under Maximum Entropy Semantics for First-Order Knowledge Bases. Entropy 17(2): 852-865 (2015) - [j36]Nico Potyka, Christoph Beierle, Gabriele Kern-Isberner:
A concept for the evolution of relational probabilistic belief states and the computation of their changes under optimum entropy semantics. J. Appl. Log. 13(4): 414-440 (2015) - [j35]Christian Eichhorn, Gabriele Kern-Isberner:
Using inductive reasoning for completing OCF-networks. J. Appl. Log. 13(4): 605-627 (2015) - [j34]Christoph Beierle, Gabriele Kern-Isberner, Marc Finthammer, Nico Potyka:
Extending and Completing Probabilistic Knowledge and Beliefs Without Bias. Künstliche Intell. 29(3): 255-262 (2015) - [j33]Christian Eichhorn, Gabriele Kern-Isberner:
Qualitative and Semi-Quantitative Inductive Reasoning with Conditionals - Technical Project Report. Künstliche Intell. 29(3): 279-289 (2015) - [c86]Gabriele Kern-Isberner, Christoph Beierle:
A System Z-like Approach for First-Order Default Reasoning. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation 2015: 81-95 - [c85]Christoph Beierle, Steffen Kuche, Marc Finthammer, Gabriele Kern-Isberner:
A Software System for the Computation, Visualization, and Comparison of Conditional Structures for Relational Probabilistic Knowledge Bases. FLAIRS 2015: 558-563 - [c84]Gabriele Kern-Isberner, Daniela Huvermann:
Multiple Iterated Belief Revision Without Independence. FLAIRS 2015: 570-575 - [c83]Paul D. Thorn, Christian Eichhorn, Gabriele Kern-Isberner, Gerhard Schurz:
Qualitative Probabilistic Inference with Default Inheritance. DKB/KIK@KI 2015: 16-28 - [e3]Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni, Frieder Stolzenburg:
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. CEUR Workshop Proceedings 1444, CEUR-WS.org 2015 [contents] - [i8]Igor Douven, Gabriele Kern-Isberner, Markus Knauff, Henri Prade:
Multi-disciplinary approaches to reasoning with imperfect information and knowledge - a synthesis and a roadmap of challenges (Dagstuhl Seminar 15221). Dagstuhl Reports 5(5): 92-114 (2015) - 2014
- [b6]Christoph Beierle, Gabriele Kern-Isberner:
Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen, 5. Auflage. Computational intelligence, SpringerVieweg 2014, ISBN 978-3-8348-1896-6, pp. I-XVI, 1-545 - [j32]Gabriele Kern-Isberner, Christian Eichhorn:
Structural Inference from Conditional Knowledge Bases. Stud Logica 102(4): 751-769 (2014) - [c82]Matthias Thimm, Gabriele Kern-Isberner:
On Controversiality of Arguments and Stratified Labelings. COMMA 2014: 413-420 - [c81]Patrick Krümpelmann, Tim Janus, Gabriele Kern-Isberner:
Angerona - A Flexible Multiagent Framework for Knowledge-Based Agents. EUMAS 2014: 35-50 - [c80]Christoph Beierle, Rita Hermsen, Gabriele Kern-Isberner:
Observations on the Minimality of Ranking Functions for Qualitative Conditional Knowledge Bases and Their Computation. FLAIRS 2014 - [c79]Gabriele Kern-Isberner, Marco Wilhelm, Christoph Beierle:
A Novel Methodology for Processing Probabilistic Knowledge Bases Under Maximum Entropy. FLAIRS 2014 - [c78]Joachim Biskup, Gabriele Kern-Isberner, Patrick Krümpelmann, Cornelia Tadros:
Reasoning on Secrecy Constraints under Uncertainty to Classify Possible Actions. FoIKS 2014: 97-116 - [c77]Gabriele Kern-Isberner, Marco Wilhelm, Christoph Beierle:
Probabilistic Knowledge Representation Using Gröbner Basis Theory. ISAIM 2014 - [c76]Christian Eichhorn, Gabriele Kern-Isberner:
LEG Networks for Ranking Functions. JELIA 2014: 210-223 - 2013
- [j31]Frank Weichert, Christoph Mertens, Lars Walczak, Gabriele Kern-Isberner, Mathias Wagner:
A novel approach for connecting temporal-ontologies with blood flow simulations. J. Biomed. Informatics 46(3): 470-479 (2013) - [j30]Marcelo A. Falappa, Alejandro Javier García, Gabriele Kern-Isberner, Guillermo Ricardo Simari:
Stratified Belief Bases Revision with Argumentative Inference. J. Philos. Log. 42(1): 161-193 (2013) - [c75]Julian Varghese, Christoph Beierle, Nico Potyka, Gabriele Kern-Isberner:
Using probabilistic logic and the principle of maximum entropy for the analysis of clinical brain tumor data. CBMS 2013: 401-404 - [c74]Christoph Beierle, Marc Finthammer, Nico Potyka, Julian Varghese, Gabriele Kern-Isberner:
A Case Study on the Application of Probabilistic Conditional Modelling and Reasoning to Clinical Patient Data in Neurosurgery. ECSQARU 2013: 49-60 - [c73]Nico Potyka, Christoph Beierle, Gabriele Kern-Isberner:
On the Problem of Reversing Relational Inductive Knowledge Representation. ECSQARU 2013: 485-496 - [c72]Gabriele Kern-Isberner, Christian Eichhorn:
Intensional Combination of Rankings for OCF-Networks. FLAIRS 2013 - [c71]Ella Albrecht, Patrick Krümpelmann, Gabriele Kern-Isberner:
Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs. KDPD 2013: 1-16 - [c70]Nico Potyka, Christoph Beierle, Gabriele Kern-Isberner:
Changes of Relational Probabilistic Belief States and Their Computation under Optimum Entropy Semantics. KI 2013: 176-187 - [c69]Patrick Krümpelmann, Gabriele Kern-Isberner:
Secrecy Preserving BDI Agents Based on Answerset Programming. MATES 2013: 124-137 - [i7]Matthias Thimm, Gabriele Kern-Isberner:
Stratified Labelings for Abstract Argumentation. CoRR abs/1308.0807 (2013) - [i6]Jürgen Dix, Sven Ove Hansson, Gabriele Kern-Isberner, Guillermo Ricardo Simari:
Belief Change and Argumentation in Multi-Agent Scenarios (Dagstuhl Seminar 13231). Dagstuhl Reports 3(6): 1-21 (2013) - 2012
- [j29]Christoph Beierle, Gabriele Kern-Isberner:
Semantical investigations into nonmonotonic and probabilistic logics. Ann. Math. Artif. Intell. 65(2-3): 123-158 (2012) - [j28]Christoph Beierle, Gabriele Kern-Isberner:
Editorial: Relational approaches to knowledge representation and learning. Log. J. IGPL 20(5): 771-773 (2012) - [j27]Matthias Thimm, Gabriele Kern-Isberner:
On probabilistic inference in relational conditional logics. Log. J. IGPL 20(5): 872-908 (2012) - [j26]Marcelo A. Falappa, Gabriele Kern-Isberner, Maurício D. Luís Reis, Guillermo Ricardo Simari:
Prioritized and Non-prioritized Multiple Change on Belief Bases. J. Philos. Log. 41(1): 77-113 (2012) - [j25]Christoph Beierle, Gabriele Kern-Isberner:
Aspects of Universitarian Distance Teaching and Online Learning. Künstliche Intell. 26(3): 305-306 (2012) - [j24]Gabriele Kern-Isberner, Christoph Beierle, Marc Finthammer, Matthias Thimm:
Comparing and Evaluating Approaches to Probabilistic Reasoning: Theory, Implementation, and Applications. Trans. Large Scale Data Knowl. Centered Syst. 6: 31-75 (2012) - [c68]Gabriele Kern-Isberner, Matthias Thimm:
A Ranking Semantics for First-Order Conditionals. ECAI 2012: 456-461 - [c67]Christoph Beierle, Gabriele Kern-Isberner:
Conditional Objects Revisited: Variants and Model Translations. FLAIRS 2012 - [c66]Christoph Beierle, Gabriele Kern-Isberner, Karl Södler:
Stepwise Optimization of a Constraint Logic Program for the Computation of Ranking Functions. GI-Jahrestagung 2012: 205-224 - [c65]Patrick Krümpelmann, Gabriele Kern-Isberner:
Belief Base Change Operations for Answer Set Programming. JELIA 2012: 294-306 - 2011
- [j23]Daniel Hölzgen, Thomas Vengels, Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner:
Argonauts: a working system for motivated cooperative agents. Ann. Math. Artif. Intell. 61(4): 309-332 (2011) - [j22]Sven Hartmann, Gabriele Kern-Isberner:
Preface. Ann. Math. Artif. Intell. 63(3-4): 209-211 (2011) - [j21]Marcelo A. Falappa, Alejandro Javier García, Gabriele Kern-Isberner, Guillermo Ricardo Simari:
On the evolving relation between Belief Revision and Argumentation. Knowl. Eng. Rev. 26(1): 35-43 (2011) - [c64]Antonis C. Kakas, Leila Amgoud, Gabriele Kern-Isberner, Nicolas Maudet, Pavlos Moraitis:
ABA: Argumentation Based Agents. ArgMAS 2011: 9-27 - [c63]Gabriele Kern-Isberner, Christoph Beierle, Marc Finthammer, Matthias Thimm:
Probabilistic Logics in Expert Systems: Approaches, Implementations, and Applications. DEXA (1) 2011: 27-46 - [c62]Matthias Thimm, Gabriele Kern-Isberner, Jens Fisseler:
Relational Probabilistic Conditional Reasoning at Maximum Entropy. ECSQARU 2011: 447-458 - [c61]Gabriele Kern-Isberner, Guillermo Ricardo Simari:
A Default Logical Semantics for Defeasible Argumentation. FLAIRS 2011 - [c60]Christoph Beierle, Gabriele Kern-Isberner:
On the computation of ranking functions for default rules - A challenge for constraint programming. GI-Jahrestagung 2011: 249 - [c59]Gabriele Kern-Isberner, Patrick Krümpelmann:
A Constructive Approach to Independent and Evidence Retaining Belief Revision by General Information Sets. IJCAI 2011: 937-942 - [c58]Christoph Beierle, Gabriele Kern-Isberner, Karl Södler:
A Declarative Approach for Computing Ordinal Conditional Functions Using Constraint Logic Programming. INAP/WLP 2011: 175-192 - [c57]Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner, Matthias Thimm:
Evaluation and Comparison Criteria for Approaches to Probabilistic Relational Knowledge Representation. KI 2011: 63-74 - [c56]Diego R. García, Sebastian Gottifredi, Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner, Marcelo A. Falappa, Alejandro Javier García:
On Influence and Contractions in Defeasible Logic Programming. LPNMR 2011: 199-204 - [c55]Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner, Regina Fritsch:
Motivating Agents in Unreliable Environments: A Computational Model. MATES 2011: 65-76 - [c54]Patrick Krümpelmann, Matthias Thimm, Marcelo A. Falappa, Alejandro Javier García, Gabriele Kern-Isberner, Guillermo Ricardo Simari:
Selective Revision by Deductive Argumentation. TAFA 2011: 147-162 - [i5]Christoph Beierle, Gabriele Kern-Isberner, Karl Södler:
A Constraint Logic Programming Approach for Computing Ordinal Conditional Functions. CoRR abs/1108.5794 (2011) - 2010
- [j20]Christoph Beierle, Gabriele Kern-Isberner:
Editorial: Dynamics of knowledge and belief. Log. J. IGPL 18(4): 485-487 (2010) - [j19]Gabriele Kern-Isberner, Manuela Ritterskamp:
Preference Fusion for Default Reasoning Beyond System Z. J. Autom. Reason. 45(1): 3-19 (2010) - [c53]Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner, Matthias Thimm:
Automated Reasoning for Relational Probabilistic Knowledge Representation. IJCAR 2010: 218-224 - [c52]Christoph Beierle, Bernhard Freund, Gabriele Kern-Isberner, Matthias Thimm:
Using Defeasible Logic Programming for Argumentation-Based Decision Support in Private Law. COMMA 2010: 87-98 - [c51]Antonis C. Kakas, Leila Amgoud, Gabriele Kern-Isberner, Nicolas Maudet, Pavlos Moraitis:
ABA: Argumentation Based Agents. ECAI 2010: 1005-1006 - [c50]Matthias Thimm, Marc Finthammer, Sebastian Loh, Gabriele Kern-Isberner, Christoph Beierle:
A System for Relational Probabilistic Reasoning on Maximum Entropy. FLAIRS 2010 - [c49]Christoph Beierle, Gabriele Kern-Isberner:
The Relationship of the Logic of Big-Stepped Probabilities to Standard Probabilistic Logics. FoIKS 2010: 191-210 - [c48]Marc Finthammer, Christoph Beierle, Jens Fisseler, Gabriele Kern-Isberner, Bülent Möller, Jörg Ingo Baumbach:
Probabilistic Relational Learning for Medical Diagnosis Based on Ion Mobility Spectrometry. IPMU (1) 2010: 365-375 - [c47]Gabriele Kern-Isberner, Matthias Thimm:
Novel Semantical Approaches to Relational Probabilistic Conditionals. KR 2010
2000 – 2009
- 2009
- [j18]Christoph Beierle, Gabriele Kern-Isberner:
Formal similarities and differences among qualitative conditional semantics. Int. J. Approx. Reason. 50(9): 1333-1346 (2009) - [c46]Marc Finthammer, Christoph Beierle, Benjamin Berger, Gabriele Kern-Isberner:
Probabilistic Reasoning at Optimum Entropy with the MEcore System. FLAIRS 2009 - [c45]Gabriele Kern-Isberner, Matthias Thimm, Marc Finthammer, Jens Fisseler:
Mining Default Rules from Statistical Data. FLAIRS 2009 - [c44]Christoph Beierle, Gabriele Kern-Isberner:
A Conceptual Agent Model Based on a Uniform Approach to Various Belief Operations. KI 2009: 273-280 - [c43]Marc Finthammer, Christoph Beierle, Benjamin Berger, Gabriele Kern-Isberner:
An Implementation of Belief Change Operations Based on Probabilistic Conditional Logic. LPNMR 2009: 496-501 - [p1]Marcelo Alejandro Falappa, Gabriele Kern-Isberner, Guillermo Ricardo Simari:
Belief Revision and Argumentation Theory. Argumentation in Artificial Intelligence 2009: 341-360 - [r1]Gabriele Kern-Isberner:
Mining Data with Group Theoretical Means. Encyclopedia of Data Warehousing and Mining 2009: 1257-1261 - 2008
- [b5]Christoph Beierle, Gabriele Kern-Isberner:
Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen, 4. Auflage. Vieweg 2008, ISBN 978-3-8348-0504-1, pp. I-XVIII, 1-495 - [j17]Christoph Beierle, Gabriele Kern-Isberner:
On the Modelling of an Agent's Epistemic State and its Dynamic Changes. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 12 (2008) - [j16]Didier Dubois, Angelo Gilio, Gabriele Kern-Isberner:
Probabilistic abduction without priors. Int. J. Approx. Reason. 47(3): 333-351 (2008) - [j15]Salem Benferhat, Gabriele Kern-Isberner:
Editorial - Special issue on nonmonotonic and uncertain reasoning. Int. J. Approx. Reason. 48(3): 709-710 (2008) - [c42]Christoph Beierle, Gabriele Kern-Isberner:
A Verified AsmL Implementation of Belief Revision. ABZ 2008: 98-111 - [c41]Patrick Krümpelmann, Matthias Thimm, Manuela Ritterskamp, Gabriele Kern-Isberner:
Belief operations for motivated BDI agents. AAMAS (1) 2008: 421-428 - [c40]Thomas Leopold, Gabriele Kern-Isberner, Gabriele Peters:
Combining Reinforcement Learning and Belief Revision - A Learning System for Active Vision. BMVC 2008: 1-10 - [c39]Christoph Beierle, Gabriele Kern-Isberner, Nicole Koch:
A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description). IJCAR 2008: 147-153 - [c38]Matthias Thimm, Gabriele Kern-Isberner:
A Distributed Argumentation Framework using Defeasible Logic Programming. COMMA 2008: 381-392 - [c37]Matthias Thimm, Gabriele Kern-Isberner:
On the Relationship of Defeasible Argumentation and Answer Set Programming. COMMA 2008: 393-404 - [c36]Thomas Leopold, Gabriele Kern-Isberner, Gabriele Peters:
Belief revision with reinforcement learning for interactive object recognition. ECAI 2008: 65-69 - [c35]Manuela Ritterskamp, Gabriele Kern-Isberner:
Preference-Based Default Reasoning. FLAIRS 2008: 672-677 - [c34]Gabriele Kern-Isberner:
Linking Iterated Belief Change Operations to Nonmonotonic Reasoning. KR 2008: 166-176 - [c33]Gabriele Kern-Isberner, Matthias Thimm, Marc Finthammer:
Qualitative Knowledge Discovery. SDKB 2008: 77-102 - [e2]Sven Hartmann, Gabriele Kern-Isberner:
Foundations of Information and Knowledge Systems, 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings. Lecture Notes in Computer Science 4932, Springer 2008, ISBN 978-3-540-77683-3 [contents] - 2007
- [j14]Gabriele Kern-Isberner, Dan Wu:
Editorial. Int. J. Approx. Reason. 46(2): 255-256 (2007) - [c32]Jens Fisseler, Gabriele Kern-Isberner, Christoph Beierle:
Learning Uncertain Rules with CONDORCKD. FLAIRS 2007: 74-79 - [c31]Marc Finthammer, Gabriele Kern-Isberner, Manuela Ritterskamp:
Resolving Inconsistencies in Probabilistic Knowledge Bases. KI 2007: 114-128 - [c30]Jens Fisseler, Gabriele Kern-Isberner, Christoph Beierle, Andreas Koch, Christian Müller:
Algebraic Knowledge Discovery Using Haskell. PADL 2007: 80-93 - [i4]Gabriele Kern-Isberner:
A conceptual framework for (iterated) revision, update, and nonmonotonic reasoning. Formal Models of Belief Change in Rational Agents 2007 - 2006
- [b4]Christoph Beierle, Gabriele Kern-Isberner:
Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen, 3. Auflage. Computational intelligence, Vieweg 2006, ISBN 978-3-8348-0010-7, pp. I-XVI, 1-489 - [j13]Gabriele Kern-Isberner, Wilhelm Rödder:
Editorial. Log. J. IGPL 14(3): 409-411 (2006) - [c29]Manfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, Christoph Beierle:
Computer Science Exercises in a Virtual University. CSREA EEE 2006: 23-29 - [c28]Marcelo A. Falappa, Eduardo L. Fermé, Gabriele Kern-Isberner:
On the Logic of Theory Change: Relations Between Incision and Selection Functions. ECAI 2006: 402-406 - [c27]Manfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, Christoph Beierle:
An Extendable System for the Specification and Generation of Interactive Self-tests. Edutainment 2006: 316-321 - [c26]Christoph Beierle, Gabriele Kern-Isberner:
A Note on Comparing Semantics for Conditionals. FLAIRS 2006: 794-799 - [c25]Didier Dubois, Angelo Gilio, Gabriele Kern-Isberner:
Probabilistic Abduction without Priors. KR 2006: 420-430 - 2005
- [j12]Choh Man Teng, Gabriele Kern-Isberner:
Foreword. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 13(5): 470-494 (2005) - [c24]Christoph Beierle, Gabriele Kern-Isberner:
Footprints of Conditionals. Mechanizing Mathematical Reasoning 2005: 99-119 - [c23]Christoph Beierle, Malte Isberner, Gabriele Kern-Isberner, Barbara Messing, Manfred Widera:
Generierung interaktiver Selbsttestaufgaben im Bereich der formalen Grundlagen der Informatik aus XML-Spezifikationen. DeLFI 2005: 523-524 - [c22]Christoph Beierle, Oliver Dusso, Gabriele Kern-Isberner:
Using Answer Set Programming for a Decision Support System. LPNMR 2005: 374-378 - [e1]Gabriele Kern-Isberner, Wilhelm Rödder, Friedhelm Kulmann:
Conditionals, Information, and Inference, International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers. Lecture Notes in Computer Science 3301, Springer 2005, ISBN 978-3-540-25332-7 [contents] - [i3]Didier Dubois, Angelo Gilio, Gabriele Kern-Isberner:
Probabilistic Abduction Without Priors. Belief Change in Rational Agents 2005 - [i2]Gabriele Kern-Isberner, Christoph Beierle, Oliver Dusso:
Modelling and Implementing a Knowledge Base for Checking Medical Invoices with DLV. Nonmonotonic Reasoning, Answer Set Programming and Constraints 2005 - 2004
- [j11]Gabriele Kern-Isberner, Thomas Lukasiewicz:
Combining probabilistic logic programming with the power of maximum entropy. Artif. Intell. 157(1-2): 139-202 (2004) - [j10]Gabriele Kern-Isberner:
A Thorough Axiomatization of a Principle of Conditional Preservation in Belief Revision. Ann. Math. Artif. Intell. 40(1-2): 127-164 (2004) - [j9]Gabriele Kern-Isberner, Wilhelm Rödder:
Belief revision and information fusion on optimum entropy. Int. J. Intell. Syst. 19(9): 837-857 (2004) - [c21]Gabriele Kern-Isberner, Jens Fisseler:
Knowledge Discovery by Reversing Inductive Knowledge Representation. KR 2004: 34-44 - 2003
- [b3]Christoph Beierle, Gabriele Kern-Isberner:
Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen, 2. Auflage. Computational intelligence, Vieweg 2003, ISBN 978-3-528-15723-4, pp. I-XIV, 1-458 - [j8]Wilhelm Rödder, Gabriele Kern-Isberner:
From information to probability: An axiomatic approach - Inference isinformation processing. Int. J. Intell. Syst. 18(4): 383-403 (2003) - [c20]Christoph Beierle, Gabriele Kern-Isberner:
Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines. Abstract State Machines 2003: 186-203 - [c19]Gabriele Kern-Isberner, Wilhelm Rödder:
Belief Revision and Information Fusion in a Probabilistic Environment. FLAIRS 2003: 506-510 - [c18]Christoph Beierle, Gabriele Kern-Isberner:
An Alternative View of Knowledge Discovery. HICSS 2003: 68 - [c17]Gabriele Kern-Isberner, Wilhelm Rödder:
Fusing Probabilistic Information on Maximum Entropy. KI 2003: 407-420 - [c16]Wilhelm Rödder, Gabriele Kern-Isberner:
Self Learning or How to Make a Knowledge Base Curious about Itself. KI 2003: 465-474 - [c15]Christoph Beierle, Gabriele Kern-Isberner:
A Logical Study on Qualitative Default Reasoning with Probabilities. LPAR 2003: 376-388 - 2002
- [j7]Marcelo A. Falappa, Gabriele Kern-Isberner, Guillermo Ricardo Simari:
Explanations, belief revision and defeasible reasoning. Artif. Intell. 141(1/2): 1-28 (2002) - [j6]Gabriele Kern-Isberner:
Handling conditionals adequately in uncertain reasoning and belief revision. J. Appl. Non Class. Logics 12(2): 215-237 (2002) - [c14]Gabriele Kern-Isberner:
The Principle of Conditional Preservation in Belief Revision. FoIKS 2002: 105-129 - [c13]Christoph Beierle, Gabriele Kern-Isberner:
On the Interpretation of Uncertain Rules in Prepositional Logic. IC-AI 2002: 522-528 - [c12]Christoph Beierle, Gabriele Kern-Isberner:
Using Institutions for the Study of Qualitative and Quantitative Conditional Logics. JELIA 2002: 161-172 - [c11]Gabriele Kern-Isberner:
A Structural Approach to Default Reasoning. KR 2002: 147-157 - [c10]Christoph Beierle, Gabriele Kern-Isberner:
Looking at Probabilistic Conditionals from an Institutional Point of View. WCII 2002: 162-179 - 2001
- [b2]Gabriele Kern-Isberner:
Conditionals in Nonmonotonic Reasoning and Belief Revision - Considering Conditionals as Agents. Lecture Notes in Computer Science 2087, Springer 2001, ISBN 3-540-42367-2 - [j5]Gabriele Kern-Isberner:
Conditional indifference and conditional preservation. J. Appl. Non Class. Logics 11(1-2): 85-106 (2001) - [c9]Gabriele Kern-Isberner:
Handling Conditionals Adequately in Uncertain Reasoning. ECSQARU 2001: 604-615 - [c8]Gabriele Kern-Isberner:
Representing and Learning Conditional Information in Possibility Theory. Fuzzy Days 2001: 194-217 - 2000
- [b1]Christoph Beierle, Gabriele Kern-Isberner:
Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen. Computational intelligence, Vieweg 2000, ISBN 978-3-528-05723-7, pp. I-XIV, 1-408 - [c7]Gabriele Kern-Isberner:
Solving the Inverse Representation Problem. ECAI 2000: 581-585 - [i1]Gabriele Kern-Isberner:
Conditional indifference and conditional preservation. CoRR cs.AI/0003009 (2000)
1990 – 1999
- 1999
- [c6]Thomas Lukasiewicz, Gabriele Kern-Isberner:
Probalilistic Logic Programming under Maximum Entropy. ESCQARU 1999: 279-292 - [c5]Gabriele Kern-Isberner:
Postulates for Conditional Belief Revision. IJCAI 1999: 186-191 - [c4]Gabriele Kern-Isberner:
Following Conditional Structures of Knowledge. KI 1999: 125-136 - 1998
- [j4]Gabriele Kern-Isberner:
Characterizing the Principle of Minimum Cross-Entropy Within a Conditional-Logical Framework. Artif. Intell. 98(1-2): 169-208 (1998) - [j3]Gabriele Kern-Isberner:
A note on conditional logics and entropy. Int. J. Approx. Reason. 19(3-4): 231-246 (1998) - [c3]Gabriele Kern-Isberner:
Nonmonotonic Reasoning in Probabilistics. ECAI 1998: 580-584 - 1997
- [c2]Gabriele Kern-Isberner:
A Logically Sound Method for Uncertain Reasoning with Quantified Conditionals. ECSQARU-FAPR 1997: 365-379 - [c1]Gabriele Kern-Isberner:
A Conditional-Logical Approach to Minimum Cross-Entropy. STACS 1997: 237-248 - 1996
- [j2]Gabriele Kern-Isberner, Heinz Peter Reidmacher:
Interpreting a contingency table by rules. Int. J. Intell. Syst. 11(6): 327-346 (1996) - [j1]Wilhelm Rödder, Gabriele Kern-Isberner:
Representation and Extraction of Information by Probabilistic Logic. Inf. Syst. 21(8): 637-652 (1996)
Coauthor Index
[j63] [c176] [c175] [c174] [c173] [c172] [j62] [j60] [j59] [c169] [c167] [c166] [c162] [c161] [c160] [c155] [c152] [c148] [i16] [j57] [j55] [c146] [c145] [c141] [c140] [c139] [c136] [i14] [i13] [i12] [c134] [c133] [c129] [c128] [j52] [c126] [c125] [c119] [i11] [j51] [c117] [c116] [c114] [c113] [c111] [c110] [e6] [j49] [j48] [j46] [c108] [c106] [c101] [c100] [c96] [e5] [j38] [c95] [c93] [c90] [c87] [j37] [j36] [j34] [c86] [c85] [e3] [b6] [c80] [c79] [c77] [c75] [c74] [c73] [c70] [j29] [j28] [j25] [j24] [c67] [c66] [c63] [c60] [c58] [c57] [i5] [j20] [c53] [c52] [c50] [c49] [c48] [j18] [c46] [c44] [c43] [b5] [j17] [c42] [c39] [c32] [c30] [b4] [c29] [c27] [c26] [c24] [c23] [c22] [i2] [b3] [c20] [c18] [c15] [c13] [c12] [c10] [b1]
Jonas Philipp Haldimann
aka: Jonas Haldimann
aka: Jonas Haldimann
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-04 22:13 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
