| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Marcelo A. Falappa, Gabriele Kern-Isberner, Maurício Reis, Guillermo Ricardo Simari |
Prioritized and Non-prioritized Multiple Change on Belief Bases.  |
J. Philosophical Logic  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo A. Falappa, Alejandro Javier García, Gabriele Kern-Isberner, Guillermo Ricardo Simari |
On the evolving relation between Belief Revision and Argumentation.  |
Knowledge Eng. Review  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Gabriele Kern-Isberner, Karl Södler |
A Constraint Logic Programming Approach for Computing Ordinal Conditional Functions  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Sven Hartmann, Gabriele Kern-Isberner |
Preface.  |
Ann. Math. Artif. Intell.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Hölzgen, Thomas Vengels, Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner |
Argonauts: a working system for motivated cooperative agents.  |
Ann. Math. Artif. Intell.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Krümpelmann, Matthias Thimm, Marcelo A. Falappa, Alejandro Javier García, Gabriele Kern-Isberner, Guillermo Ricardo Simari |
Selective Revision by Deductive Argumentation.  |
TAFA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Kern-Isberner, Patrick Krümpelmann |
A Constructive Approach to Independent and Evidence Retaining Belief Revision by General Information Sets.  |
IJCAI  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Matthias Thimm, Gabriele Kern-Isberner, Jens Fisseler |
Relational Probabilistic Conditional Reasoning at Maximum Entropy.  |
ECSQARU  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner, Regina Fritsch |
Motivating Agents in Unreliable Environments: A Computational Model.  |
MATES  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego R. García, Sebastian Gottifredi, Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner, Marcelo A. Falappa, Alejandro Javier García |
On Influence and Contractions in Defeasible Logic Programming.  |
LPNMR  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Kern-Isberner, Guillermo Ricardo Simari |
A Default Logical Semantics for Defeasible Argumentation.  |
FLAIRS Conference  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Gabriele Kern-Isberner, Christoph Beierle, Marc Finthammer, Matthias Thimm |
Probabilistic Logics in Expert Systems: Approaches, Implementations, and Applications.  |
DEXA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner, Matthias Thimm |
Evaluation and Comparison Criteria for Approaches to Probabilistic Relational Knowledge Representation.  |
KI  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Gabriele Kern-Isberner |
Editorial: Dynamics of knowledge and belief.  |
Logic Journal of the IGPL  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Kern-Isberner, Manuela Ritterskamp |
Preference Fusion for Default Reasoning Beyond System Z.  |
J. Autom. Reasoning  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner, Matthias Thimm |
Automated Reasoning for Relational Probabilistic Knowledge Representation.  |
IJCAR  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonis C. Kakas, Leila Amgoud, Gabriele Kern-Isberner, Nicolas Maudet, Pavlos Moraitis |
ABA: Argumentation Based Agents.  |
ECAI  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Gabriele Kern-Isberner |
The Relationship of the Logic of Big-Stepped Probabilities to Standard Probabilistic Logics.  |
FoIKS  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Kern-Isberner, Matthias Thimm |
Novel Semantical Approaches to Relational Probabilistic Conditionals.  |
KR  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Matthias Thimm, Marc Finthammer, Sebastian Loh, Gabriele Kern-Isberner, Christoph Beierle |
A System for Relational Probabilistic Reasoning on Maximum Entropy.  |
FLAIRS Conference  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Marc Finthammer, Christoph Beierle, Jens Fisseler, Gabriele Kern-Isberner, Bülent Möller, Jörg Ingo Baumbach |
Probabilistic Relational Learning for Medical Diagnosis Based on Ion Mobility Spectrometry.  |
IPMU  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Bernhard Freund, Gabriele Kern-Isberner, Matthias Thimm |
Using Defeasible Logic Programming for Argumentation-Based Decision Support in Private Law.  |
COMMA  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Gabriele Kern-Isberner |
Formal similarities and differences among qualitative conditional semantics.  |
Int. J. Approx. Reasoning  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Kern-Isberner |
Mining Data with Group Theoretical Means.  |
Encyclopedia of Data Warehousing and Mining  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Marc Finthammer, Christoph Beierle, Benjamin Berger, Gabriele Kern-Isberner |
An Implementation of Belief Change Operations Based on Probabilistic Conditional Logic.  |
LPNMR  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Kern-Isberner, Matthias Thimm, Marc Finthammer, Jens Fisseler |
Mining Default Rules from Statistical Data.  |
FLAIRS Conference  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Marc Finthammer, Christoph Beierle, Benjamin Berger, Gabriele Kern-Isberner |
Probabilistic Reasoning at Optimum Entropy with the MEcore System.  |
FLAIRS Conference  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Christoph Beierle, Gabriele Kern-Isberner |
A Conceptual Agent Model Based on a Uniform Approach to Various Belief Operations.  |
KI  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Gabriele Kern-Isberner |
On the Modelling of an Agent's Epistemic State and its Dynamic Changes.  |
ECEASST  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Salem Benferhat, Gabriele Kern-Isberner |
Editorial - Special issue on nonmonotonic and uncertain reasoning.  |
Int. J. Approx. Reasoning  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Didier Dubois, Angelo Gilio, Gabriele Kern-Isberner |
Probabilistic abduction without priors.  |
Int. J. Approx. Reasoning  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Gabriele Kern-Isberner |
Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen (4. Aufl.).  |
|
2008 |
RDF |
|
| 1 | Gabriele Kern-Isberner, Matthias Thimm, Marc Finthammer |
Qualitative Knowledge Discovery.  |
SDKB  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Gabriele Kern-Isberner, Nicole Koch |
A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description).  |
IJCAR  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Leopold, Gabriele Kern-Isberner, Gabriele Peters |
Belief revision with reinforcement learning for interactive object recognition.  |
ECAI  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Leopold, Gabriele Kern-Isberner, Gabriele Peters |
Combining Reinforcement Learning and Belief Revision - A Learning System for Active Vision.  |
BMVC  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Sven Hartmann, Gabriele Kern-Isberner (eds.) |
Foundations of Information and Knowledge Systems, 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings  |
FoIKS  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Gabriele Kern-Isberner |
Linking Iterated Belief Change Operations to Nonmonotonic Reasoning.  |
KR  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Manuela Ritterskamp, Gabriele Kern-Isberner |
Preference-Based Default Reasoning.  |
FLAIRS Conference  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Patrick Krümpelmann, Matthias Thimm, Manuela Ritterskamp, Gabriele Kern-Isberner |
Belief operations for motivated BDI agents.  |
AAMAS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Gabriele Kern-Isberner |
A Verified AsmL Implementation of Belief Revision.  |
ABZ  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Thimm, Gabriele Kern-Isberner |
On the Relationship of Defeasible Argumentation and Answer Set Programming.  |
COMMA  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Matthias Thimm, Gabriele Kern-Isberner |
A Distributed Argumentation Framework using Defeasible Logic Programming.  |
COMMA  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Gabriele Kern-Isberner, Dan Wu |
Editorial.  |
Int. J. Approx. Reasoning  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Fisseler, Gabriele Kern-Isberner, Christoph Beierle, Andreas Koch, Christian Müller |
Algebraic Knowledge Discovery Using Haskell.  |
PADL  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Kern-Isberner |
A conceptual framework for (iterated) revision, update, and nonmonotonic reasoning.  |
Formal Models of Belief Change in Rational Agents  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jens Fisseler, Gabriele Kern-Isberner, Christoph Beierle |
Learning Uncertain Rules with CONDORCKD.  |
FLAIRS Conference  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Marc Finthammer, Gabriele Kern-Isberner, Manuela Ritterskamp |
Resolving Inconsistencies in Probabilistic Knowledge Bases.  |
KI  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Kern-Isberner, Wilhelm Rödder |
Editorial.  |
Logic Journal of the IGPL  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo A. Falappa, Eduardo L. Fermé, Gabriele Kern-Isberner |
On the Logic of Theory Change: Relations Between Incision and Selection Functions.  |
ECAI  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Manfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, Christoph Beierle |
Computer Science Exercises in a Virtual University.  |
CSREA EEE  |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Didier Dubois, Angelo Gilio, Gabriele Kern-Isberner |
Probabilistic Abduction without Priors.  |
KR  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Christoph Beierle, Gabriele Kern-Isberner |
A Note on Comparing Semantics for Conditionals.  |
FLAIRS Conference  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Choh-Man Teng, Gabriele Kern-Isberner |
Foreword.  |
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Didier Dubois, Angelo Gilio, Gabriele Kern-Isberner |
Probabilistic Abduction Without Priors.  |
Belief Change in Rational Agents  |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Christoph Beierle, Oliver Dusso, Gabriele Kern-Isberner |
Using Answer Set Programming for a Decision Support System.  |
LPNMR  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Gabriele Kern-Isberner |
Footprints of Conditionals.  |
Mechanizing Mathematical Reasoning  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Kern-Isberner, Wilhelm Rödder, Friedhelm Kulmann (eds.) |
Conditionals, Information, and Inference, International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers  |
WCII  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Gabriele Kern-Isberner, Wilhelm Rödder |
Belief revision and information fusion on optimum entropy.  |
Int. J. Intell. Syst.  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Kern-Isberner, Thomas Lukasiewicz |
Combining probabilistic logic programming with the power of maximum entropy.  |
Artif. Intell.  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Kern-Isberner |
A Thorough Axiomatization of a Principle of Conditional Preservation in Belief Revision.  |
Ann. Math. Artif. Intell.  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Kern-Isberner, Jens Fisseler |
Knowledge Discovery by Reversing Inductive Knowledge Representation.  |
KR  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Wilhelm Rödder, Gabriele Kern-Isberner |
From information to probability: An axiomatic approach - Inference isinformation processing.  |
Int. J. Intell. Syst.  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Gabriele Kern-Isberner |
A Logical Study on Qualitative Default Reasoning with Probabilities.  |
LPAR  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Gabriele Kern-Isberner |
An Alternative View of Knowledge Discovery. (PDF / PS)  |
HICSS  |
2003 |
DBLP DOI BibTeX RDF |
probabilistic conditionals, inverse representation problem, data mining, knowledge representation, knowledge discovery, reasoning under uncertainty |
| 1 | Gabriele Kern-Isberner, Wilhelm Rödder |
Belief Revision and Information Fusion in a Probabilistic Environment.  |
FLAIRS Conference  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Wilhelm Rödder, Gabriele Kern-Isberner |
Self Learning or How to Make a Knowledge Base Curious about Itself.  |
KI  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Kern-Isberner, Wilhelm Rödder |
Fusing Probabilistic Information on Maximum Entropy.  |
KI  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Gabriele Kern-Isberner |
Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines.  |
Abstract State Machines  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Kern-Isberner |
Handling conditionals adequately in uncertain reasoning and belief revision.  |
Journal of Applied Non-Classical Logics  |
2002 |
DBLP BibTeX RDF |
|
| 1 | Marcelo A. Falappa, Gabriele Kern-Isberner, Guillermo Ricardo Simari |
Explanations, belief revision and defeasible reasoning.  |
Artif. Intell.  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Gabriele Kern-Isberner |
On the Interpretation of Uncertain Rules in Prepositional Logic.  |
IC-AI  |
2002 |
DBLP BibTeX RDF |
|
| 1 | Christoph Beierle, Gabriele Kern-Isberner |
Using Institutions for the Study of Qualitative and Quantitative Conditional Logics.  |
JELIA  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Kern-Isberner |
The Principle of Conditional Preservation in Belief Revision.  |
FoIKS  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Gabriele Kern-Isberner |
Looking at Probabilistic Conditionals from an Institutional Point of View.  |
WCII  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Kern-Isberner |
A Structural Approach to Default Reasoning.  |
KR  |
2002 |
DBLP BibTeX RDF |
|
| 1 | Gabriele Kern-Isberner |
Conditional indifference and conditional preservation.  |
Journal of Applied Non-Classical Logics  |
2001 |
DBLP BibTeX RDF |
|
| 1 | Gabriele Kern-Isberner |
Conditionals in Nonmonotonic Reasoning and Belief Revision - Considering Conditionals as Agents  |
|
2001 |
DOI RDF |
|
| 1 | Gabriele Kern-Isberner |
Handling Conditionals Adequately in Uncertain Reasoning.  |
ECSQARU  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Kern-Isberner |
Representing and Learning Conditional Information in Possibility Theory.  |
Fuzzy Days  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Kern-Isberner |
Conditional indifference and conditional preservation  |
CoRR  |
2000 |
DBLP BibTeX RDF |
|
| 1 | Christoph Beierle, Gabriele Kern-Isberner |
Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen.  |
|
2000 |
RDF |
|
| 1 | Gabriele Kern-Isberner |
Solving the Inverse Representation Problem.  |
ECAI  |
2000 |
DBLP BibTeX RDF |
|
| 1 | Gabriele Kern-Isberner |
Postulates for Conditional Belief Revision.  |
IJCAI  |
1999 |
DBLP BibTeX RDF |
|
| 1 | Thomas Lukasiewicz, Gabriele Kern-Isberner |
Probalilistic Logic Programming under Maximum Entropy.  |
ESCQARU  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Kern-Isberner |
Following Conditional Structures of Knowledge.  |
KI  |
1999 |
DBLP DOI BibTeX RDF |
Ramsey test, ordinal conditional functions, iterated revision, AGM theory, Belief revision, conditionals |
| 1 | Gabriele Kern-Isberner |
Characterizing the Principle of Minimum Cross-Entropy Within a Conditional-Logical Framework.  |
Artif. Intell.  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Kern-Isberner |
A note on conditional logics and entropy.  |
Int. J. Approx. Reasoning  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Kern-Isberner |
Nonmonotonic Reasoning in Probabilistics.  |
ECAI  |
1998 |
DBLP BibTeX RDF |
|
| 1 | Gabriele Kern-Isberner |
A Logically Sound Method for Uncertain Reasoning with Quantified Conditionals.  |
ECSQARU-FAPR  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Kern-Isberner |
A Conditional-Logical Approach to Minimum Cross-Entropy.  |
STACS  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Wilhelm Rödder, Gabriele Kern-Isberner |
Representation and Extraction of Information by Probabilistic Logic.  |
Inf. Syst.  |
1996 |
DBLP DOI BibTeX RDF |
|