CEGARTIX v0.4: A SAT-Based Counter-Example Guided Argumentation Reasoning Tool

CEGARTIX v0.4: A SAT-Based Counter-Example Guided Argumentation Reasoning Tool

Content
Grafik
Abstract

We present CEGARTIX in version 0.4 for the International Competition on Computational Models of Argumentation (ICCMA) 2015. We describe the main parts of the software architecture, the main ideas behind the algorithm, ICCMA 2015 specific adaptations, and how to obtain CEGARTIX.

Grafik Top
Authors
  • Dvořák, Wolfgang
  • Järvisalo, Matti
  • Wallner, Johannes Peter
  • Woltran, Stefan
Grafik Top
Shortfacts
Category
 Technical Report (Other)
Divisions
 Theory and Applications of Algorithms
Subjects
 Kuenstliche Intelligenz
Theoretische Informatik
Date
 2015
Official URL
 http://arxiv.org/abs/1510.05373
Export
Grafik Top
Universität Wien| Fakultät für Informatik | Währinger Straße 29 | 1090 Wien | T +43-1-4277-780 01 | Imprint | Webteam
EPrints Logo
CS is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.