Gabriele Kern-Isberner
Orcid: 0000-0001-8689-5391Affiliations:
- Technical University of Dortmund, Germany
According to our database1,
Gabriele Kern-Isberner
authored at least 260 papers
between 1996 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on dl.acm.org
On csauthors.net:
Bibliography
2025
Int. J. Approx. Reason., 2025
2024
Extraction of Conditional Belief Bases and the System Z Ranking Model From Multilayer Perceptrons for Binary Classification.
Proceedings of the 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024) co-located with 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), 2024
Ranking-based Defeasible Reasoning for Restricted First-Order Conditionals Applied to Description Logics.
Proceedings of the 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024) co-located with 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), 2024
Total Preorders vs Ranking Functions under Belief Revision - the Dynamics of Empty Layers.
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024
Conditional Splittings of Belief Bases and Nonmonotonic Inference with c-Representations.
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024
Proceedings of the Foundations of Information and Knowledge Systems, 2024
Propositional Variable Forgetting and Marginalization: Semantically, Two Sides of the Same Coin.
Proceedings of the Foundations of Information and Knowledge Systems, 2024
Syntax Splitting and Reasoning from Weakly Consistent Conditional Belief Bases with c-Inference.
Proceedings of the Foundations of Information and Knowledge Systems, 2024
Intrinsic Prioritization in Answer Set Programming Based on an Adapted Notion of Tolerance.
Proceedings of the Thirty-Seventh International Florida Artificial Intelligence Research Society Conference, 2024
Ranking-based Conditional Semantics for Defeasible Subsumptions (Abstract of Invited Talk).
Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
Theory Pract. Log. Program., September, 2023
Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks.
Artif. Intell., April, 2023
Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023
Proceedings of the 21st International Workshop on Non-Monotonic Reasoning co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) and co-located with the 36th International Workshop on Description Logics (DL 2023), 2023
Splitting Techniques for Conditional Belief Bases in the Context of c-Representations.
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023
Comparison and Incorporation of Reasoning and Learning Approaches for Cancer Therapy Research.
Proceedings of the German Medical Data Sciences 2023 - Science. Close to People., 2023
Proceedings of the Thirty-Sixth International Florida Artificial Intelligence Research Society Conference, 2023
Proceedings of the Thirty-Sixth International Florida Artificial Intelligence Research Society Conference, 2023
Proceedings of the Thirty-Sixth International Florida Artificial Intelligence Research Society Conference, 2023
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
Proceedings of the Scalable Uncertainty Management - 15th International Conference, 2022
Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, 2022
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Integrating Cognitive Principles From ACT-R Into Probabilistic Conditional Reasoning by Taking the Example of Maximum Entropy Reasoning.
Proceedings of the Thirty-Fifth International Florida Artificial Intelligence Research Society Conference, 2022
Proceedings of the Fourth International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 9th International Conference on Computational Models of Argument (COMMA 2022), 2022
Proceedings of the 1st International Workshop on Argumentation for eXplainable AI co-located with 9th International Conference on Computational Models of Argument (COMMA 2022), 2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
Special issue from the 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2019).
Int. J. Approx. Reason., 2021
Ann. Math. Artif. Intell., 2021
On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics.
Ann. Math. Artif. Intell., 2021
Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models.
Artif. Intell., 2021
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021
Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), 2021
On Properties of Epistemic State Mappings among Ranking Functions and Total Preorders.
Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), 2021
Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021
Syntax Splitting for Iterated Contractions, Ignorations, and Revisions on Ranking Functions Using Selection Strategies.
Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021
Proceedings of the Thirty-Fourth International Florida Artificial Intelligence Research Society Conference, 2021
Selection Strategies for Inductive Reasoning From Conditional Belief Bases and for Belief Change Respecting the Principle of Conditional Preservation.
Proceedings of the Thirty-Fourth International Florida Artificial Intelligence Research Society Conference, 2021
Proceedings of the Logic, Computation and Rigorous Methods, 2021
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
2020
Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic Reasoning From Conditional Belief Bases.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020
Context-Based Inferences from Probabilistic Conditionals with Default Negation at Maximum Entropy.
Proceedings of the Thirty-Third International Florida Artificial Intelligence Research Society Conference, 2020
Proceedings of the Thirty-Third International Florida Artificial Intelligence Research Society Conference, 2020
On the Correspondence between Abstract Dialectical Frameworks and Nonmonotonic Conditional Logics.
Proceedings of the Thirty-Third International Florida Artificial Intelligence Research Society Conference, 2020
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020
Proceedings of the Computational Models of Argument, 2020
2019
A Brief Survey on Forgetting from a Knowledge Representation and Reasoning Perspective.
Künstliche Intell., 2019
Towards a General Framework for Kinds of Forgetting in Common-Sense Belief Management.
Künstliche Intell., 2019
The Role of Non-monotonic Reasoning in Future Development of Artificial Intelligence (Dagstuhl Perspectives Workshop 19072).
Dagstuhl Reports, 2019
Conditional Logics and Conditional Reasoning: New Joint Perspectives (Dagstuhl Seminar 19032).
Dagstuhl Reports, 2019
Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019
Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019
Counting Strategies for the Probabilistic Description Logic 𝓐ℒ𝒞<sup>ME</sup> Under the Principle of Maximum Entropy.
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019
Introduction to the Minitrack on Intentional Forgetting in Organizations and Information Systems.
Proceedings of the 52nd Hawaii International Conference on System Sciences, 2019
The Complexity of the Consistency Problem in the Probabilistic Description Logic 𝓐ℒ𝒞<sup>ME</sup>.
Proceedings of the Frontiers of Combining Systems - 12th International Symposium, 2019
Integrating Typed Model Counting into First-Order Maximum Entropy Computations and the Connection to Markov Logic Networks.
Proceedings of the Thirty-Second International Florida Artificial Intelligence Research Society Conference, 2019
Proceedings of the Thirty-Second International Florida Artificial Intelligence Research Society Conference, 2019
Maximum Entropy Calculations for the Probabilistic Description Logic $$\mathcal {ALC}^{\mathsf{ME}}$$.
Proceedings of the Description Logic, Theory Combination, and All That, 2019
2018
Künstliche Intell., 2018
Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem.
Ann. Math. Artif. Intell., 2018
Axiomatizing a Qualitative Principle of Conditional Preservation for Iterated Belief Change.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018
Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges.
Proceedings of the KI 2018: Advances in Artificial Intelligence, 2018
Proceedings of the KI 2018: Advances in Artificial Intelligence, 2018
Proceedings of the KI 2018: Advances in Artificial Intelligence, 2018
A Generalized Iterative Scaling Algorithm for Maximum Entropy Model Computations Respecting Probabilistic Independencies.
Proceedings of the Foundations of Information and Knowledge Systems, 2018
Proceedings of the Thirty-First International Florida Artificial Intelligence Research Society Conference, 2018
Proceedings of the Thirty-First International Florida Artificial Intelligence Research Society Conference, 2018
Proceedings of the 40th Annual Meeting of the Cognitive Science Society, 2018
From Concepts in Non-Monotonic Reasoning to High-Level Implementations Using Abstract State Machines and Functional Programming.
Proceedings of the Models: Concepts, Theory, Logic, Reasoning and Semantics, 2018
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
2017
Minds Mach., 2017
Many Facets of Reasoning Under Uncertainty, Inconsistency, Vagueness, and Preferences: A Brief Survey.
Künstliche Intell., 2017
Special Issue on Challenges for Reasoning under Uncertainty, Inconsistency, Vagueness, and Preferences - A Topical Snapshot.
Künstliche Intell., 2017
J. Appl. Log., 2017
Int. J. Approx. Reason., 2017
System Z<sup>FO</sup>: Default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases.
Int. J. Approx. Reason., 2017
A Framework for Versatile Knowledge and Belief Management Operations in a Probabilistic Conditional Logic.
FLAP, 2017
Probabilistic knowledge representation using the principle of maximum entropy and Gröbner basis theory.
Ann. Math. Artif. Intell., 2017
First-Order Typed Model Counting for Probabilistic Conditional Reasoning at Maximum Entropy.
Proceedings of the Scalable Uncertainty Management - 11th International Conference, 2017
Cellular Transport Systems Improved: Achieving Efficient Operations with Answer Set Programming.
Proceedings of the Computational Intelligence - 9th International Joint Conference, 2017
Various Approaches to the Application of Answer Set Programming in Order-picking Systems with Intelligent Vehicles.
Proceedings of the 9th International Joint Conference on Computational Intelligence, 2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Proceedings of the Advances in Artificial Intelligence: From Theory to Practice, 2017
Basic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals.
Proceedings of the GCAI 2017, 2017
Iterated contraction of propositions and conditionals under the principle of conditional preservation.
Proceedings of the GCAI 2017, 2017
Typed Model Counting and Its Application to Probabilistic Conditional Reasoning at Maximum Entropy.
Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, 2017
Towards An Understanding of What is Learned: Extracting Multi-Abstraction-Level Knowledge from Learning Agents.
Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, 2017
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2017
A Transformation System for Unique Minimal Normal Forms of Conditional Knowledge Bases.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2017
An Agent-Based Learning Approach for Finding and Exploiting Heuristics in Unknown Environments.
Proceedings of the Thirteenth International Symposium on Commonsense Reasoning, 2017
On the Ontological Modelling of Co-medication and Drug Interactions in Medical Cancer Therapy Regimens for a Clinical Decision Support System.
Proceedings of the 30th IEEE International Symposium on Computer-Based Medical Systems, 2017
2016
Ann. Math. Artif. Intell., 2016
Using Ontological Knowledge About Active Pharmaceutical Ingredients for a Decision Support System in Medical Cancer Therapy.
Proceedings of the KI 2016: Advances in Artificial Intelligence, 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the GCAI 2016. 2nd Global Conference on Artificial Intelligence, September 19, 2016
Skeptical Inference Based on C-Representations and Its Characterization as a Constraint Satisfaction Problem.
Proceedings of the Foundations of Information and Knowledge Systems, 2016
Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference, 2016
Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference, 2016
Minimal Tolerance Pairs for System Z-Like Ranking Functions for First-Order Conditional Knowledge Bases.
Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference, 2016
Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-16) co-located with the 22th European Conference on Artificial Intelligence (ECAI 2016), 2016
Skeptical, Weakly Skeptical, and Credulous Inference Based on Preferred Ranking Functions.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016
2015
Qualitative and Semi-Quantitative Inductive Reasoning with Conditionals - Technical Project Report.
Künstliche Intell., 2015
Künstliche Intell., 2015
A concept for the evolution of relational probabilistic belief states and the computation of their changes under optimum entropy semantics.
J. Appl. Log., 2015
Relational Probabilistic Conditionals and Their Instantiations under Maximum Entropy Semantics for First-Order Knowledge Bases.
Entropy, 2015
Multi-disciplinary approaches to reasoning with imperfect information and knowledge - a synthesis and a roadmap of challenges (Dagstuhl Seminar 15221).
Dagstuhl Reports, 2015
Proceedings of the 5th Workshop on Dynamics of Knowledge and Belief (DKB-2015) and the 4th Workshop KI & Kognition (KIK-2015) co-located with 38th German Conference on Artificial Intelligence (KI-2015), 2015
Proceedings of the Twenty-Eighth International Florida Artificial Intelligence Research Society Conference, 2015
A Software System for the Computation, Visualization, and Comparison of Conditional Structures for Relational Probabilistic Knowledge Bases.
Proceedings of the Twenty-Eighth International Florida Artificial Intelligence Research Society Conference, 2015
Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015
2014
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2014
Proceedings of the Foundations of Information and Knowledge Systems, 2014
A Novel Methodology for Processing Probabilistic Knowledge Bases Under Maximum Entropy.
Proceedings of the Twenty-Seventh International Florida Artificial Intelligence Research Society Conference, 2014
Observations on the Minimality of Ranking Functions for Qualitative Conditional Knowledge Bases and Their Computation.
Proceedings of the Twenty-Seventh International Florida Artificial Intelligence Research Society Conference, 2014
Proceedings of the Multi-Agent Systems - 12th European Conference, 2014
Proceedings of the Computational Models of Argument, 2014
Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen, 5. Auflage.
Computational intelligence, SpringerVieweg, ISBN: 978-3-8348-1896-6, 2014
2013
J. Biomed. Informatics, 2013
Dagstuhl Reports, 2013
Proceedings of the Multiagent System Technologies - 11th German Conference, 2013
Changes of Relational Probabilistic Belief States and Their Computation under Optimum Entropy Semantics.
Proceedings of the KI 2013: Advances in Artificial Intelligence, 2013
Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs.
Proceedings of the Declarative Programming and Knowledge Management, 2013
Proceedings of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference, 2013
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2013
A Case Study on the Application of Probabilistic Conditional Modelling and Reasoning to Clinical Patient Data in Neurosurgery.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2013
Using probabilistic logic and the principle of maximum entropy for the analysis of clinical brain tumor data.
Proceedings of the 26th IEEE International Symposium on Computer-Based Medical Systems, 2013
2012
Comparing and Evaluating Approaches to Probabilistic Reasoning: Theory, Implementation, and Applications.
Trans. Large Scale Data Knowl. Centered Syst., 2012
Künstliche Intell., 2012
J. Philos. Log., 2012
Log. J. IGPL, 2012
Ann. Math. Artif. Intell., 2012
Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012
Stepwise Optimization of a Constraint Logic Program for the Computation of Ranking Functions.
Proceedings of the 57. Jahrestagung der Deutschen Gesellschaft für Medizinische Informatik, Biometrie und Epidemiologie, 42. Jahrestagung der Gesellschaft für Informatik, Was bewegt uns in der/die Zukunft?, 2012
Proceedings of the Twenty-Fifth International Florida Artificial Intelligence Research Society Conference, 2012
2011
Knowl. Eng. Rev., 2011
CoRR, 2011
Ann. Math. Artif. Intell., 2011
Proceedings of the Theorie and Applications of Formal Argumentation, 2011
Proceedings of the Multiagent System Technologies - 9th German Conference, 2011
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011
Evaluation and Comparison Criteria for Approaches to Probabilistic Relational Knowledge Representation.
Proceedings of the KI 2011: Advances in Artificial Intelligence, 2011
A Declarative Approach for Computing Ordinal Conditional Functions Using Constraint Logic Programming.
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011
A Constructive Approach to Independent and Evidence Retaining Belief Revision by General Information Sets.
Proceedings of the IJCAI 2011, 2011
On the computation of ranking functions for default rules - A challenge for constraint programming.
Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011
Proceedings of the Twenty-Fourth International Florida Artificial Intelligence Research Society Conference, 2011
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2011
Probabilistic Logics in Expert Systems: Approaches, Implementations, and Applications.
Proceedings of the Database and Expert Systems Applications, 2011
2010
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010
Probabilistic Relational Learning for Medical Diagnosis Based on Ion Mobility Spectrometry.
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods, 2010
The Relationship of the Logic of Big-Stepped Probabilities to Standard Probabilistic Logics.
Proceedings of the Foundations of Information and Knowledge Systems, 2010
Proceedings of the Twenty-Third International Florida Artificial Intelligence Research Society Conference, 2010
Using Defeasible Logic Programming for Argumentation-Based Decision Support in Private Law.
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2010, 2010
Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010
2009
Proceedings of the Encyclopedia of Data Warehousing and Mining, Second Edition (4 Volumes), 2009
Int. J. Approx. Reason., 2009
An Implementation of Belief Change Operations Based on Probabilistic Conditional Logic.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009
Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, 2009
Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, 2009
Proceedings of the Argumentation in Artificial Intelligence, 2009
2008
Int. J. Approx. Reason., 2008
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008
Proceedings of the Semantics in Data and Knowledge Bases, Third International Workshop, 2008
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008
Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, 2008
Proceedings of the ECAI 2008, 2008
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2008, 2008
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2008, 2008
A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description).
Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008
Combining Reinforcement Learning and Belief Revision - A Learning System for Active Vision.
Proceedings of the British Machine Vision Conference 2008, Leeds, UK, September 2008, 2008
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008
Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008
Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen, 4. Auflage.
Vieweg, ISBN: 978-3-8348-0504-1, 2008
2007
Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007
Proceedings of the KI 2007: Advances in Artificial Intelligence, 2007
Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, 2007
Proceedings of the Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007
2006
Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, 2006
Proceedings of the Technologies for E-Learning and Digital Entertainment, 2006
On the Logic of Theory Change: Relations Between Incision and Selection Functions.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006
Computer Science Exercises in a Virtual University.
Proceedings of the 2006 International Conference on E-Learning, 2006
Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen, 3. Auflage.
Computational intelligence, Vieweg, ISBN: 978-3-8348-0010-7, 2006
2005
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005
Generierung interaktiver Selbsttestaufgaben im Bereich der formalen Grundlagen der Informatik aus XML-Spezifikationen.
Proceedings of the DeLFI 2005: 3. Deutsche e-Learning Fachtagung Informatik, 2005
Proceedings of the Nonmonotonic Reasoning, 2005
Proceedings of the Mechanizing Mathematical Reasoning, 2005
2004
Int. J. Intell. Syst., 2004
A Thorough Axiomatization of a Principle of Conditional Preservation in Belief Revision.
Ann. Math. Artif. Intell., 2004
Artif. Intell., 2004
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004
2003
From information to probability: An axiomatic approach - Inference isinformation processing.
Int. J. Intell. Syst., 2003
Proceedings of the Logic for Programming, 2003
Proceedings of the KI 2003: Advances in Artificial Intelligence, 2003
Proceedings of the KI 2003: Advances in Artificial Intelligence, 2003
Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003
Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, 2003
Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines.
Proceedings of the Abstract State Machines, 2003
Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen, 2. Auflage.
Computational intelligence, Vieweg, ISBN: 978-3-528-15723-4, 2003
2002
J. Appl. Non Class. Logics, 2002
Proceedings of the Conditionals, Information, and Inference, International Workshop, 2002
A Structural Approach to Default Reasoning.
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002
On the Interpretation of Uncertain Rules in Prepositional Logic.
Proceedings of the International Conference on Artificial Intelligence, 2002
Proceedings of the Foundations of Information and Knowledge Systems, 2002
2001
J. Appl. Non Class. Logics, 2001
Proceedings of the Computational Intelligence, 2001
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2001
Conditionals in Nonmonotonic Reasoning and Belief Revision - Considering Conditionals as Agents
Lecture Notes in Computer Science 2087, Springer, ISBN: 3-540-42367-2, 2001
2000
Solving the Inverse Representation Problem.
Proceedings of the ECAI 2000, 2000
Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen.
Computational intelligence, Vieweg, ISBN: 978-3-528-05723-7, 2000
1999
Proceedings of the KI-99: Advances in Artificial Intelligence, 1999
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1999
1998
Characterizing the Principle of Minimum Cross-Entropy Within a Conditional-Logical Framework.
Artif. Intell., 1998
Nonmonotonic Reasoning in Probabilistics.
Proceedings of the 13th European Conference on Artificial Intelligence, 1998
1997
Proceedings of the STACS 97, 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27, 1997
Proceedings of the Qualitative and Quantitative Practical Reasoning, 1997
1996
Inf. Syst., 1996