Contactez-nous

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].

The Acceptability Semantics for Logic Programs
The Acceptability Semantics for Logic Programs
Learning Non-Monotonic Logic Programs: Learning Exceptions
Learning Non-Monotonic Logic Programs: Learning Exceptions
Logic Programming without Negation as Failure
Logic Programming without Negation as Failure

And you, how do you take your business decisions?