Summary Report of The First International Competition on Computational Models of Argumentation
نویسندگان
چکیده
The University Repository is a digital collection of the research output of the University, available on Open Access. Copyright and Moral Rights for the items on this site are retained by the individual author and/or other copyright owners. Users may access full items free of charge; copies of full text items generally can be reproduced, displayed or performed and given to third parties in any format or medium for personal research or study, educational or not-for-profit purposes without prior permission or charge, provided:
منابع مشابه
Introducing the Second International Competition on Computational Models of Argumentation
Argumentation is a major topic in the study of artificial intelligence. In particular, the problem of solving certain reasoning tasks of Dung’s abstract argumentation frameworks is central to many advanced argumentation systems. The fact that problems to be solved are mostly intractable requires efficient algorithms and solvers, that are to be evaluated on meaningful benchmarks. In this report,...
متن کاملSystem Descriptions of the First International Competition on Computational Models of Argumentation (ICCMA'15)
LabSAT is a solver for computing several reasoning tasks in abstract argumentation frameworks. It enumerates extensions of the complete, preferred, stable and grounded semantics. Further, LabSAT solves the problem of deciding credulously and skeptically. The solver utilizes the labelling approach by Caminada and translates it into a boolean satisfiability problem (SAT).
متن کاملTowards Advanced Systems for Abstract Argumentation
Within the last years, and in particular due to the first edition of the International Competition on Computational Models of Argumentation (ICCMA) in 2015, the field of formal argumentation has seen an increasing number of systems for Dung’s abstract argumentation framework. However, the majority of the current approaches rely on reductions to other solving paradigms like SAT-solving and Answe...
متن کاملFoundations of Implementations for Formal Argumentation
We survey the current state of the art of general techniques, as well as specific software systems for solving tasks in abstract argumentation frameworks, structured argumentation frameworks, and approaches for visualizing and analysing argumentation. Furthermore, we discuss challenges and promising techniques such as parallel processing and approximation approaches. Finally, we address the iss...
متن کامل1 Foundations of Implementations for For - mal Argumentation Federico Cerutti
We survey the current state of the art of general techniques, as well as specific software systems for solving tasks in abstract argumentation frameworks, structured argumentation frameworks, and approaches for visualizing and analysing argumentation. Furthermore, we discuss challenges and promising techniques such as parallel processing and approximation approaches. Finally, we address the iss...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- AI Magazine
دوره 37 شماره
صفحات -
تاریخ انتشار 2016