{"type":"ScholarlyArticle","title":"Reasoning over Argument-Incomplete AAFs in the Presence of Correlations","authors":[{"name":"Bettina Fazzinga","slug":"bettina-fazzinga","given":"Bettina","family":"Fazzinga","affiliation":""},{"name":"Sergio Flesca","slug":"sergio-flesca","given":"Sergio","family":"Flesca","affiliation":""},{"name":"Filippo Furfaro","slug":"filippo-furfaro","given":"Filippo","family":"Furfaro","affiliation":""}],"abstract":"We introduce  \"argument-incomplete Abstract Argumentation Frameworks with dependencies\", \r\nthat extend the traditional \r\nabstract argumentation reasoning to the case where some arguments are uncertain \r\nand correlated through logical dependencies\r\n(such as mutual exclusion, implication, etc.).\r\nWe characterize the complexities of the problems DSAT of deciding the satisfiability \r\nof the\r\ndependencies and  PDVER of verifying extensions,\r\nand show how they depend on the forms of dependencies and, for PDVER, also on the \r\nsemantics of the extensions.","doi":"10.24963/ijcai.2021/27","url":"https://ijcai.org/proceedings/2021/27","pdf":"https://ijcai.org/proceedings/2021/0027.pdf","markdown":"https://ijcai.org/proceedings/2021/27.md","bibtex":"https://ijcai.org/proceedings/2021/bibtex/27","volume":{"slug":"2021","title":"Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2021","url":"https://ijcai.org/proceedings/2021/","year":2021,"location":"Montreal","dates":"19-27 August 2021","editors":"Prof. Zhi-Hua Zhou","isbn":"978-0-9992411-9-6","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2021"},"section":"Agent-based and Multi-agent Systems","track":"Main Track","number":27,"pages":{"first":189,"last":195},"keywords":["Knowledge Representation and Reasoning: Computational Complexity of Reasoning","Agent-based and Multi-agent Systems: Agreement Technologies: Argumentation"],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}