A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Assessment of benchmarks for abstract argumentation
2019
Argument & Computation
Preserved Fulltext
We first describe the benchmark suite from previous editions of the International Competition of Computational Models of Argumentation (ICCMA), and then briefly describe the benchmarks for non-Dung frameworks ...
In this paper, we provide an overview of the benchmarks that have been recently employed in Abstract Argumentation. ...
We also would like to thank Martin Caminada for useful comments on a draft of this contribution. ...
doi:10.3233/aac-192101
fatcat:bh6c6iwlk5adbk2adqll5xxp2q
ICCMA 2020 Content Announcement Page
2020
2020 8th International Conference on Control, Mechatronics and Automation (ICCMA)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
A major goal and feature of it is to bring academic scientists, engineers, and industry researchers together to exchange and share their experiences and research results about most aspects of control, ...
ICCMA has served a wide international academic audience with the first edition held in Sydney Romania talking about "Multi objectives optimization of the dynamic behavior in Robotics with LabVIEW instrumentation ...
The proceeding is a credit to a large group of people, and everyone should be proud of the outcome. ...
doi:10.1109/iccma51325.2020.9301583
fatcat:nex3fnouqffkzadpi5h7ax7kou
Design and Results of ICCMA 2021
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Other Versions
We describe the rules of the competition and the benchmark selection method that we used. After a brief presentation of the competitors, we give an overview of the results. ...
Since 2015, the International Competition on Computational Models of Argumentation (ICCMA) provides a systematic comparison of the different algorithms for solving some classical reasoning problems in ...
Conclusion This paper presents a short overview of the organization of ICCMA 2021 as well as the results of the competition. ...
arXiv:2109.08884v2
fatcat:zu7rhb5hxnflle6ll4ejsspmky
A preference-based approach to backbone computation with application to argumentation
2018
Proceedings of the 33rd Annual ACM Symposium on Applied Computing - SAC '18
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
as well as the winning approach of the recent ICCMA 2017 argumentation solver competition in the ideal semantics track. ...
In this paper, we propose a new backbone algorithm which makes use of a "SAT with preferences" solver, i.e., a SAT solver which is guaranteed to output a most preferred satisfying assignment w.r.t. a given ...
The work has been financially supported by Academy of Finland (grants 251170 COIN, 276412 , 284591, and 312662) and the Research Funds of the University of Helsinki. ...
doi:10.1145/3167132.3167230
dblp:conf/sac/PrevitiJ18
fatcat:lj7lvloyyjaujgirxeqia5saku
System Descriptions of the First International Competition on Computational Models of Argumentation (ICCMA'15)
[article]
2015
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
This volume contains the system description of the 18 solvers submitted to the First International Competition on Computational Models of Argumentation (ICCMA'15) and therefore gives an overview on state-of-the-art ...
of computational approaches to abstract argumentation problems. ...
The First International Competition on Computational Models of Argumen-
tation (ICCMA’15) has been conducted in the first half of 2015 and focused on
reasoning tasks in abstract argumentation frameworks ...
arXiv:1510.05373v1
fatcat:ll33crzcwfenll4v7yf4xae7ya
Design and Results of the Second International Competition on Computational Models of Argumentation
[article]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Argumentation is a major topic in the study of Artificial Intelligence. ...
This second edition maintains some of the design choices made in the first event, e.g. the I/O formats, the basic reasoning problems, and the organization into tasks and tracks. ...
We finally thank the TAFA'17 officials for the co-location of the event, and all ICCMA'17 contributors, who worked hard on their systems and benchmarks, and made the competition possible. ...
arXiv:1909.00621v1
fatcat:3grmrs5pybhmnn72kpfgnhdogy
On the Combination of Argumentation Solvers into Parallel Portfolios
[chapter]
2017
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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. ...
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 ...
Acknowledgement The authors would like to acknowledge the use of the University of Huddersfield Queensgate Grid in carrying out this work. ...
doi:10.1007/978-3-319-63004-5_25
fatcat:mccwklzg2baphciqzq7b62budi
The Prevention of Organised Crime Act 1998: The Need for Extraterritorial Jurisdiction to Prosecute the Higher Echelons of Those Involved in Rhino Poaching
2019
Potchefstroom Electronic Law Journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In this regard, South Africa has a number of laws that deal with the poaching of rhino horns. ...
A critique of the available statistics on rhino poaching follows, as does a suggestion that attention must be paid to the details in the statistical records to understand how desperate the situation is ...
International instruments
Convention on International Trade in Endangered Species of Wild Fauna and Flora (1973) ...
doi:10.17159/1727-3781/2019/v22i0a5194
fatcat:7vbqwjwxavbzvlzjjnhpgo5il4
ANN Based Sensor and Actuator Fault Detection in Nuclear Reactors
2020
2020 8th International Conference on Control, Mechatronics and Automation (ICCMA)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
In this paper, a brief overview of the Artificial Neural Network (ANN) based FDD method is presented. ...
A technique has been proposed analyzing two sensors data (power sensor and coolant sensor) to determine the sensor and actuator fault in a closed-loop in presence of robust (Proportional-Integral-Derivative ...
Figure 19 . 19 Actual coolant temperature during fault in actuator.
Figure 20 . 1 e 201 during fault in power actuator.
Figure 21 . 2 e 212 during fault in actuator.
time in the core. ...
doi:10.1109/iccma51325.2020.9301579
fatcat:2fl2hhd2ibdm5odnmuym3piwzy
Chinese Traffic Panels Detection and Recognition From Street-Level Images
2016
MATEC Web of Conferences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Finally, the symbols on traffic panels are recognized by means of a model named bag of spatial visual words. ...
However, detection and recognition of traffic panels containing much information, still remains to be a challenging problem. ...
Acknowledgements This work has been supported by the National Natural Science Foundation of China (NSFC) Grants 61271306. ...
doi:10.1051/matecconf/20164206001
fatcat:dye4iown5vbjtk2mumcxqzkwfy
Synthesizing Argumentation Frameworks from Examples
2019
The Journal of Artificial Intelligence Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In particular, realizability gives means of establishing exact conditions on when a given collection of subsets of arguments has an AF with exactly the given collection as its set of extensions under a ...
Argumentation is today a topical area of artificial intelligence (AI) research. ...
ACKNOWLEDGEMENTS Work funded by Academy of Finland, grants 251170 COIN, 276412, and 284591; and Research Funds of the University of Helsinki. ...
doi:10.1613/jair.1.11758
fatcat:34evu6suuzfezm6qixobyk5rzi
ASPARTIX-V19 - An Answer-set Programming based System for Abstract Argumentation
[article]
2021
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
In this paper we discuss extensions the ASPARTIX suite of systems has undergone for ICCMA'19. ...
ASPARTIX-V participated in this year's edition of the International Competition on Computational Models of Argumentation (ICCMA'19) in all classical (static) reasoning tasks. ...
The authors are grateful to a reviewer for suggesting directions for further improvements in the encodings. ...
doi:10.34726/1821
fatcat:klw4orppoje43kzamyxt7yrljq
An Efficient Java-Based Solver for Abstract Argumentation Frameworks: jArgSemSAT
2017
International journal on artificial intelligence tools
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
In this paper we provide and extensive description of jArgSemSAT, a Java re-implementation of ArgSemSAT. ...
Dung's argumentation frameworks are adopted in a variety of applications, from argument-mining, to intelligence analysis and legal reasoning. ...
Alice Toniolo-University of Aberdeenfor integrating jArgSemSAT within CISpaces. ...
doi:10.1142/s0218213017500026
fatcat:3xs5vl5jgjgqtc362wswl7wvau
Solving Set Optimization Problems by Cardinality Optimization via Weak Constraints with an Application to Argumentation
[article]
2016
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
As a showcase, the computation of preferred extensions of abstract argumentation frameworks using the proposed method is studied. ...
Optimization - minimization or maximization - in the lattice of subsets is a frequent operation in Artificial Intelligence tasks. ...
Acknowledgements The authors would like to acknowledge the use of the University of Huddersfield Queensgate Grid in carrying out this work. ...
arXiv:1612.07589v1
fatcat:ue6lbgmfk5hd3e6slqmeue2bsy
Accelerating colonic polyp detection using commodity graphics hardware
2013
2013 International Conference on Computer Medical Applications (ICCMA)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
We present a parallel implementation of an algorithm for the detection of colonic polyps from CT data sets. ...
implementation while being computed in a fraction of the time. ...
Another opportunity is to improve the curvature analysis by implementing a larger kernel which looks beyond the immediate neighbors of a given voxel [19] . ...
doi:10.1109/iccma.2013.6506147
fatcat:xieirrsr5jbcpgzmfsypw37b3y
« Previous
Showing results 1 — 15 out of 30 results