PD Dr. Gabriele Kern-Isberner

Department of Automata and Formal Languages
Institute of Informatics
University of Leipzig
Augustusplatz 10-11
04109 Leipzig
Germany

Phone:	+49-341-9732345
	+49-341-9732241 (secretary)
Fax:	+49-341-9732209
E-mail:	kern-isberner@informatik.uni-leipzig.de
Web:	www.informatik.uni-leipzig.de/theo/
Room:	Hauptgebäude 3-54             How to find us

Current Position

Interim head of the Automata and Formal Languages Group at the Institute of Informatics, University of Leipzig.

Teaching

• Theoretische Grundlagen wissensbasierter Systeme [WS 03/04, Uni Leipzig]
• Theorie-Seminar [WS 03/04, Uni Leipzig]
• Methoden der Wissenspräsentation und Verarbeitung [WS 03/04, Kurs 1845, FernUni Hagen]
• Seminar Praktische Informatik [WS 03/04, Kurs 1911, FernUni Hagen]
• Wissensbasierte Systeme [SS 04, Kurs 1696, FernUni Hagen]
• Betriebssysteme und Rechnernetze [Kurs 1801, FernUni Hagen]
• Sicherheit im Internet I + II [Kurse 1866 + 1867, FernUni Hagen]

Projects

• CONDOR - Knowledge Discovery and Knowledge Dynamics Based on Conditional Structures
• Inferences at optimum entropy in probabilistic logics

Books (Selection)

1.			Methoden wissensbasierter Systeme  von Christoph Beierle, Gabriele Kern-Isberner Vieweg, 2003; 458 Seiten, 2. Auflage, ISBN: 3540423572

2.			Conditionals in Nonmonotonic Reasoning and Belief Revision. Considering Conditionals as Agents (Lecture Notes in Computer Science Vol. 2087)  von Gabriele Kern-Isberner Springer-Verlag Berlin Heidelberg, 2001; 190 Seiten, ISBN: 3540423672

3.

Methoden wissensbasierter Systeme  von Christoph Beierle, Gabriele Kern-Isberner Vieweg, 2000; 408 Seiten, ISBN: 3528057238

Publications (Selection)

• Christoph Beierle, Gabriele Kern-Isberner: Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines. Abstract State Machines 2003: 186-203
• Christoph Beierle, Gabriele Kern-Isberner: An Alternative View of Knowledge Discovery. HICSS 2003: 68
• Wilhelm Rödder, Gabriele Kern-Isberner: From information to probability: An axiomatic approach - Inference isinformation processing. International Journal of Intelligent Systems 18(4): 383-403 (2003)
• 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
• Marcelo A. Falappa, Gabriele Kern-Isberner, Guillermo Ricardo Simari: Explanations, belief revision and defeasible reasoning. Artificial Intelligence 141(1/2): 1-28 (2002)
• Gabriele Kern-Isberner: Conditionals in Nonmonotonic Reasoning and Belief Revision - Considering Conditionals as Agents. Springer 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
• Gabriele Kern-Isberner: Solving the Inverse Representation Problem. ECAI 2000: 581-585
• 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: Nonmonotonic Reasoning in Probabilistics. ECAI 1998: 580-584
• Gabriele Kern-Isberner: Characterizing the Principle of Minimum Cross-Entropy Within a Conditional-Logical Framework. Artificial Intelligence 98(1-2): 169-208 (1998)
• 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. IS 21(8): 637-652 (1996)

[back to top]