Prof. Dr. Gabriele Kern-Isberner

English
Deutsch

University of Dortmund Room:   GB V/416
Department of Computer Science Phone:   +49-231-755-2045
Chair VI Fax:   +49-231-755 2405
44221 Dortmund E-mail:  gabriele.kern-isberner (at) cs.uni-dortmund.de
Germany Group:   Information Engineering


     Teaching


     Projects


     Books


Publications

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 = 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.
[back to top] back to top

21. September 2005