Filters








30 Hits in 1.7 sec

Assessment of benchmarks for abstract argumentation

Jean-Guy Mailly, Marco Maratea
2019 Argument & Computation  
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)  
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]

Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit
2021 arXiv   pre-print
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

Alessandro Previti, Matti Järvisalo
2018 Proceedings of the 33rd Annual ACM Symposium on Applied Computing - SAC '18  
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]

Matthias Thimm, Serena Villata
2015 arXiv   pre-print
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]

Sarah A. Gaggl and Thomas Linsbichler and Marco Maratea and Stefan Woltran
2019 arXiv   pre-print
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]

Mauro Vallati, Federico Cerutti, Massimiliano Giacomin
2017 Lecture Notes in Computer Science  
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

Robert Doya Nanima
2019 Potchefstroom Electronic Law Journal  
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

Shohan Banerjee, Jiamei Deng, Chris Gorse, Vineet Vajpayee, Victor Becerra, S. R. Shimjith
2020 2020 8th International Conference on Control, Mechatronics and Automation (ICCMA)  
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

Yajie Chen, Linlin Huang, P. Plapper, M. Guo, S. Suhag
2016 MATEC Web of Conferences  
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

Andreas Niskanen, Johannes Wallner, Matti Järvisalo
2019 The Journal of Artificial Intelligence Research  
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]

Wolfgang Dvorak, Anna Rapberger, Johannes Wallner, Stefan Woltran
2021
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

Federico Cerutti, Mauro Vallati, Massimiliano Giacomin
2017 International journal on artificial intelligence tools  
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]

Wolfgang Faber, Mauro Vallati, Federico Cerutti, Massimiliano Giacomin
2016 arXiv   pre-print
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

D. Williams, V. Codreanu, J. B. T. M. Roerdink, Po Yang, Baoquan Liu, Feng Dong, A. Chiarini
2013 2013 International Conference on Computer Medical Applications (ICCMA)  
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