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 |