On the Combination of Argumentation Solvers into Parallel Portfolios

Mauro Vallati, Federico Cerutti, Massimiliano Giacomin

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

4 Citations (Scopus)


In the light of the increasing interest in efficient algorithms for solving abstract argumentation problems and the pervasive availability of multicore machines, a natural research issue is to combine existing argumentation solvers into parallel portfolios. In this work, we introduce six methodologies for the automatic configuration of parallel portfolios of argumentation solvers for enumerating the preferred extensions of a given framework. In particular, four methodologies aim at combining solvers in static portfolios, while two methodologies are designed for the dynamic configuration of parallel portfolios. Our empirical results demonstrate that the configuration of parallel portfolios is a fruitful way for exploiting multicore machines, and that the presented approaches outperform the state of the art of parallel argumentation solvers.
Original languageEnglish
Title of host publicationAI 2017: Advances in Artificial Intelligence
Subtitle of host publication30th Australasian Joint Conference, Melbourne, VIC, Australia, August 19–20, 2017, Proceedings
EditorsWei Peng, Damminda Alahakoon, Xiaodong Li
PublisherSpringer Verlag
Number of pages13
ISBN (Electronic)9783319630045
ISBN (Print)9783319630038
Publication statusPublished - 9 Jul 2017
Event30th Australasian Joint Conference on Artificial Intelligence - Melbourne, Australia
Duration: 19 Aug 201720 Aug 2017
Conference number: 30
https://link.springer.com/conference/ausai (Link to Conference Website )

Publication series

NameLecture Notes in Artificial Intelligence
PublisherSpringer Verlag
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference30th Australasian Joint Conference on Artificial Intelligence
Abbreviated titleAI'17
Internet address


Dive into the research topics of 'On the Combination of Argumentation Solvers into Parallel Portfolios'. Together they form a unique fingerprint.

Cite this