| 2008 |
|---|
| 63 | | Sven Hartmann,
Gabriele Kern-Isberner:
Foundations of Information and Knowledge Systems, 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings
Springer 2008 |
| 62 | EE | Patrick Krümpelmann,
Matthias Thimm,
Manuela Ritterskamp,
Gabriele Kern-Isberner:
Belief operations for motivated BDI agents.
AAMAS (1) 2008: 421-428 |
| 61 | EE | Christoph Beierle,
Gabriele Kern-Isberner:
A Verified AsmL Implementation of Belief Revision.
ABZ 2008: 98-111 |
| 60 | | Matthias Thimm,
Gabriele Kern-Isberner:
A Distributed Argumentation Framework using Defeasible Logic Programming.
COMMA 2008: 381-392 |
| 59 | | Matthias Thimm,
Gabriele Kern-Isberner:
On the Relationship of Defeasible Argumentation and Answer Set Programming.
COMMA 2008: 393-404 |
| 58 | EE | Thomas Leopold,
Gabriele Kern-Isberner,
Gabriele Peters:
Belief revision with reinforcement learning for interactive object recognition.
ECAI 2008: 65-69 |
| 57 | | Manuela Ritterskamp,
Gabriele Kern-Isberner:
Preference-Based Default Reasoning.
FLAIRS Conference 2008: 672-677 |
| 56 | EE | 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 |
| 55 | | Gabriele Kern-Isberner:
Linking Iterated Belief Change Operations to Nonmonotonic Reasoning.
KR 2008: 166-176 |
| 54 | EE | Gabriele Kern-Isberner,
Matthias Thimm,
Marc Finthammer:
Qualitative Knowledge Discovery.
SDKB 2008: 77-102 |
| 53 | EE | Didier Dubois,
Angelo Gilio,
Gabriele Kern-Isberner:
Probabilistic abduction without priors.
Int. J. Approx. Reasoning 47(3): 333-351 (2008) |
| 52 | EE | Salem Benferhat,
Gabriele Kern-Isberner:
Editorial - Special issue on nonmonotonic and uncertain reasoning.
Int. J. Approx. Reasoning 48(3): 709-710 (2008) |
| 2007 |
|---|
| 51 | | Jens Fisseler,
Gabriele Kern-Isberner,
Christoph Beierle:
Learning Uncertain Rules with CONDORCKD.
FLAIRS Conference 2007: 74-79 |
| 50 | EE | Gabriele Kern-Isberner:
A conceptual framework for (iterated) revision, update, and nonmonotonic reasoning.
Formal Models of Belief Change in Rational Agents 2007 |
| 49 | EE | Marc Finthammer,
Gabriele Kern-Isberner,
Manuela Ritterskamp:
Resolving Inconsistencies in Probabilistic Knowledge Bases.
KI 2007: 114-128 |
| 48 | EE | Jens Fisseler,
Gabriele Kern-Isberner,
Christoph Beierle,
Andreas Koch,
Christian Müller:
Algebraic Knowledge Discovery Using Haskell.
PADL 2007: 80-93 |
| 47 | EE | Gabriele Kern-Isberner,
Dan Wu:
Editorial.
Int. J. Approx. Reasoning 46(2): 255-256 (2007) |
| 2006 |
|---|
| 46 | | Manfred Widera,
Barbara Messing,
Gabriele Kern-Isberner,
Malte Isberner,
Christoph Beierle:
Computer Science Exercises in a Virtual University.
CSREA EEE 2006: 23-29 |
| 45 | | 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 |
| 44 | EE | 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 |
| 43 | | Christoph Beierle,
Gabriele Kern-Isberner:
A Note on Comparing Semantics for Conditionals.
FLAIRS Conference 2006: 794-799 |
| 42 | | Didier Dubois,
Angelo Gilio,
Gabriele Kern-Isberner:
Probabilistic Abduction without Priors.
KR 2006: 420-430 |
| 41 | EE | Gabriele Kern-Isberner,
Wilhelm Rödder:
Editorial.
Logic Journal of the IGPL 14(3): 409-411 (2006) |
| 2005 |
|---|
| 40 | | Gabriele Kern-Isberner,
Wilhelm Rödder,
Friedhelm Kulmann:
Conditionals, Information, and Inference, International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers
Springer 2005 |
| 39 | EE | Didier Dubois,
Angelo Gilio,
Gabriele Kern-Isberner:
Probabilistic Abduction Without Priors.
Belief Change in Rational Agents 2005 |
| 38 | | 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 |
| 37 | EE | Christoph Beierle,
Oliver Dusso,
Gabriele Kern-Isberner:
Using Answer Set Programming for a Decision Support System.
LPNMR 2005: 374-378 |
| 36 | EE | Christoph Beierle,
Gabriele Kern-Isberner:
Footprints of Conditionals.
Mechanizing Mathematical Reasoning 2005: 99-119 |
| 35 | EE | 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 |
| 34 | EE | Choh-Man Teng,
Gabriele Kern-Isberner:
Foreword.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 13(5): 470-494 (2005) |
| 2004 |
|---|
| 33 | | Gabriele Kern-Isberner,
Jens Fisseler:
Knowledge Discovery by Reversing Inductive Knowledge Representation.
KR 2004: 34-44 |
| 32 | | 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) |
| 31 | EE | Gabriele Kern-Isberner,
Thomas Lukasiewicz:
Combining probabilistic logic programming with the power of maximum entropy.
Artif. Intell. 157(1-2): 139-202 (2004) |
| 30 | EE | Gabriele Kern-Isberner,
Wilhelm Rödder:
Belief revision and information fusion on optimum entropy.
Int. J. Intell. Syst. 19(9): 837-857 (2004) |
| 2003 |
|---|
| 29 | EE | Christoph Beierle,
Gabriele Kern-Isberner:
Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines.
Abstract State Machines 2003: 186-203 |
| 28 | | Gabriele Kern-Isberner,
Wilhelm Rödder:
Belief Revision and Information Fusion in a Probabilistic Environment.
FLAIRS Conference 2003: 506-510 |
| 27 | EE | Christoph Beierle,
Gabriele Kern-Isberner:
An Alternative View of Knowledge Discovery.
HICSS 2003: 68 |
| 26 | EE | Gabriele Kern-Isberner,
Wilhelm Rödder:
Fusing Probabilistic Information on Maximum Entropy.
KI 2003: 407-420 |
| 25 | EE | Wilhelm Rödder,
Gabriele Kern-Isberner:
Self Learning or How to Make a Knowledge Base Curious about Itself.
KI 2003: 465-474 |
| 24 | EE | Christoph Beierle,
Gabriele Kern-Isberner:
A Logical Study on Qualitative Default Reasoning with Probabilities.
LPAR 2003: 376-388 |
| 23 | EE | 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) |
| 2002 |
|---|
| 22 | EE | Gabriele Kern-Isberner:
The Principle of Conditional Preservation in Belief Revision.
FoIKS 2002: 105-129 |
| 21 | | Christoph Beierle,
Gabriele Kern-Isberner:
On the Interpretation of Uncertain Rules in Prepositional Logic.
IC-AI 2002: 522-528 |
| 20 | EE | Christoph Beierle,
Gabriele Kern-Isberner:
Using Institutions for the Study of Qualitative and Quantitative Conditional Logics.
JELIA 2002: 161-172 |
| 19 | | Gabriele Kern-Isberner:
A Structural Approach to Default Reasoning.
KR 2002: 147-157 |
| 18 | EE | Christoph Beierle,
Gabriele Kern-Isberner:
Looking at Probabilistic Conditionals from an Institutional Point of View.
WCII 2002: 162-179 |
| 17 | EE | Marcelo A. Falappa,
Gabriele Kern-Isberner,
Guillermo Ricardo Simari:
Explanations, belief revision and defeasible reasoning.
Artif. Intell. 141(1/2): 1-28 (2002) |
| 16 | | Gabriele Kern-Isberner:
Handling conditionals adequately in uncertain reasoning and belief revision.
Journal of Applied Non-Classical Logics 12(2): 215-237 (2002) |
| 2001 |
|---|
| 15 | | Gabriele Kern-Isberner:
Conditionals in Nonmonotonic Reasoning and Belief Revision - Considering Conditionals as Agents
Springer 2001 |
| 14 | EE | Gabriele Kern-Isberner:
Handling Conditionals Adequately in Uncertain Reasoning.
ECSQARU 2001: 604-615 |
| 13 | EE | Gabriele Kern-Isberner:
Representing and Learning Conditional Information in Possibility Theory.
Fuzzy Days 2001: 194-217 |
| 12 | | Gabriele Kern-Isberner:
Conditional indifference and conditional preservation.
Journal of Applied Non-Classical Logics 11(1-2): 85-106 (2001) |
| 2000 |
|---|
| 11 | | Gabriele Kern-Isberner:
Solving the Inverse Representation Problem.
ECAI 2000: 581-585 |
| 10 | EE | Gabriele Kern-Isberner:
Conditional indifference and conditional preservation
CoRR cs.AI/0003009: (2000) |
| 1999 |
|---|
| 9 | EE | Thomas Lukasiewicz,
Gabriele Kern-Isberner:
Probalilistic Logic Programming under Maximum Entropy.
ESCQARU 1999: 279-292 |
| 8 | | Gabriele Kern-Isberner:
Postulates for Conditional Belief Revision.
IJCAI 1999: 186-191 |
| 7 | EE | Gabriele Kern-Isberner:
Following Conditional Structures of Knowledge.
KI 1999: 125-136 |
| 1998 |
|---|
| 6 | | Gabriele Kern-Isberner:
Nonmonotonic Reasoning in Probabilistics.
ECAI 1998: 580-584 |
| 5 | EE | Gabriele Kern-Isberner:
Characterizing the Principle of Minimum Cross-Entropy Within a Conditional-Logical Framework.
Artif. Intell. 98(1-2): 169-208 (1998) |
| 4 | EE | Gabriele Kern-Isberner:
A note on conditional logics and entropy.
Int. J. Approx. Reasoning 19(3-4): 231-246 (1998) |
| 1997 |
|---|
| 3 | | Gabriele Kern-Isberner:
A Logically Sound Method for Uncertain Reasoning with Quantified Conditionals.
ECSQARU-FAPR 1997: 365-379 |
| 2 | | Gabriele Kern-Isberner:
A Conditional-Logical Approach to Minimum Cross-Entropy.
STACS 1997: 237-248 |
| 1996 |
|---|
| 1 | EE | Wilhelm Rödder,
Gabriele Kern-Isberner:
Representation and Extraction of Information by Probabilistic Logic.
Inf. Syst. 21(8): 637-652 (1996) |
