University of Huddersfield
Il lavoro condiviso ha riguardato argomentazione computazionale e confronto tra conclusioni alternative. Le pubblicazioni collegate hanno approfondito questi temi attraverso modelli, metodi e valutazioni di ricerca.
Pubblicazioni e rapporti tecnici
Algorithms for computing the set of acceptable arguments
2025 · International Journal of Approximate Reasoning
An Efficient Algorithm for Semi-stable Extensions
2021 · Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Skeptical Reasoning with Preferred Semantics in Abstract Argumentation without Computing Preferred Extensions
2021 · IJCAI International Joint Conference on Artificial Intelligence
An efficient algorithm for admissible argumentation stages
2020 · CEUR Workshop Proceedings
An experimental analysis on the similarity of argumentation semantics
2020 · Argument and Computation
On computing the set of acceptable arguments in abstract argumentation
2020 · Frontiers in Artificial Intelligence and Applications
How we designed winning algorithms for abstract argumentation and which insight we attained
2019 · Artificial Intelligence
Predictive models and abstract argumentation: The case of high-complexity semantics
2019 · Knowledge Engineering Review
Enumerating preferred extensions using ASP domain heuristics: The ASPrMin solver
2018 · Frontiers in Artificial Intelligence and Applications
On the impact of configuration on abstract argumentation automated reasoning
2018 · International Journal of Approximate Reasoning
Unveiling the oracle: Artificial intelligence for the 21st century
2018 · Intelligent Decision Technologies
An Efficient Java-Based Solver for Abstract Argumentation Frameworks: JArgSemSAT
2017 · International Journal on Artificial Intelligence Tools
On the combination of argumentation solvers into parallel portfolios
2017 · Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Efficient and Off-The-Shelf Solver: jArgSemSAT
2016 · Frontiers in Artificial Intelligence and Applications
Generating structured argumentation frameworks: Afbenchgen2
2016 · Frontiers in Artificial Intelligence and Applications
JArgSemSAT: An efficient off-the-shelf solver for abstract argumentation frameworks
2016 · Proceedings of the International Conference on Knowledge Representation and Reasoning
On the effectiveness of automated configuration in abstract argumentation reasoning
2016 · Frontiers in Artificial Intelligence and Applications
Solving set Optimization problems by cardinality Optimization with an application to argumentation
2016 · Frontiers in Artificial Intelligence and Applications
Summary report of the first international competition on computational models of argumentation
2016 · AI Magazine
Where are we now? State of the art and future trends of solvers for hard argumentation problems
2016 · Frontiers in Artificial Intelligence and Applications
Exploiting parallelism for hard problems in abstract argumentation
2015 · Proceedings of the National Conference on Artificial Intelligence
A Benchmark Framework for a Computational Argumentation Competition
2014 · Frontiers in Artificial Intelligence and Applications
A SCC recursive meta-algorithm for computing preferred labellings in abstract argumentation
2014 · Proceedings of the International Conference on Knowledge Representation and Reasoning
Algorithm Selection for Preferred Extensions Enumeration
2014 · Frontiers in Artificial Intelligence and Applications
ArgSemSAT: Solving Argumentation Problems Using SAT
2014 · Frontiers in Artificial Intelligence and Applications
Argumentation extensions enumeration as a constraint satisfaction problem: A performance overview
2014 · CEUR Workshop Proceedings
Argumentation frameworks features: An initial study
2014 · Frontiers in Artificial Intelligence and Applications
Computing preferred extensions in abstract argumentation: A SAT-based approach
2014 · Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Generating Challenging Benchmark AFs
2014 · Frontiers in Artificial Intelligence and Applications