A general framework for preferences in answer set programming.
|
Artificial Intelligence |
2023 |
0 |
Shedding new light on the foundations of abstract argumentation: Modularization and weak admissibility.
|
Artificial Intelligence |
2022 |
0 |
Comparing Weak Admissibility Semantics to their Dung-style Counterparts (Extended Abstract).
|
IJCAI |
2021 |
0 |
Handling and measuring inconsistency in non-monotonic logics.
|
Artificial Intelligence |
2020 |
3 |
Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic Reasoning From Conditional Belief Bases.
|
KR |
2020 |
17 |
Comparing Weak Admissibility Semantics to their Dung-style Counterparts - Reduct, Modularization, and Strong Equivalence in Abstract Argumentation.
|
KR |
2020 |
11 |
Revisiting the Foundations of Abstract Argumentation - Semantics Based on Weak Admissibility and Weak Defense.
|
AAAI |
2020 |
27 |
Strong inconsistency.
|
Artificial Intelligence |
2019 |
13 |
Extension Removal in Abstract Argumentation - An Axiomatic Approach.
|
AAAI |
2019 |
12 |
Multi-valued GRAPPA.
|
JELIA |
2019 |
1 |
Measuring Strong Inconsistency.
|
AAAI |
2018 |
9 |
Weighted Abstract Dialectical Frameworks.
|
AAAI |
2018 |
19 |
Reactive multi-context systems: Heterogeneous reasoning in dynamic environments.
|
Artificial Intelligence |
2018 |
0 |
Strong Syntax Splitting for Iterated Belief Revision.
|
IJCAI |
2017 |
21 |
Strong Inconsistency in Nonmonotonic Reasoning.
|
IJCAI |
2017 |
12 |
Solving Advanced Argumentation Problems with Answer-Set Programming.
|
AAAI |
2017 |
0 |
Inconsistency Management in Reactive Multi-context Systems.
|
JELIA |
2016 |
2 |
Measuring Inconsistency in Answer Set Programs.
|
JELIA |
2016 |
13 |
Translation-Based Revision and Merging for Minimal Horn Reasoning.
|
ECAI |
2016 |
2 |
Preface.
|
IJCAI |
2016 |
0 |
asprin: Customizing Answer Set Preferences without a Headache.
|
AAAI |
2015 |
97 |
AGM Meets Abstract Argumentation: Expansion and Revision for Dung Frameworks.
|
IJCAI |
2015 |
50 |
GRAPPA: A Semantical Framework for Graph-Based Argument Processing.
|
ECAI |
2014 |
27 |
Multi-Context Systems for Reactive Reasoning in Dynamic Environments.
|
ECAI |
2014 |
49 |
Abstract Dialectical Frameworks Revisited.
|
IJCAI |
2013 |
180 |
Relating the Semantics of Abstract Dialectical Frameworks and Standard AFs.
|
IJCAI |
2011 |
51 |
Managed Multi-Context Systems.
|
IJCAI |
2011 |
90 |
State Defaults and Ramifications in the Unifying Action Calculus.
|
KR |
2010 |
17 |
Representing Preferences Among Sets.
|
AAAI |
2010 |
33 |
Nonmonotonic Tools for Argumentation.
|
JELIA |
2010 |
5 |
Abstract Dialectical Frameworks.
|
KR |
2010 |
265 |
Preferences, Contexts and Answer Sets.
|
ICLP |
2007 |
17 |
Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems.
|
AAAI |
2007 |
231 |
Contextual Default Reasoning.
|
IJCAI |
2007 |
94 |
Dynamic Interactions between Goals and Beliefs.
|
IJCAI |
2007 |
26 |
Planning with Prioritized Goals.
|
KR |
2006 |
15 |
Prioritized Component Systems.
|
AAAI |
2005 |
8 |
Complex Preferences for Answer Set Optimization.
|
KR |
2004 |
46 |
A Rank Based Description Language for Qualitative Preferences.
|
ECAI |
2004 |
67 |
Qualitative choice logic.
|
Artificial Intelligence |
2004 |
120 |
Answer Set Optimization.
|
IJCAI |
2003 |
145 |
Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs.
|
JELIA |
2002 |
71 |
Qualitative Choice Logic.
|
KR |
2002 |
0 |
Declarative Representation of Revision Strategies.
|
ECAI |
2000 |
0 |
Preferred Answer Sets for Extended Logic Programs.
|
Artificial Intelligence |
1999 |
288 |
Preferred Answer Sets for Extended Logic Programs.
|
KR |
1998 |
0 |
Well-Founded Semantics for Extended Logic Programs with Dynamic Preferences.
|
JAIR |
1996 |
158 |
Reasoning about Priorities in Default Logic.
|
AAAI |
1994 |
188 |
A Reconstruction of Rescher' s Theory of Formal Disputation Based on Default Logic.
|
ECAI |
1994 |
39 |
Adding Priorities and Specificity to Default Logic.
|
JELIA |
1994 |
152 |
Skeptical Reason Maintenance and Belief Revision.
|
Artificial Intelligence |
1993 |
26 |
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 |
508 |
On the Relation Between Truth Maintenance and Autoepistemic Logic.
|
IJCAI |
1989 |
40 |
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 |
17 |