Prof. Dr. Gabriele Kern-Isberner

Publikationen

2006

• G. Kern-Isberner.
  Mining data with group theoretical means.
  Encyclopedia of Data Warehousing and Mining, 763-767, 2006. (to appear)

2005

• C. Beierle and G. Kern-Isberner.
  A note on comparing semantics for conditionals.
  2005. (submitted for publication)

• M. Widera, B. Messing, C. Beierle, M. Isberner, and G. Kern-Isberner.
  Ein erweiterbares System für die Spezifikation und Generierung interaktiver Selbsttestaufgaben.
  Informatik Fachbericht, FernUniversität Hagen, 2005. (to appear)

• C. Beierle, M. Isberner, G. Kern-Isberner, B. Messing, and M. Widera.
  Generierung interaktiver Selbsttestaufgaben im Bereich der formalen Grundlagen der Informatik aus XML-Spezifikationen.
  In DeLFI 2005, Proceedings der 3. e-Learning Fachtagung Informatik, Lecture Notes in Informatics (LNI), 2005. (to appear)

• C. Beierle, O. Dusso, and G. Kern-Isberner.
  Modelling and implementing a knowledge base for checking medical invoices with DLV.
  In Proceedings LPNMR'05, 2005. (to appear)

• D. Dubois, A. Gilio, and G. Kern-Isberner.
  Probabilistic abduction without priors.
  2005. (submitted for publication)

• C. Beierle and G. 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.

• C. Beierle and G. Kern-Isberner.
  Looking at probabilistic conditionals from an institutional point of view.
  In Conditionals, Information, and Inference, number 3301 in LNAI, 2005.

2004

• G. Kern-Isberner and W. Rödder.
  Belief revision and information fusion on optimum entropy.
  In International Journal of Intelligent Systems, 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.

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 = x² + Ny².
  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 ax² + by² + cz² = dxyz.
  Arch. Math., 34:481-493, 1980.