Deutsch
English

Prof. Dr. Gabriele Kern-Isberner


Technische Universität Dortmund
Department of Computer Science Room:   217
Chair 1, Information Engineering Group (IE) Phone:   +49-231-755-2045
Otto-Hahn-Str. 16 Fax:   +49-231-755 2405
44221 Dortmund E-mail:  gabriele.kern-isberner (at) cs.uni-dortmund.de
Germany Workgroup:   Information Engineering


Research interests

Research work of the Information Engineering group at LS 1 deals with all aspects of knowledge representation and information processing, with a clear focus on logic based approaches. In particular, the following research topics are addressed:

  • Symbolic/qualitative and numerical/quantitative methods of knowledge representation and reasoning (KR) (with a focus on default logics and probabilistic logics)
  • non-classical logics and commonsense reasoning
  • dynamics of knowledge and belief revision
  • KR-based modelling of complex domains
  • knowledge based and decision support systems
  • argumentation
  • agents and multi-agent systems

Some research activities of the group are also located within the areas of

  • data mining and knowledge discovery
  • handling of preferences
  • ontologies and knowledge engineering


Teaching

Technische Universität Dortmund Universität Leipzig
  • winter 03/04:   course:   Theoretische Grundlagen wissensbasierter Systeme
  • winter 03/04:   seminar:   Theoretische Informatik
FernUniversität Hagen
  • winter 01/02:   course:   Methoden der Wissensrepräsentation und -verarbeitung (Kurs 1845)
  • summer 01:   course:   Wissensbasierte Systeme (Kurs 1696)
  • winter 98/99:   course:   Wissensbasierte Systeme (Kurs 1696)
  • summer 98:   course:   Deduktions- und Inferenzsysteme, Kurseinheit 7: Nicht-klassische Formen der Inferenz (Kurs 1695)


Projects



Books



Publications

2010

  • Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner, Matthias Thimm
    Automated Reasoning for Relational Probabilistic Knowledge Representation
    In: Proceedings of the Fifth International Joint Conference on Automated Reasoning (IJCAR'10), Edinburgh, UK, July 2010.
  • Gabriele Kern-Isberner and Matthias Thimm
    Novel Semantical Approaches to Relational Probabilistic Conditionals
    In: Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR'10), Toronto, Canada, May 2010. To appear.
  • Matthias Thimm, Marc Finthammer, Sebastian Log, Gabriele Kern-Isberner and Christoph Beierle
    A System for Relational Probabilistic Reasoning on Maximum Entropy
    In: Proceedings of the 23rd International FLAIRS Conference (FLAIRS'10), Daytona Beach, USA, May 2010. To appear.
  • Sebastian Loh, Matthias Thimm, Gabriele Kern-Isberner
    On the Problem of Grounding a Relational Probabilistic Conditional Knowledge Base
    In: Proceedings of the 14th International Workshop on Non-Monotonic Reasoning (NMR'10), Toronto, Canada, May 2010.

2009

  • Christoph Beierle and Gabrielle Kern-Isberner, editors.
    Relational Approaches to Knowledge Representation and Learning
    In: Proceedings of the Workshop at the 32nd Annual German Conference on Artificial Intelligence, KI-2009. Informatik-Bericht 354, Fakultät für Mathematik und Informatik, FernUniversität Hagen, 2009.
  • Christoph Beierle and Gabriele Kern-Isberner
    A Conceptual Agent Model based on a Uniform Approach to Various Belief Operations
    In: B. Mertsching, M. Hund, and Z. Aziz, editors, KI 2009: Advances in Artificial Intelligence. Proceedings of the 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009, volume 5803 of Lecture Notes in Artificial Intelligence, pages 273-280. Springer, 2009.
  • Mark Finthammer and Christoph Beierle and Benjamin Berger and Gabriele Kern-Isberner
    An Implementation of Belief Change Operations Based on Probabilistic Conditional Logic
    In: E. Erdem, F. Lin, and T. Schaub, editors, Logic Programming and Nonmonotonic Reasoning, Proceedings of the10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, volume 5753 of Lecture Notes in Computer Science, pages 496-501. Springer, 2009.
  • Marcelo Alejandro Falappa, Gabriele Kern-Isberner, and Guillermo Ricardo Simar
    Belief Revision and Argumentation Theory
    In: Simari, G.R. and Rahwan, I., editors, Argumentation in Artificial Intelligence. Springer, 2009.
  • Gabriele Kern-Isberner, Matthias Thimm, Marc Finthammer, and Jens Fisseler
    Mining Default Rules From Statistical Data
    In: Proceedings of the 22th International FLAIRS Conference (FLAIRS'09). Sanibel Island, USA, May 2009.
  • Christoph Beierle and Gabriele Kern-Isberner
    Formal similarities and differences between qualitative conditional semantics
    In: International Journal of Approximate Reasoning, 50:1333-1346, 2009.

2008

  • Gabriele Kern-Isberner, Matthias Thimm, and Marc Finthammer
    Qualitative Knowledge Discovery
    In: Klaus-Dieter Schewe, Bernhard Thalheim (Eds.), Proceedings of the Third International Workshop on Semantics in Data and Knowledge Bases (SDKB), volume 4925 of Lecture Notes in Computer Science, pages 77-102. Springer, December 2008.
  • Christoph Beierle and Gabriele Kern-Isberner
    A formal approach to agent-based knowledge representation and reasoning using default rules
    In: G. E. Lasker and J. Pfalzgraf, editors, Advances in Multiagent Systems, Robotics and Cybernetics: Theory and Practice. (Volume II). IIAS, Tecumseh, Canada, 2008.
  • Christoph Beierle, Gabriele Kern-Isberner, and Nicole Koch
    A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description)
    In: A. Armando, P. Baumgartner, and G. Dowek, editors, Proceedings of the 4th International Joint Conference on Automated Reasoning (IJCAR-2008), volume 5195 of Lecture Notes in Computer Science, pages 147-153. Springer, 2008.
  • Patrick Krümpelmann and Gabriele Kern-Isberner
    Propagating Credibility in Answer Set Programs
    In: Proceedings of the 22nd Workshop on (Constraint) Logic Programming (WLP08). Dresden, Germany, October 2008.
  • Joachim Biskup, Gabriele Kern-Isberner, and Matthias Thimm
    Towards Enforcement of Confidentiality in Agent Interactions
    In: M. Pagnucco and M. Thielscher (Eds.), Proceedings of the Twelfth International Workshop on Non-Monotonic Reasoning (NMR'08), pages 104-112. University of New South Wales, Technical Report UNSW-CSE-TR-0819, Sydney, Australia, September 2008.
  • Matthias Thimm, Alejandro J. Garcia, Gabriele Kern-Isberner, and Guillermo R. Simari
    Using Collaborations for Distributed Argumentation with Defeasible Logic Programming
    In: M. Pagnucco and M. Thielscher (Eds.), Proceedings of the Twelfth International Workshop on Non-Monotonic Reasoning (NMR'08), pages 179-188. University of New South Wales, Technical Report UNSW-CSE-TR-0819, Sydney, Australia, September 2008.
  • Gabriele Kern-Isberner
    Linking iterated belief change operations to nonmonotonic reasoning
    In: G. Brewka and J. Lang (Eds.), Proceedings 11th International Conference on Knowledge Representation and Reasoning, KR'2008, pp. 166-176. AAAI Press, Menlo Park, CA, 2008.
  • Thomas Leopold, Gabriele Kern-Isberner, and Gabriele Peters
    Combining Reinforcement Learning and Belief Revision - A Learning System for Active Vision
    In: Proceedings of the British Machine Vision Conference 2008, BMVC'08, 2008.
  • Thomas Leopold, Gabriele Kern-Isberner, and Gabriele Peters
    Belief revision with reinforcement learning for interactive object recognition
    In: Proceedings of the 18th European Conference on Artificial Intelligence, ECAI, 2008.
  • Patrick Krümpelmann, Matthias Thimm, Manuela Ritterskamp, and Gabriele Kern-Isberner
    Belief Operations for Motivated BDI Agents
    In: Proceedings of the Seventh International Joint Conference on Autonomous Agents and Multi-Agent Systems 2008 (AAMAS '08), pages 421-428. Estoril, Portugal, May 2008.
  • Matthias Thimm, Gabriele Kern-Isberner
    On the Relationship of Defeasible Argumentation and Answer Set Programming
    In: Proceedings of the Second International Conference on Computational Models of Argument (COMMA'08), pages 393-404. Toulouse, France, May 2008.
  • Matthias Thimm, Gabriele Kern-Isberner
    A Distributed Argumentation Framework using Defeasible Logic Programming
    In: Proceedings of the Second International Conference on Computational Models of Argument (COMMA'08), pages 381-392. Toulouse, France, May 2008
  • Manuela Ritterskamp and Gabriele Kern-Isberner
    Preference-Based Default Reasoning
    In: Proceedings of the 21st International FLAIRS Conference, Florida, May 2008.
  • Didier Dubois, Angelo Gilio, and Gabriele Kern-Isberner
    Probabilistic abduction without priors
    In: International Journal of Approximate Reasoning, 47(3):333-351, 2008.
  • Matthias Thimm, Gabriele Kern-Isberner
    On the Relationship of Defeasible Argumentation and Answer Set Programming (Extended Version)
    Technical Report. Technische Universität Dortmund, February 2008.
  • Matthias Thimm, Gabriele Kern-Isberner
    A Distributed Argumentation Framework using Defeasible Logic Programming (Extended Version)
    Technical Report. Technische Universität Dortmund, February 2008.
  • Sven Hartmann and Gabrielle Kern-Isberner, editors.
    Foundations of Information and Knowledge Systems
    Proceedings of the 5th International Symposium, FoIKS 2008. Number 4932 in LNCS. Springer, 2008.

2007

  • Jens Fisseler, Gabriele Kern-Isberner, and Christoph Beierle
    Learning Uncertain Rules with CondorCKD
    In: Proceedings of the 20th International FLAIRS Conference, FLAIRS'07, pages 74-79. AAAI Press, Menlo Park, California, 2007.
  • Gabriele Kern-Isberner
    A conceptual framework for (iterated) revision, update, and nonmonotonic reasoning
    In: Proceedings Dagstuhl seminar 07351 Formal Models of Belief Change in Rational Agents, 2007.
  • Manuela Ritterskamp and Gabriele Kern-Isberner
    Using preference fusion for default reasoning
    In: Proceedings of the 3rd Multidisciplinary Workshop on Advances in Preference Handling (M-PREF 2007), 2007.
  • Marc Finthammer, Gabriele Kern-Isberner, and Manuela Ritterskamp
    Resolving inconsistencies in probabilistic knowledge bases
    In: Proceedings of the 30th Annual German Conference on AI, KI 2007, Lecture Notes in Computer Science, 4667:114-128. Springer-Verlag, 2007.
  • Christoph Beierle and Gabriele Kern-Isberner
    An ASM refinement and implementation of the Condor system using ordinal conditional functions
    In: Proceedings of the14th International Workshop on Abstract State Machines (ASM'2007), Lecture Notes in Computer Science. Springer-Verlag, 2007.
  • Jens Fisseler, Gabriele Kern-Isberner, Christoph Beierle, Andreas Koch, and Christian Müller
    Algebraic knowledge discovery using Haskell
    In: Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Lecture Notes in Computer Science, 4354:80-93. Springer-Verlag, 2007.
  • Gabriele Kern-Isberner
    Using group theory for knowledge representation and discovery
    In: Contemporary Mathematics, Special Issue on Combinatorial Group Theory, Number Theory and Discrete Groups, 421:169-186, 2007.
  • Christoph Beierle and Gabrielle Kern-Isberner, editors.
    Dynamics of Knowledge and Belief
    Proceedings of the Workshop at the 30th Annual German Conference on Artificial Intelligence, KI-2007. Informatik-Bericht 339, Fakultät für Mathematik und Informatik, FernUniversität Hagen, 2007.
  • Gabriele Kern-Isberner and Dan Wu, editors.
    Inferences and Information Processing in a Conditional Framework
    International Journal of Approximate Reasoning, 46(2). Elsevier, 2007. Special Issue on Uncertain Reasoning.

2006

  • Christoph Beierle and Gabriele Kern-Isberner
    A note on comparing semantics for conditinnals
    In: Proceedings 19th International FLAIRS Conference, FLAIRS'2006, pages 794-799. AAAI Press, Menlo Park, California, 2006.
  • Marcelo Falappa, Eduardo Fermé, and Gabriele Kern-Isberner
    On the logic of theory change: Relations between incision and selection functions
    In: Proceedings 17th European Conference on Artificial Intelligence, ECAI'2006, pages 402-406. IOS Press, 2006.
  • Gabriele Kern-Isberner and Wilhelm Rödder, editors.
    Inferences and Information Processing in a Conditional Framework
    Logic Journal of the IGPL, 14(3). Oxford University Press, 2006. Special Issue.
  • Manfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, and Christoph Beierle
    Computer science exercises in a virtual university
    In: Proceedings of the 2006 International Conference on e-Learning, e-Business, Enterprise Information Systems, e-Government, & Outsourcing, EEE'06, pages 23 - 29. CSREA Press, 2006.
  • Manfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, and Christoph Beierle
    An extendable system for the specification and generation of interactive self-tests
    In: Z. Pan, R. Aylett, H. Diener, and X. Jin, editors, Edutainment: Technology and Application, Lecture Notes in Computer Science. Springer-Verlag, 2006.
  • Manfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, and Christoph Beierle
    An Extendable System for the Specification and Generation of Interactive Self-Tests
    In: Z. Pan, R. Aylett, H. Diener, and X. Jin, editors, Edutainment: Technology and Application, Lecture Notes in Computer Science. Springer-Verlag, 2006.
  • Manfred Widera, Barbara Messing, Christoph Beierle, Malte Isberner, and Gabriele Kern-Isberner
    Ein erweiterbares System fur die Spezifikation und Generierung interaktiver Selbsttestaufgaben
    In: Informatik Fachbericht, FernUniversität Hagen, 2006.
  • Gabriele Kern-Isberner
    Mining data with group theoretical means
    In: Encyclopedia of Data Warehousing and Mining, 763-767, 2006. IGP.
  • Didier Dubois, Angelo Gilio, and Gabriele Kern-Isberner
    Probabilistic abduction without priors
    In: Proceedings 10th International Conference on Principles of Knowledge Representation and Reasoning, KR'2006, pages 420-430, Menlo Park, Ca., 2006. AAAI Press.
  • Christoph Beierle and Gabriele Kern-Isberner
    A note on comparing semantics for conditionals
    Proceedings of the19th International FLAIRS Conference, FLAIRS'2006, 794-799. AAAI Press, 2006.

2005

  • Christoph Beierle, Oliver Dusso, and Gabriele Kern-Isberner
    Using answer set programming for a decision support system
    In: C. Baral, G. Greco, N. Leone, and G. Terracina, editors, Proceedings 8th International Conference on Logic Programming and Non Monotonic Reasoning (LPNMR 2005), volume 3662 of LNAI. Springer-Verlag, 2005.
  • Manfred Widera, Barbara Messing, Christoph Beierle, Malte Isberner, and Gabriele Kern-Isberner
    Ein erweiterbares System für die Spezifikation und Generierung interaktiver Selbsttestaufgaben.
    Informatik Fachbericht, FernUniversität Hagen, 2005.
  • Christoph Beierle, Malte Isberner, Gabriele Kern-Isberner, Barbara Messing, and Manfred Widera
    Generierung interaktiver Selbsttestaufgaben im Bereich der formalen Grundlagen der Informatik aus XML-Spezifikationen.
    In: J. Haake, U. Lucke, and D. Tavangarian, editors, DeLFI 2005. Proceedings der 3. e-Learning Fachtagung Informatik, volume P-37 of Lecture Notes in Informatics (LNI), pages 523-524. Köllen Verlag, 2005.
  • C. Beierle, O. Dusso, and G. Kern-Isberner.
    Modelling and implementing a knowledge base for checking medical invoices with DLV.
    In: Proceedings of Nonmonotonic Reasoning, Answer Set Programming and Constraints, 2005.
  • Christoph Beierle and Gabriele Kern-Isberner
    Footprints of conditionals.
    In Mechanizing Mathematical Reasoning: Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday, LNCS 2605, 2005.

2004

  • G. Kern-Isberner and W. Rödder.
    Belief revision and information fusion on optimum entropy.
    In: International Journal of Intelligent Systems, 19(9):837-857, 200
  • Gabriele Kern-Isberner, Wilhelm Rödder, and Friedhelm Kulmann, editors.
    Proceedings of the 2nd Workshop on Conditionals, Information, and Inference
    WCII'04. Ulm, September 2004.
  • G. Kern-Isberner and J. Fisseler.
    Knowledge discovery by reversing inductive knowledge representation.
    In Proceedings of the Ninth International Conference on the Principles of Knowledge Representation and Reasoning, KR-2004. AAAI Press, 2004.
  • G. Kern-Isberner and T. Lukasiewicz.
    Combining probabilistic logic programming with the power of maximum entropy.
    In Artificial Intelligence, Special Issue on Nonmonotonic Reasoning, 2004.
  • Gabriele Kern-Isberner
    A thorough axiomatization of a principle of conditional preservation in belief revision
    In: Annals of Mathematics and Artificial Intelligence, 40(1-2):127-164, 2004.

2003

  • C. Beierle and G. Kern-Isberner.
    A logical study on qualitative default reasoning with probabilities.
    In Proceedings International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LAPR'03, 2003.
  • W. Rödder and G. Kern-Isberner.
    Selflearning or how to make a knowledge base curious about itself.
    In Proceedings 26th German Conference on Artificial Intelligence, KI-2003, number 2821 in LNAI, 465-474, 2003
  • G. Kern-Isberner and W. Rödder.
    Fusing probabilistic information on maximum entropy.
    In Proceedings 26th German Conference on Artificial Intelligence, KI-2003, number 2821 in LNAI, 407-420, 2003
  • G. Kern-Isberner and W. Rödder.
    Belief revision and information fusion in a probabilistic environment.
    In Proceedings 16th International {FLAIRS} Conference, FLAIRS'03, 506-510, 2003.
  • G. Kern-Isberner.
    A thorough axiomatization of a principle of conditional preservation in belief revision.
    In Annals of Mathematics and Artificial Intelligence, 2003.
  • C. Beierle and G. Kern-Isberner.
    Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines.
    In E. Boerger and A. Gargantini and E. RiccobeneAbstract State Machines 2003 -- Advances in Theory and Applications, Proceedings 10th International Workshop, ASM´2003, 186-203, 2003.
  • C. Beierle and G. Kern-Isberner.
    An alternative view of knowledge discovery.
    In Proceedings Hawaii International Conference on System Sciences, HICSS-36. 2003.
  • W. Rödder and G. Kern-Isberner.
    From information to probability: an axiomatic approach.
    In International Journal of Intelligent Systems, 18(4): 383-403, 2003

2002

  • C. Beierle and G. Kern-Isberner.
    On the interpretation of uncertain rules in propositional logic.
    In Proceedings of the 2002 International Conference on Artificial Intelligence, IC-AI'02, 2002.
  • C. Beierle and G. Kern-Isberner.
    Knowledge discovery and the inverse representation problem.
    In Proceedings of the 2002 International Conference on Information and Knowledge Engineering, IKE'02, 2002.
  • M.A. Falappa and G. Kern-Isberner and G.R. Simari.
    Explanations, belief revision and defeasible reasoning.
    In Artificial Intelligence, 141(1-2):1-28, 2002.
  • G. Kern-Isberner.
    Handling conditionals adequately in uncertain reasoning and belief revision.
    In Journal of Applied Non-Classical Logics, 12(2):215-237, 2002.
  • C. Beierle and G. Kern-Isberner.
    Using Institutions for the Study of Qualitative and Quantitative Conditional Logics.
    In Proceedings of the 8th European Conference on Logics in Artificial Intelligence, JELIA'02, LNCS 2424: 161-172, 2002.
  • C. Beierle and G. Kern-Isberner.
    Looking at Probabilistic Conditionals from an Institutional Point of View.
    In Proceedings Workshop on Conditionals, Information, and Inference, Hagen, 2002
  • C. Beierle and G. Kern-Isberner.
    Introduction to {A}rtificial {I}ntelligence.
    In Proceedings Interdisciplinary College 2002, IK2002, Günne, Möhnesee, 2002.
  • G. Kern-Isberner.
    A structural approach to default reasoning.
    In Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning, KR'2002, 147-157, 2002.
  • G. Kern-Isberner.
    The principle of conditional preservation in belief revision.
    In Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2002, 105-129, 2002.

2001

  • G. Kern-Isberner.
    Discovering most informative rules from data.
    In Proceedings International Conference on Intelligent Agents, Web Technologies and Internet Commerce, IAWTIC'2001, 2001.
  • G. Kern-Isberner.
    Handling conditionals adequately in uncertain reasoning.
    In Proceedings European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU'01, 604-615, 2001.
  • G. Kern-Isberner.
    Representing and learning conditional information in possibility theory.
    In Proceedings 7th Fuzzy Days, Dortmund, Germany, 194-217, 2001.
  • G. Kern-Isberner.
    Conditionals in knowledge representation and belief revision.
    In Proceedings Fifth Dutch-German Workshop on Nonmonotonic Reasoning Techniques and their applications, DGNMR'01, 2001.
  • G. Kern-Isberner.
    Conditional indifference and conditional preservation.
    In Journal of Applied Non-Classical Logics, 11(1-2): 85-106, 2001.
  • G. Kern-Isberner.
    Revising and updating probabilistic beliefs.
    In M.-A. Williams and H. RottFrontiers in belief revision, 329-344, 2001.

2000

  • G. Kern-Isberner.
    Solving the inverse representation problem.
    In Proceedings 14th European Conference on Artificial Intelligence, ECAI'2000, 581-585, 2000.
  • G. Kern-Isberner.
    Conditional preservation and conditional indifference (preliminary version).
    In Proceedings 8th International Workshop on Nonmonotonic Reasoning (NMR'2000), 2000.

1999

  • G. Kern-Isberner.
    A unifying framework for symbolic and numerical approaches to nonmonotonic reasoning and belief revision.
    Fachbereich Informatik der FernUniversität Hagen, 1999, Habilitationsschrift.
  • G. Kern-Isberner.
    A unifying framework for symbolic and numerical approaches to nonmonotonic reasoning and belief revision.
    Department of Computer Science, FernUniversität Hagen, 1999, Habilitation thesis.
  • G. Kern-Isberner.
    Following conditional structures of knowledge.
    In KI-99: Advances in Artificial Intelligence, Proceedings of the 23rd Annual German Conference on Artificial Intelligence, 125-136, 1999.
  • T. Lukasiewicz and G. Kern-Isberner.
    Probabilistic Logic Programming under maximum entropy.
    In Proceedings ECSQARU-99, 1638: 279-292, 1999.
  • G. Kern-Isberner.
    Postulates for conditional belief revision.
    In Proceedings Sixteenth International Joint Conference on Artificial Intelligence, IJCAI-99, 186-191, 1999.
  • G. Kern-Isberner.
    Revising by conditional beliefs.
    In Proceedings Fourth Dutch-German Workshop on Nonmonotonic Reasoning Rechniques And Their Applications, DGNMR-99, 1999.

1998

  • G. Kern-Isberner.
    Nonmonotonic reasoning in probabilistics.
    In Proceedings European Conference on Artificial Intelligence, ECAI'98, 580-584, 1998.
  • G. Kern-Isberner.
    Characterizing the principle of minimum cross-entropy within a conditional-logical framework.
    Artificial Intelligence, 98: 169-208, 1998.
  • G. Kern-Isberner.
    A note on conditional logics and entropy.
    International Journal of Approximate Reasoning, 19: 231-246, 1998.
  • G. Kern-Isberner.
    Revising and updating probabilistic beliefs.
    Informatik Fachbericht 244, FernUniversität Hagen, 1998.
  • G. Kern-Isberner.
    Nonmonotonic reasoning in probabilistics.
    Informatik Fachbericht 243, FernUniversität Hagen, 1998.

1997

  • W. Rödder and G. Kern-Isberner.
    Representation and extraction of information by probabilistic logic.
    Information Systems, 21(8): 637-652, 1997.
  • W. Rödder and G. Kern-Isberner.
    Léa Sombé und entropie-optimale Informationsverarbeitung mit der Expertensystem-Shell SPIRIT.
    OR Spektrum, 19(3): 41-46, 1997.
  • G. Kern-Isberner.
    A logically sound method for uncertain reasoning with quantified conditionals.
    In Proceedings First International Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, 365-379, 1997.
  • G. Kern-Isberner.
    The principle of minimum cross-entropy and conditional logic.
    In Proceedings of the Third Dutch/German Workshop on Nonmonotonic Reasoning Techniques and their Applications, DGNMR-97, 73-82, 1997.
  • G. Kern-Isberner.
    A conditional-logical approach to minimum cross-entropy.
    In Proceedings 14th Symposium on Theoretical Aspects of Computer Science STACS'97, 237-248, 1997.

1996

  • G. Kern-Isberner and W. Rödder.
    Entropie-optimale Informationsverarbeitung mit der Expertensystem-Shell SPIRIT.
    Internes Arbeitspaper, FernUniversität Hagen, 1996.
  • G. Kern-Isberner.
    Characterizing the principle of minimum cross-entropy within a conditional logical framework.
    Informatik Fachbericht 206, FernUniversität Hagen, 1996.
  • G. Kern-Isberner.
    Conditional Logics and Entropy.
    Informatik Fachbericht 203, FernUniversität Hagen, 1996.
  • G. Kern-Isberner and H.P. Reidmacher.
    Interpreting a contingency table by rules.
    International Journal of Intelligent Systems, 11(6), 1996.

1995

  • C.-H. Meyer and G. Kern-Isberner and W. Rödder.
    Analyse medizinisch-soziologischer Daten mittels eines probabilistischen Expertensystems.
    In Proceedings Symposium on Operations Research SOR'95, 347-352, 1995.

1993

  • H.P. Reidmacher and G. Kern-Isberner.
    Unsichere logische Regeln in Expertensystemen mit probabilistischer Wissensbasis.
    Fachbereich Wirtschaftswissenschaften, Diskussionsbeitrag 206, FernUniversität Hagen, 1993.

1987

  • G. Kern-Isberner and G. Rosenberger.
    Normalteiler vom Geschlecht eins in freien Produkten endlicher zyklischer Gruppen.
    Results in Mathematics, 11:272-288, 1987.

1985

  • G. Kern-Isberner.
    Rekursionsformeln für die Anzahl von Normalteilern in freien Produkten zyklischer Gruppen.
    PhD thesis, University of Dortmund, 1985.

1984

  • G. Kern-Isberner and G. Rosenberger.
    A note on numbers of the form n = x2 + Ny2.
    Arch. Math., 43:148-156, 1984.

1983

  • G. Kern-Isberner and G. Rosenberger.
    Einige Bemerkungen über Untergruppen der PSL(2,C).
    Resultate der Mathematik, 6:40-47, 1983.

1980

  • G. Kern-Isberner and G. Rosenberger.
    Über Diskretheitsbedingungen und die diophantische Gleichung ax2 + by2 + cz2 = dxyz.
    Arch. Math., 34:481-493, 1980.

7. April 2010