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

Impressum | Privacy | FAQ