Gabriele Kern-Isberner

Frank Weichert, C. Mertens, Lars Walczak, Gabriele Kern-Isberner, Mathias Wagner: A novel approach for connecting temporal-ontologies with blood flow simulations. Journal of Biomedical Informatics 46(3): 470-479 (2013)

Marcelo A. Falappa, Alejandro Javier García, Gabriele Kern-Isberner, Guillermo Ricardo Simari: Stratified Belief Bases Revision with Argumentative Inference. J. Philosophical Logic 42(1): 161-193 (2013)

Christoph Beierle, Gabriele Kern-Isberner: Semantical investigations into nonmonotonic and probabilistic logics. Ann. Math. Artif. Intell. 65(2-3): 123-158 (2012)

Christoph Beierle, Gabriele Kern-Isberner: Editorial: Relational approaches to knowledge representation and learning. Logic Journal of the IGPL 20(5): 771-773 (2012)

Matthias Thimm, Gabriele Kern-Isberner: On probabilistic inference in relational conditional logics. Logic Journal of the IGPL 20(5): 872-908 (2012)

Marcelo A. Falappa, Gabriele Kern-Isberner, Maurício Reis, Guillermo Ricardo Simari: Prioritized and Non-prioritized Multiple Change on Belief Bases. J. Philosophical Logic 41(1): 77-113 (2012)

Christoph Beierle, Gabriele Kern-Isberner: Aspects of Universitarian Distance Teaching and Online Learning. KI 26(3): 305-306 (2012)

Gabriele Kern-Isberner, Christoph Beierle, Marc Finthammer, Matthias Thimm: Comparing and Evaluating Approaches to Probabilistic Reasoning: Theory, Implementation, and Applications. T. Large-Scale Data- and Knowledge-Centered Systems 6: 31-75 (2012)

Gabriele Kern-Isberner, Matthias Thimm: A Ranking Semantics for First-Order Conditionals. ECAI 2012: 456-461

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

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

Patrick Krümpelmann, Gabriele Kern-Isberner: Belief Base Change Operations for Answer Set Programming. JELIA 2012: 294-306

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)

Sven Hartmann, Gabriele Kern-Isberner: Preface. Ann. Math. Artif. Intell. 63(3-4): 209-211 (2011)

Marcelo A. Falappa, Alejandro Javier García, Gabriele Kern-Isberner, Guillermo Ricardo Simari: On the evolving relation between Belief Revision and Argumentation. Knowledge Eng. Review 26(1): 35-43 (2011)

Antonis C. Kakas, Leila Amgoud, Gabriele Kern-Isberner, Nicolas Maudet, Pavlos Moraitis: ABA: Argumentation Based Agents. ArgMAS 2011: 9-27

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

Matthias Thimm, Gabriele Kern-Isberner, Jens Fisseler: Relational Probabilistic Conditional Reasoning at Maximum Entropy. ECSQARU 2011: 447-458

Gabriele Kern-Isberner, Guillermo Ricardo Simari: A Default Logical Semantics for Defeasible Argumentation. FLAIRS Conference 2011

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

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

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

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

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

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

Christoph Beierle, Gabriele Kern-Isberner: Editorial: Dynamics of knowledge and belief. Logic Journal of the IGPL 18(4): 485-487 (2010)

Gabriele Kern-Isberner, Manuela Ritterskamp: Preference Fusion for Default Reasoning Beyond System Z. J. Autom. Reasoning 45(1): 3-19 (2010)

Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner, Matthias Thimm: Automated Reasoning for Relational Probabilistic Knowledge Representation. IJCAR 2010: 218-224

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

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

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

Christoph Beierle, Gabriele Kern-Isberner: The Relationship of the Logic of Big-Stepped Probabilities to Standard Probabilistic Logics. FoIKS 2010: 191-210

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

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

Christoph Beierle, Gabriele Kern-Isberner: Formal similarities and differences among qualitative conditional semantics. Int. J. Approx. Reasoning 50(9): 1333-1346 (2009)

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

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

Christoph Beierle, Gabriele Kern-Isberner: A Conceptual Agent Model Based on a Uniform Approach to Various Belief Operations. KI 2009: 273-280

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

Gabriele Kern-Isberner: Mining Data with Group Theoretical Means. Encyclopedia of Data Warehousing and Mining 2009: 1257-1261

Christoph Beierle, Gabriele Kern-Isberner: Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen (4. Aufl.). Vieweg 2008, isbn 978-3-8348-0504-1, pp. I-XVIII, 1-495

Christoph Beierle, Gabriele Kern-Isberner: On the Modelling of an Agent's Epistemic State and its Dynamic Changes. ECEASST 12 (2008)

Didier Dubois, Angelo Gilio, Gabriele Kern-Isberner: Probabilistic abduction without priors. Int. J. Approx. Reasoning 47(3): 333-351 (2008)

Salem Benferhat, Gabriele Kern-Isberner: Editorial - Special issue on nonmonotonic and uncertain reasoning. Int. J. Approx. Reasoning 48(3): 709-710 (2008)

Christoph Beierle, Gabriele Kern-Isberner: A Verified AsmL Implementation of Belief Revision. ABZ 2008: 98-111

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

Thomas Leopold, Gabriele Kern-Isberner, Gabriele Peters: Combining Reinforcement Learning and Belief Revision - A Learning System for Active Vision. BMVC 2008: 1-10

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

Matthias Thimm, Gabriele Kern-Isberner: A Distributed Argumentation Framework using Defeasible Logic Programming. COMMA 2008: 381-392

Matthias Thimm, Gabriele Kern-Isberner: On the Relationship of Defeasible Argumentation and Answer Set Programming. COMMA 2008: 393-404

Thomas Leopold, Gabriele Kern-Isberner, Gabriele Peters: Belief revision with reinforcement learning for interactive object recognition. ECAI 2008: 65-69

Manuela Ritterskamp, Gabriele Kern-Isberner: Preference-Based Default Reasoning. FLAIRS Conference 2008: 672-677

Gabriele Kern-Isberner: Linking Iterated Belief Change Operations to Nonmonotonic Reasoning. KR 2008: 166-176

Gabriele Kern-Isberner, Matthias Thimm, Marc Finthammer: Qualitative Knowledge Discovery. SDKB 2008: 77-102

Sven Hartmann, Gabriele Kern-Isberner (Eds.): 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

Gabriele Kern-Isberner, Dan Wu: Editorial. Int. J. Approx. Reasoning 46(2): 255-256 (2007)

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

Jens Fisseler, Gabriele Kern-Isberner, Christoph Beierle: Learning Uncertain Rules with CONDORCKD. FLAIRS Conference 2007: 74-79

Marc Finthammer, Gabriele Kern-Isberner, Manuela Ritterskamp: Resolving Inconsistencies in Probabilistic Knowledge Bases. KI 2007: 114-128

Jens Fisseler, Gabriele Kern-Isberner, Christoph Beierle, Andreas Koch, Christian Müller: Algebraic Knowledge Discovery Using Haskell. PADL 2007: 80-93

Gabriele Kern-Isberner, Wilhelm Rödder: Editorial. Logic Journal of the IGPL 14(3): 409-411 (2006)

Manfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, Christoph Beierle: Computer Science Exercises in a Virtual University. CSREA EEE 2006: 23-29

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

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

Christoph Beierle, Gabriele Kern-Isberner: A Note on Comparing Semantics for Conditionals. FLAIRS Conference 2006: 794-799

Didier Dubois, Angelo Gilio, Gabriele Kern-Isberner: Probabilistic Abduction without Priors. KR 2006: 420-430

Choh-Man Teng, Gabriele Kern-Isberner: Foreword. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 13(5): 470-494 (2005)

Christoph Beierle, Gabriele Kern-Isberner: Footprints of Conditionals. Mechanizing Mathematical Reasoning 2005: 99-119

Didier Dubois, Angelo Gilio, Gabriele Kern-Isberner: Probabilistic Abduction Without Priors. Belief Change in Rational Agents 2005

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

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

Christoph Beierle, Oliver Dusso, Gabriele Kern-Isberner: Using Answer Set Programming for a Decision Support System. LPNMR 2005: 374-378

Gabriele Kern-Isberner, Wilhelm Rödder, Friedhelm Kulmann (Eds.): 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

Gabriele Kern-Isberner, Thomas Lukasiewicz: Combining probabilistic logic programming with the power of maximum entropy. Artif. Intell. 157(1-2): 139-202 (2004)

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)

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

Gabriele Kern-Isberner, Jens Fisseler: Knowledge Discovery by Reversing Inductive Knowledge Representation. KR 2004: 34-44

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)

Christoph Beierle, Gabriele Kern-Isberner: Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines. Abstract State Machines 2003: 186-203

Gabriele Kern-Isberner, Wilhelm Rödder: Belief Revision and Information Fusion in a Probabilistic Environment. FLAIRS Conference 2003: 506-510

Christoph Beierle, Gabriele Kern-Isberner: An Alternative View of Knowledge Discovery. HICSS 2003: 68

Gabriele Kern-Isberner, Wilhelm Rödder: Fusing Probabilistic Information on Maximum Entropy. KI 2003: 407-420

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

Christoph Beierle, Gabriele Kern-Isberner: A Logical Study on Qualitative Default Reasoning with Probabilities. LPAR 2003: 376-388

Marcelo A. Falappa, Gabriele Kern-Isberner, Guillermo Ricardo Simari: Explanations, belief revision and defeasible reasoning. Artif. Intell. 141(1/2): 1-28 (2002)

Gabriele Kern-Isberner: Handling conditionals adequately in uncertain reasoning and belief revision. Journal of Applied Non-Classical Logics 12(2): 215-237 (2002)

Gabriele Kern-Isberner: The Principle of Conditional Preservation in Belief Revision. FoIKS 2002: 105-129

Christoph Beierle, Gabriele Kern-Isberner: On the Interpretation of Uncertain Rules in Prepositional Logic. IC-AI 2002: 522-528

Christoph Beierle, Gabriele Kern-Isberner: Using Institutions for the Study of Qualitative and Quantitative Conditional Logics. JELIA 2002: 161-172

Gabriele Kern-Isberner: A Structural Approach to Default Reasoning. KR 2002: 147-157

Christoph Beierle, Gabriele Kern-Isberner: Looking at Probabilistic Conditionals from an Institutional Point of View. WCII 2002: 162-179

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

Gabriele Kern-Isberner: Conditional indifference and conditional preservation. Journal of Applied Non-Classical Logics 11(1-2): 85-106 (2001)

Gabriele Kern-Isberner: Handling Conditionals Adequately in Uncertain Reasoning. ECSQARU 2001: 604-615

Gabriele Kern-Isberner: Representing and Learning Conditional Information in Possibility Theory. Fuzzy Days 2001: 194-217

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

Gabriele Kern-Isberner: Solving the Inverse Representation Problem. ECAI 2000: 581-585

Gabriele Kern-Isberner: Conditional indifference and conditional preservation. CoRR cs.AI/0003009 (2000)

Thomas Lukasiewicz, Gabriele Kern-Isberner: Probalilistic Logic Programming under Maximum Entropy. ESCQARU 1999: 279-292

Gabriele Kern-Isberner: Postulates for Conditional Belief Revision. IJCAI 1999: 186-191

Gabriele Kern-Isberner: Following Conditional Structures of Knowledge. KI 1999: 125-136

Gabriele Kern-Isberner: Characterizing the Principle of Minimum Cross-Entropy Within a Conditional-Logical Framework. Artif. Intell. 98(1-2): 169-208 (1998)

Gabriele Kern-Isberner: A note on conditional logics and entropy. Int. J. Approx. Reasoning 19(3-4): 231-246 (1998)

Gabriele Kern-Isberner: Nonmonotonic Reasoning in Probabilistics. ECAI 1998: 580-584

Gabriele Kern-Isberner: A Logically Sound Method for Uncertain Reasoning with Quantified Conditionals. ECSQARU-FAPR 1997: 365-379

Gabriele Kern-Isberner: A Conditional-Logical Approach to Minimum Cross-Entropy. STACS 1997: 237-248

Wilhelm Rödder, Gabriele Kern-Isberner: Representation and Extraction of Information by Probabilistic Logic. Inf. Syst. 21(8): 637-652 (1996)