---
title: "Reasoning over Argument-Incomplete AAFs in the Presence of Correlations"
authors:
  - "Bettina Fazzinga"
  - "Sergio Flesca"
  - "Filippo Furfaro"
doi: "10.24963/ijcai.2021/27"
url: "https://ijcai.org/proceedings/2021/27"
pdf: "https://ijcai.org/proceedings/2021/0027.pdf"
venue: "Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence"
year: 2021
pages: "189-195"
track: "Main Track"
keywords:
  - "Knowledge Representation and Reasoning: Computational Complexity of Reasoning"
  - "Agent-based and Multi-agent Systems: Agreement Technologies: Argumentation"
---

# Reasoning over Argument-Incomplete AAFs in the Presence of Correlations

Bettina Fazzinga, Sergio Flesca, Filippo Furfaro

*Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence*, pages 189-195. DOI: [10.24963/ijcai.2021/27](https://doi.org/10.24963/ijcai.2021/27)

## Abstract

We introduce  "argument-incomplete Abstract Argumentation Frameworks with dependencies", 
that extend the traditional 
abstract argumentation reasoning to the case where some arguments are uncertain 
and correlated through logical dependencies
(such as mutual exclusion, implication, etc.).
We characterize the complexities of the problems DSAT of deciding the satisfiability 
of the
dependencies and  PDVER of verifying extensions,
and show how they depend on the forms of dependencies and, for PDVER, also on the 
semantics of the extensions.