Name Venue Year citations
Generalized Safe Conditional Syntax Splitting of Belief Bases. IJCAI 2025 0
Decomposing Constraint Networks for Calculating c-Representations. AAAI 2024 0
Total Preorders vs Ranking Functions under Belief Revision - the Dynamics of Empty Layers. KR 2024 6
Conditional Splittings of Belief Bases and Nonmonotonic Inference with c-Representations. KR 2024 2
Splitting Techniques for Conditional Belief Bases in the Context of c-Representations. JELIA 2023 1
Sorting Strategies for Interactive Conflict Resolution in ASP. ICLP 2023 0
Rational Closure Extension in SPO-Representable Inductive Inference Operators. JELIA 2023 0
Conditional Syntax Splitting for Non-monotonic Inference Operators. AAAI 2023 12
Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks. Artificial Intelligence 2023 4
Implementing Bounded Revision via Lexicographic Revision and C-revision. AAAI 2023 0
A kinematics principle for iterated revision. Artificial Intelligence 2023 0
Lexicographic Entailment, Syntax Splitting and the Drowning Problem. IJCAI 2022 4
Revision by Comparison for Ranking Functions. IJCAI 2022 1
Possibilistic Logic Underlies Abstract Dialectical Frameworks. IJCAI 2022 5
Conditional Abstract Dialectical Frameworks. AAAI 2022 3
Conditional Independence for Iterated Belief Revision. IJCAI 2022 7
Revision and Conditional Inference for Abstract Dialectical Frameworks. KR 2021 1
Ranking Extensions in Abstract Argumentation. IJCAI 2021 14
Syntax Splitting for Iterated Contractions, Ignorations, and Revisions on Ranking Functions Using Selection Strategies. JELIA 2021 3
Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models. Artificial Intelligence 2021 21
Conditional Descriptor Revision and Its Modelling by a CSP. JELIA 2021 2
Focused Inference and System P. AAAI 2021 2
Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic Reasoning From Conditional Belief Bases. KR 2020 37
Cognitive Logics - Features, Formalisms, and Challenges. ECAI 2020 5
Syntax Splitting for Iterated Contractions. KR 2020 5
A Conditional Perspective for Iterated Belief Contraction. ECAI 2020 0
Counting Strategies for the Probabilistic Description Logic 𝓐ℒ𝒞 JELIA 2019 0
Towards a Formal Foundation of Cognitive Architectures. Cognitive Science 2018 6
Axiomatizing a Qualitative Principle of Conditional Preservation for Iterated Belief Change. KR 2018 6
Rational Inference Patterns Based on Conditional Logic. AAAI 2018 10
Strong Syntax Splitting for Iterated Belief Revision. IJCAI 2017 35
Skeptical, Weakly Skeptical, and Credulous Inference Based on Preferred Ranking Functions. ECAI 2016 22
Simulating Human Inferences in the Light of New Information: A Formal Analysis. IJCAI 2016 16
LEG Networks for Ranking Functions. JELIA 2014 8
A Ranking Semantics for First-Order Conditionals. ECAI 2012 27
Belief Base Change Operations for Answer Set Programming. JELIA 2012 15
A Constructive Approach to Independent and Evidence Retaining Belief Revision by General Information Sets. IJCAI 2011 9
ABA: Argumentation Based Agents. ECAI 2010 11
Novel Semantical Approaches to Relational Probabilistic Conditionals. KR 2010 55
Belief operations for motivated BDI agents. AAMAS 2008 9
Belief revision with reinforcement learning for interactive object recognition. ECAI 2008 13
Linking Iterated Belief Change Operations to Nonmonotonic Reasoning. KR 2008 37
Probabilistic Abduction without Priors. KR 2006 14
On the Logic of Theory Change: Relations Between Incision and Selection Functions. ECAI 2006 35
Combining probabilistic logic programming with the power of maximum entropy. Artificial Intelligence 2004 88
Knowledge Discovery by Reversing Inductive Knowledge Representation. KR 2004 15
A Logical Study on Qualitative Default Reasoning with Probabilities. LPAR 2003 2
Explanations, belief revision and defeasible reasoning. Artificial Intelligence 2002 128
Using Institutions for the Study of Qualitative and Quantitative Conditional Logics. JELIA 2002 9
A Structural Approach to Default Reasoning. KR 2002 5
Solving the Inverse Representation Problem. ECAI 2000 19
Postulates for Conditional Belief Revision. IJCAI 1999 44
Characterizing the Principle of Minimum Cross-Entropy Within a Conditional-Logical Framework. Artificial Intelligence 1998 108
Nonmonotonic Reasoning in Probabilistics. ECAI 1998 2
Copyright ©2019 Universität Würzburg

Impressum | Privacy | FAQ