A general framework for preferences in answer set programming.
|
Artificial Intelligence |
2023 |
5 |
Shedding new light on the foundations of abstract argumentation: Modularization and weak admissibility.
|
Artificial Intelligence |
2022 |
19 |
Comparing Weak Admissibility Semantics to their Dung-style Counterparts (Extended Abstract).
|
IJCAI |
2021 |
0 |
Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic Reasoning From Conditional Belief Bases.
|
KR |
2020 |
37 |
Handling and measuring inconsistency in non-monotonic logics.
|
Artificial Intelligence |
2020 |
13 |
Comparing Weak Admissibility Semantics to their Dung-style Counterparts - Reduct, Modularization, and Strong Equivalence in Abstract Argumentation.
|
KR |
2020 |
27 |
Revisiting the Foundations of Abstract Argumentation - Semantics Based on Weak Admissibility and Weak Defense.
|
AAAI |
2020 |
50 |
Strong inconsistency.
|
Artificial Intelligence |
2019 |
27 |
Extension Removal in Abstract Argumentation - An Axiomatic Approach.
|
AAAI |
2019 |
16 |
Multi-valued GRAPPA.
|
JELIA |
2019 |
2 |
Weighted Abstract Dialectical Frameworks.
|
AAAI |
2018 |
27 |
Measuring Strong Inconsistency.
|
AAAI |
2018 |
10 |
Reactive multi-context systems: Heterogeneous reasoning in dynamic environments.
|
Artificial Intelligence |
2018 |
0 |
Strong Syntax Splitting for Iterated Belief Revision.
|
IJCAI |
2017 |
35 |
Strong Inconsistency in Nonmonotonic Reasoning.
|
IJCAI |
2017 |
12 |
Solving Advanced Argumentation Problems with Answer-Set Programming.
|
AAAI |
2017 |
0 |
Translation-Based Revision and Merging for Minimal Horn Reasoning.
|
ECAI |
2016 |
3 |
Measuring Inconsistency in Answer Set Programs.
|
JELIA |
2016 |
17 |
Inconsistency Management in Reactive Multi-context Systems.
|
JELIA |
2016 |
2 |
Preface.
|
IJCAI |
2016 |
0 |
AGM Meets Abstract Argumentation: Expansion and Revision for Dung Frameworks.
|
IJCAI |
2015 |
55 |
asprin: Customizing Answer Set Preferences without a Headache.
|
AAAI |
2015 |
129 |
GRAPPA: A Semantical Framework for Graph-Based Argument Processing.
|
ECAI |
2014 |
31 |
Multi-Context Systems for Reactive Reasoning in Dynamic Environments.
|
ECAI |
2014 |
48 |
Abstract Dialectical Frameworks Revisited.
|
IJCAI |
2013 |
0 |
Relating the Semantics of Abstract Dialectical Frameworks and Standard AFs.
|
IJCAI |
2011 |
49 |
Managed Multi-Context Systems.
|
IJCAI |
2011 |
0 |
Abstract Dialectical Frameworks.
|
KR |
2010 |
302 |
State Defaults and Ramifications in the Unifying Action Calculus.
|
KR |
2010 |
17 |
Nonmonotonic Tools for Argumentation.
|
JELIA |
2010 |
5 |
Representing Preferences Among Sets.
|
AAAI |
2010 |
41 |
Preferences, Contexts and Answer Sets.
|
ICLP |
2007 |
16 |
Contextual Default Reasoning.
|
IJCAI |
2007 |
84 |
Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems.
|
AAAI |
2007 |
233 |
Dynamic Interactions between Goals and Beliefs.
|
IJCAI |
2007 |
24 |
Planning with Prioritized Goals.
|
KR |
2006 |
15 |
Prioritized Component Systems.
|
AAAI |
2005 |
7 |
Qualitative choice logic.
|
Artificial Intelligence |
2004 |
128 |
A Rank Based Description Language for Qualitative Preferences.
|
ECAI |
2004 |
74 |
Complex Preferences for Answer Set Optimization.
|
KR |
2004 |
46 |
Answer Set Optimization.
|
IJCAI |
2003 |
135 |
Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs.
|
JELIA |
2002 |
67 |
Qualitative Choice Logic.
|
KR |
2002 |
2 |
Declarative Representation of Revision Strategies.
|
ECAI |
2000 |
0 |
Preferred Answer Sets for Extended Logic Programs.
|
Artificial Intelligence |
1999 |
295 |
Preferred Answer Sets for Extended Logic Programs.
|
KR |
1998 |
0 |
Well-Founded Semantics for Extended Logic Programs with Dynamic Preferences.
|
JAIR |
1996 |
149 |
Reasoning about Priorities in Default Logic.
|
AAAI |
1994 |
195 |
Adding Priorities and Specificity to Default Logic.
|
JELIA |
1994 |
154 |
A Reconstruction of Rescher' s Theory of Formal Disputation Based on Default Logic.
|
ECAI |
1994 |
38 |
Skeptical Reason Maintenance and Belief Revision.
|
Artificial Intelligence |
1993 |
25 |
An Abductive Framework for General Logic Programs and other Nonmonotonic Systems.
|
IJCAI |
1993 |
20 |
Cumulative Default Logic: In Defense of Nonmonotonic Inference Rules.
|
Artificial Intelligence |
1991 |
215 |
Preferred Subtheories: An Extended Logical Framework for Default Reasoning.
|
IJCAI |
1989 |
537 |
On the Relation Between Truth Maintenance and Autoepistemic Logic.
|
IJCAI |
1989 |
41 |
The Logic of Inheritance in Frame Systems.
|
IJCAI |
1987 |
61 |
Tweety - Still Flying: Some Remarks on Abnormal Birds Applicable Rules and a Default Prover.
|
AAAI |
1986 |
19 |