On the Equivalence between Logic Programming Semantics and Argumentation Semantics

  • Martin Caminada
  • Samy Sá
  • João Alcântara
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7958)


In this paper, we re-examine the connection between formal argumentation and logic programming from the perspective of semantics. We note that one particular translation from logic programs to instantiated argumentation (the one described by Wu, Caminada and Gabbay) can serve as a basis for describing various equivalences between logic programming semantics and argumentation semantics. In particular, we are able to provide a formal connection between regular semantics for logic programming and preferred semantics for formal argumentation. We also show that there exist logic programming semantics (L-stable semantics) that cannot be captured by any abstract argumentation semantics.


Logic Program Logic Programming Conclusion Level Argumentation Theory Argumentation Framework 
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.
    Dung, P.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence 77, 321–357 (1995)MathSciNetzbMATHCrossRefGoogle Scholar
  2. 2.
    Wu, Y., Caminada, M., Gabbay, D.: Complete extensions in argumentation coincide with 3-valued stable models in logic programming. Studia Logica 93(1-2), 383–403 (2009); Special issue: new ideas in argumentation theoryGoogle Scholar
  3. 3.
    Caminada, M., Amgoud, L.: On the evaluation of argumentation formalisms. Artificial Intelligence 171(5-6), 286–310 (2007)MathSciNetzbMATHCrossRefGoogle Scholar
  4. 4.
    Prakken, H.: An abstract framework for argumentation with structured arguments. Argument and Computation 1(2), 93–124 (2010)CrossRefGoogle Scholar
  5. 5.
    Modgil, S., Prakken, H.: A general account of argumentation with preferences. Artificial Intellligence (in press, 2013)Google Scholar
  6. 6.
    Gorogiannis, N., Hunter, A.: Instantiating abstract argumentation with classical logic arguments: Postulates and properties. Artificial Intelligence 175(9-10), 1479–1497 (2011)MathSciNetzbMATHCrossRefGoogle Scholar
  7. 7.
    Caminada, M., Gabbay, D.: A logical account of formal argumentation. Studia Logica 93(2-3), 109–145 (2009); Special issue: new ideas in argumentation theoryGoogle Scholar
  8. 8.
    Przymusinski, T.: The well-founded semantics coincides with the three-valued stable semantics. Fundamenta Informaticae 13(4), 445–463 (1990)MathSciNetzbMATHGoogle Scholar
  9. 9.
    Eiter, T., Leone, N., Saccá, D.: On the partial semantics for disjunctive deductive databases. Ann. Math. Artif. Intell. 19(1-2), 59–96 (1997)zbMATHCrossRefGoogle Scholar
  10. 10.
    Caminada, M.: On the issue of reinstatement in argumentation. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol. 4160, pp. 111–123. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  11. 11.
    Wu, Y., Caminada, M.: A labelling-based justification status of arguments. Studies in Logic 3(4), 12–29 (2010)Google Scholar
  12. 12.
    Caminada, M., Sá, S., Alcântara, J.: On the equivalence between logic programming semantics and argumentation semantics. Technical Report ABDN–CS–13–01, University of Aberdeen (2013)Google Scholar
  13. 13.
    Baroni, P., Caminada, M., Giacomin, M.: An introduction to argumentation semantics. Knowledge Engineering Review 26(4), 365–410 (2011)CrossRefGoogle Scholar
  14. 14.
    Pollock, J.: Cognitive Carpentry. A Blueprint for How to Build a Person. MIT Press, Cambridge (1995)Google Scholar
  15. 15.
    Jakobovits, H., Vermeir, D.: Robust semantics for argumentation frameworks. Journal of Logic and Computation 9(2), 215–261 (1999)MathSciNetzbMATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Martin Caminada
    • 1
    • 2
  • Samy Sá
    • 3
  • João Alcântara
    • 3
  1. 1.Université du LuxembourgLuxembourg
  2. 2.University of AberdeenUK
  3. 3.Universidade Federal do CearáBrazil

Personalised recommendations