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


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)CrossRefGoogle 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)MATHMathSciNetGoogle 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)Google 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)Google 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