Gorgias-C: Extending Argumentation with Constraint Solving

  • Victor Noël
  • Antonis Kakas
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5753)


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


Logic Program Logic Programming Argumentation Framework Constraint Solver Constraint Logic Programming 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Kakas, A.C., Mancarella, P., Dung, P.M.: The acceptability semantics for logic programs. In: ICLP, pp. 504–519 (1994)Google Scholar
  2. 2.
    Kakas, A., Moraitis, P.: Argumentation Based Decision Making for Autonomous Agents. In: AAMAS 2003, pp. 883–890 (2003)Google Scholar
  3. 3.
    Kakas, A., Maudet, N., Moraitis, P.: Modular Representation of Agent Interaction Rules through Argumentation. Autonomous Agents and Multi-Agent Systems 11(2), 189–206 (2005)CrossRefzbMATHGoogle Scholar
  4. 4.
    Kakas, A., Mancarella, P., Sadri, F., Stathis, K., Toni, F.: Computational Logic Foundations of KGP Agents. Journal of Artificial Intelligence Research 33, 285–348 (2008)MathSciNetzbMATHGoogle Scholar
  5. 5.
    Letia, I.A., Acalovschi, M.: Achieving Competence by Argumentation on Rules for Roles. In: Gleizes, M.-P., Omicini, A., Zambonelli, F. (eds.) ESAW 2004. LNCS (LNAI), vol. 3451, pp. 45–59. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  6. 6.
    Bandara, A.K., Kakas, A.C., Lupu, E.C., Russo, A.: Using Argumentation Logic for Firewall Policy Specification and Analysis. In: State, R., van der Meer, S., O’Sullivan, D., Pfeifer, T. (eds.) DSOM 2006. LNCS, vol. 4269, pp. 185–196. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  7. 7.
    Jaffar, J., Lassez, J.L.: Constraint Logic Programming. In: POPL 1987, pp. 111–119 (1987)Google Scholar
  8. 8.
    Moura, P.: Logtalk - Design of an Object-Oriented Logic Programming Language. PhD thesis, University of Beira Interior, Portugal (September 2003)Google Scholar
  9. 9.
    Triska, M., Neumerkel, U., Wielemaker, J.: A Generalised Finite Domain Constraint Solver for SWI-Prolog. In: WLP 2008, pp. 89–91 (2008)Google Scholar
  10. 10.
    Denecker, M., Kakas, A.: Abduction in logic programming. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol. 2407, pp. 402–436. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  11. 11.
    Noël, V., Kakas, A.: Extending argumentation with constraint solving. Technical report, University of Cyprus (2009)Google Scholar
  12. 12.
    Moura, P.: Logtalk 2.6 Documentation. Technical Report DMI 2000/1, University of Beira Interior, Portugal (July 2000)Google Scholar
  13. 13.
    Kakas, A., Mourlas, C.: ACLP: Flexible Solutions to Complex Problems. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol. 1265, pp. 388–399. Springer, Heidelberg (1997)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Victor Noël
    • 1
  • Antonis Kakas
    • 2
  1. 1.Institut de Recherche en Informatique de ToulouseUniversité de ToulouseToulouse CedexFrance
  2. 2.Department of Computer ScienceUniversity of CyprusSt. NicosiaCyprus

Personalised recommendations