Gabriele Kern-Isberner

Orcid: 0000-0001-8689-5391

Affiliations:
  • Technical University of Dortmund, Germany


According to our database1, Gabriele Kern-Isberner authored at least 253 papers between 1996 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Core c-Representations and c-Core Closure for Conditional Belief Bases.
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

Decomposing Constraint Networks for Calculating c-Representations.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023
On Establishing Robust Consistency in Answer Set Programs.
Theory Pract. Log. Program., September, 2023

Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks.
Artif. Intell., April, 2023

Activation-based Conditional Inference.
FLAP, 2023

Epistemic State Mappings among Ranking Functions and Total Preorders.
FLAP, 2023

Sorting Strategies for Interactive Conflict Resolution in ASP.
Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023

A kinematics principle for iterated revision.
Artif. Intell., 2023

Extending c-Representations and c-Inference for Reasoning with Infeasible Worlds.
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

Rational Closure Extension in SPO-Representable Inductive Inference Operators.
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

Prioritizing Answer Sets Based on Conditional Expert Knowledge.
Proceedings of the Thirty-Sixth International Florida Artificial Intelligence Research Society Conference, 2023

An Interactive Modelling Environment for Designing Warehouse Layouts Based on ASP.
Proceedings of the Thirty-Sixth International Florida Artificial Intelligence Research Society Conference, 2023

Conditionals, Infeasible Worlds, and Reasoning with System W.
Proceedings of the Thirty-Sixth International Florida Artificial Intelligence Research Society Conference, 2023

On the Cognitive Logic of Human Propositional Reasoning: Merging Ranking Functions.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2023

Implementing Bounded Revision via Lexicographic Revision and C-revision.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

Conditional Syntax Splitting for Non-monotonic Inference Operators.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022
A Conditional Perspective on the Logic of Iterated Belief Contraction.
CoRR, 2022

From Forgetting Signature Elements to Forgetting Formulas in Epistemic States.
Proceedings of the Scalable Uncertainty Management - 15th International Conference, 2022

Conditional Syntax Splitting, Lexicographic Entailment and the Drowning Effect.
Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, 2022

Towards Causality-Based Conflict Resolution in Answer Set Programs.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

Revision by Comparison for Ranking Functions.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Conditional Independence for Iterated Belief Revision.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Possibilistic Logic Underlies Abstract Dialectical Frameworks.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Lexicographic Entailment, Syntax Splitting and the Drowning Problem.
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

Realisability of Rankings-based Semantics.
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

Explaining Argument Acceptance in ADFs.
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

Conditional Abstract Dialectical Frameworks.
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

Conditional Inference and Activation of Knowledge Entities in ACT-R.
CoRR, 2021

Forgetting Formulas and Signature Elements in Epistemic States.
CoRR, 2021

On Limited Non-Prioritised Belief Revision Operators with Dynamic Scope.
CoRR, 2021

Ranking kinematics for revising by contextual information.
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

Towards a framework of hansson's descriptor revision for conditionals.
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

Revision and Conditional Inference for Abstract Dialectical Frameworks.
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

A Brief Introduction Into Activation-Based Conditional Inference.
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

Conditional Descriptor Revision and Its Modelling by a CSP.
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

Ranking Extensions in Abstract Argumentation.
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Establish Coherence in Logic Programs Modelling Expert Knowledge via Argumentation.
Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

System Z for Conditional Belief Bases with Positive and Negative Information.
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

Semantic Splitting of Conditional Belief Bases.
Proceedings of the Logic, Computation and Rigorous Methods, 2021

Focused Inference and System P.
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

Syntax Splitting for Iterated Contractions.
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

Generalized Ranking Kinematics for Iterated Belief Revision.
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

A Conditional Perspective for Iterated Belief Contraction.
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

Cognitive Logics - Features, Formalisms, and Challenges.
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

An Epistemic Interpretation of Abstract Dialectical Argumentation.
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

Rational Inference Patterns.
Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019

Belief Change Properties of Forgetting Operations over Ranking Functions.
Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019

Argumentation-Based Explanations for Answer Sets Using ADF.
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

Axiomatic Evaluation of Epistemic Forgetting Operators.
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
Advanced Solving Technology for Dynamic and Reactive Applications.
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

Probabilistic Belief Revision via Similarity of Worlds Modulo Evidence.
Proceedings of the KI 2018: Advances in Artificial Intelligence, 2018

Kinds and Aspects of Forgetting in Common-Sense Knowledge and Belief Management.
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

Decision Support Core System for Cancer Therapies Using ASP-HEX.
Proceedings of the Thirty-First International Florida Artificial Intelligence Research Society Conference, 2018

Comparing Approaches to Qualitative Data Mining.
Proceedings of the Thirty-First International Florida Artificial Intelligence Research Society Conference, 2018

Towards a Formal Foundation of Cognitive Architectures.
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

Rational Inference Patterns Based on Conditional Logic.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
Formal Nonmonotonic Theories and Properties of Human Defeasible Reasoning.
Minds Mach., 2017

Reasoning with Imperfect Information and Knowledge.
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

What kind of independence do we need for multiple iterated belief change?
J. Appl. Log., 2017

Plausible reasoning and plausibility monitoring in language comprehension.
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

Strong Syntax Splitting for Iterated Belief Revision.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

On Transformations and Normal Forms of Conditional Knowledge Bases.
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

A Semantics for Conditionals with Default Negation.
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
Dynamics of Knowledge and Belief.
J. Appl. Log., 2016

CP- and OCF-networks - a comparison.
Fuzzy Sets Syst., 2016

Belief change and argumentation in multi-agent scenarios.
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

Simulating Human Inferences in the Light of New Information: A Formal Analysis.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

When Should Learning Agents Switch to Explicit Knowledge?
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

Propositional Probabilistic Reasoning at Maximum Entropy Modulo Theories.
Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference, 2016

A Formal Model of Plausibility Monitoring in Language Comprehension.
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

An Approach to Qualitative Belief Change Modulo Ontic Strength.
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

Extending and Completing Probabilistic Knowledge and Beliefs Without Bias.
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

Using inductive reasoning for completing OCF-networks.
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

Qualitative Probabilistic Inference with Default Inheritance.
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

Multiple Iterated Belief Revision Without Independence.
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

A System Z-like Approach for First-Order Default Reasoning.
Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

2014
Structural Inference from Conditional Knowledge Bases.
Stud Logica, 2014

LEG Networks for Ranking Functions.
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Probabilistic Knowledge Representation Using Gröbner Basis Theory.
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2014

Reasoning on Secrecy Constraints under Uncertainty to Classify Possible Actions.
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

Angerona - A Flexible Multiagent Framework for Knowledge-Based Agents.
Proceedings of the Multi-Agent Systems - 12th European Conference, 2014

On Controversiality of Arguments and Stratified Labelings.
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
Stratified Belief Bases Revision with Argumentative Inference.
J. Philos. Log., 2013

A novel approach for connecting temporal-ontologies with blood flow simulations.
J. Biomed. Informatics, 2013

Belief Change and Argumentation in Multi-Agent Scenarios (Dagstuhl Seminar 13231).
Dagstuhl Reports, 2013

Stratified Labelings for Abstract Argumentation.
CoRR, 2013

Secrecy Preserving BDI Agents Based on Answerset Programming.
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

Intensional Combination of Rankings for OCF-Networks.
Proceedings of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference, 2013

On the Problem of Reversing Relational Inductive Knowledge Representation.
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

Aspects of Universitarian Distance Teaching and Online Learning.
Künstliche Intell., 2012

Prioritized and Non-prioritized Multiple Change on Belief Bases.
J. Philos. Log., 2012

On probabilistic inference in relational conditional logics.
Log. J. IGPL, 2012

Editorial: Relational approaches to knowledge representation and learning.
Log. J. IGPL, 2012

Semantical investigations into nonmonotonic and probabilistic logics.
Ann. Math. Artif. Intell., 2012

Belief Base Change Operations for Answer Set Programming.
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

Conditional Objects Revisited: Variants and Model Translations.
Proceedings of the Twenty-Fifth International Florida Artificial Intelligence Research Society Conference, 2012

A Ranking Semantics for First-Order Conditionals.
Proceedings of the ECAI 2012, 2012

2011
On the evolving relation between Belief Revision and Argumentation.
Knowl. Eng. Rev., 2011

A Constraint Logic Programming Approach for Computing Ordinal Conditional Functions
CoRR, 2011

Argonauts: a working system for motivated cooperative agents.
Ann. Math. Artif. Intell., 2011

Preface.
Ann. Math. Artif. Intell., 2011

Selective Revision by Deductive Argumentation.
Proceedings of the Theorie and Applications of Formal Argumentation, 2011

Motivating Agents in Unreliable Environments: A Computational Model.
Proceedings of the Multiagent System Technologies - 9th German Conference, 2011

On Influence and Contractions in Defeasible Logic Programming.
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

A Default Logical Semantics for Defeasible Argumentation.
Proceedings of the Twenty-Fourth International Florida Artificial Intelligence Research Society Conference, 2011

Relational Probabilistic Conditional Reasoning at Maximum Entropy.
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

ABA: Argumentation Based Agents.
Proceedings of the Argumentation in Multi-Agent Systems - 8th International Workshop, 2011

2010
Preference Fusion for Default Reasoning Beyond System Z.
J. Autom. Reason., 2010

Editorial: Dynamics of knowledge and belief.
Log. J. IGPL, 2010

Novel Semantical Approaches to Relational Probabilistic Conditionals.
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

A System for Relational Probabilistic Reasoning on Maximum Entropy.
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

Automated Reasoning for Relational Probabilistic Knowledge Representation.
Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

2009
Mining Data with Group Theoretical Means.
Proceedings of the Encyclopedia of Data Warehousing and Mining, Second Edition (4 Volumes), 2009

Formal similarities and differences among qualitative conditional semantics.
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

A Conceptual Agent Model Based on a Uniform Approach to Various Belief Operations.
Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009

Mining Default Rules from Statistical Data.
Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, 2009

Probabilistic Reasoning at Optimum Entropy with the MEcore System.
Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, 2009

Belief Revision and Argumentation Theory.
Proceedings of the Argumentation in Artificial Intelligence, 2009

2008
Probabilistic abduction without priors.
Int. J. Approx. Reason., 2008

Editorial - Special issue on nonmonotonic and uncertain reasoning.
Int. J. Approx. Reason., 2008

On the Modelling of an Agent's Epistemic State and its Dynamic Changes.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Qualitative Knowledge Discovery.
Proceedings of the Semantics in Data and Knowledge Bases, Third International Workshop, 2008

Linking Iterated Belief Change Operations to Nonmonotonic Reasoning.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Preference-Based Default Reasoning.
Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, 2008

Belief revision with reinforcement learning for interactive object recognition.
Proceedings of the ECAI 2008, 2008

On the Relationship of Defeasible Argumentation and Answer Set Programming.
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2008, 2008

A Distributed Argumentation Framework using Defeasible Logic Programming.
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

Belief operations for motivated BDI agents.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

A Verified AsmL Implementation of Belief Revision.
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
Editorial.
Int. J. Approx. Reason., 2007

Algebraic Knowledge Discovery Using Haskell.
Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007

Resolving Inconsistencies in Probabilistic Knowledge Bases.
Proceedings of the KI 2007: Advances in Artificial Intelligence, 2007

Learning Uncertain Rules with CONDORCKD.
Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, 2007

A conceptual framework for (iterated) revision, update, and nonmonotonic reasoning.
Proceedings of the Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007

2006
Editorial.
Log. J. IGPL, 2006

A Note on Comparing Semantics for Conditionals.
Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, 2006

An Extendable System for the Specification and Generation of Interactive Self-tests.
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
Foreword.
Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2005

Using Answer Set Programming for a Decision Support System.
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

Modelling and Implementing a Knowledge Base for Checking Medical Invoices with DLV.
Proceedings of the Nonmonotonic Reasoning, 2005

Footprints of Conditionals.
Proceedings of the Mechanizing Mathematical Reasoning, 2005

2004
Belief revision and information fusion on optimum entropy.
Int. J. Intell. Syst., 2004

A Thorough Axiomatization of a Principle of Conditional Preservation in Belief Revision.
Ann. Math. Artif. Intell., 2004

Combining probabilistic logic programming with the power of maximum entropy.
Artif. Intell., 2004

Knowledge Discovery by Reversing Inductive Knowledge Representation.
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

A Logical Study on Qualitative Default Reasoning with Probabilities.
Proceedings of the Logic for Programming, 2003

Self Learning or How to Make a Knowledge Base Curious about Itself.
Proceedings of the KI 2003: Advances in Artificial Intelligence, 2003

Fusing Probabilistic Information on Maximum Entropy.
Proceedings of the KI 2003: Advances in Artificial Intelligence, 2003

An Alternative View of Knowledge Discovery.
Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003

Belief Revision and Information Fusion in a Probabilistic Environment.
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
Handling conditionals adequately in uncertain reasoning and belief revision.
J. Appl. Non Class. Logics, 2002

Explanations, belief revision and defeasible reasoning.
Artif. Intell., 2002

Looking at Probabilistic Conditionals from an Institutional Point of View.
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

Using Institutions for the Study of Qualitative and Quantitative Conditional Logics.
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

The Principle of Conditional Preservation in Belief Revision.
Proceedings of the Foundations of Information and Knowledge Systems, 2002

2001
Conditional indifference and conditional preservation.
J. Appl. Non Class. Logics, 2001

Representing and Learning Conditional Information in Possibility Theory.
Proceedings of the Computational Intelligence, 2001

Handling Conditionals Adequately in Uncertain Reasoning.
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
Following Conditional Structures of Knowledge.
Proceedings of the KI-99: Advances in Artificial Intelligence, 1999

Postulates for Conditional Belief Revision.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

Probalilistic Logic Programming under Maximum Entropy.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1999

1998
A note on conditional logics and entropy.
Int. J. Approx. Reason., 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
A Conditional-Logical Approach to Minimum Cross-Entropy.
Proceedings of the STACS 97, 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27, 1997

A Logically Sound Method for Uncertain Reasoning with Quantified Conditionals.
Proceedings of the Qualitative and Quantitative Practical Reasoning, 1997

1996
Representation and Extraction of Information by Probabilistic Logic.
Inf. Syst., 1996

Interpreting a contingency table by rules.
Int. J. Intell. Syst., 1996


  Loading...