Gorgias-C: Extending Argumentation with Constraint Solving.
Auteurs : Noël V., Kakas A
Publication : In Erdem E., Lin F., Schaub T. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2009. Lecture Notes in Computer Science, vol 5753. Springer, Berlin, Heidelberg
GORGIAS-C is a system implementing a logic programming framework of argumentation that integrates together preference reasoning and constraint solving.
The framework of argumentation with preference reasoning [1,2] was first implemented in the GORGIAS system which hasmainly been used in the multi-agent domain [2,3,4], medical informatics [5] and network security [6].