King's College London

Research portal

EqArgSolver – System Description

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

Original languageEnglish
Title of host publicationProceedings of the 4th Intl. Conference on Theory and Applications of Formal Argumentation
PublisherSpringer
Accepted/In press2017

King's Authors

Abstract

This paper provides a general overview of EqArgSolver, a solver for
enumeration and decision problems in argumentation theory. The solver
is implemented from the ground up as a
self-contained application in C++ without the use of any other
external solver (e.g., SAT, ASP, CSP) or libraries.

View graph of relations

© 2020 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454