Skip to main content
SpringerLink
Log in

The Formal Argumentation Libraries of Tweety

  • Conference paper
  • First Online:
Book cover Theory and Applications of Formal Argumentation (TAFA 2017)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 10757))

  • 355 Accesses

Abstract

We provide an overview on the argumentation libraries of the Tweety library collection to artificial intelligence and knowledge representation. These libraries comprise of implementations to abstract argumentation frameworks, as well as the most popular approaches to structured argumentation, and various further aspects. We briefly sketch the functionalities of these libraries and give some pointers to how they can be used.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    http://tweetyproject.org.

  2. 2.

    http://argumentationcompetition.org.

  3. 3.

    http://maven.apache.org.

  4. 4.

    The class name DungTheory was chosen in favour of the class name AbstractArgumentationFramework in order to avoid confusion with the Java term abstract which is usually used as a prefix of an abstract class.

  5. 5.

    http://tweetyproject.org/w/delp.

References

  1. Baroni, P., Caminada, M., Giacomin, M.: An introduction to argumentation semantics. Knowl. Eng. Rev. 26(4), 365–410 (2011)

    Article  Google Scholar 

  2. Besnard, P., Hunter, A.: Knowledgebase compilation for efficient logical argumentation. In: Proceedings of the 10th International Conference on Knowledge Representation (KR 2006), pp. 123–133. AAAI Press (2006)

    Google Scholar 

  3. Besnard, P., Hunter, A.: Elements of Argumentation. The MIT Press, Cambridge (2008)

    Book  Google Scholar 

  4. Bonzon, E., Delobelle, J., Konieczny, S., Maudet, N.: A comparative study of ranking-based semantics for abstract argumentation. In: Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI 2016) (2016)

    Google Scholar 

  5. Brewka, G., Ellmauthaler, S., Strass, H., Wallner, J.P., Woltran, S.: Abstract dialectical frameworks revisited. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013) (2013)

    Google Scholar 

  6. Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell. 77(2), 321–358 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  7. Egly, U., Gaggl, S.A., Woltran, S.: ASPARTIX: implementing argumentation frameworks using answer-set programming. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 734–738. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-89982-2_67

    Chapter  Google Scholar 

  8. Garcia, A., Simari, G.R.: Defeasible logic programming: an argumentative approach. Theory Pract. Log. Program. 4(1–2), 95–138 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  9. Gelfond, M., Leone, N.: Logic programming and knowledge representation - the A-prolog perspective. Artif. Intell. 138(1–2), 3–38 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  10. Grossi, D., Modgil, S.: On the graded acceptability of arguments. In: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), pp. 868–874 (2015)

    Google Scholar 

  11. Hansson, S.O.: A Textbook of Belief Dynamics. Kluwer Academic Publishers, Norwell (2001)

    Google Scholar 

  12. Hunter, A., Thimm, M.: On partial information and contradictions in probabilistic abstract argumentation. In: Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016), April 2016

    Google Scholar 

  13. Hunter, A., Thimm, M.: Optimization of dialectical outcomes in dialogical argumentation. Int. J. Approx. Reason. 78, 73–102 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  14. Leite, J., Martins, J.: Social abstract argumentation. In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011) (2011)

    Google Scholar 

  15. Li, H., Oren, N., Norman, T.J.: Probabilistic argumentation frameworks. In: Proceedings of the First International Workshop on the Theory and Applications of Formal Argumentation (TAFA 2011) (2011)

    Google Scholar 

  16. Modgil, S., Prakken, H.: The ASPIC+ framework for structured argumentation: a tutorial. Argum. Comput. 5, 31–62 (2014)

    Article  Google Scholar 

  17. Reiter, R.: A logic for default reasoning. Artif. Intell. 13, 81–132 (1980)

    Article  MathSciNet  MATH  Google Scholar 

  18. Rienstra, T., Thimm, M., Oren, N.: Opponent models with uncertainty for strategic argumentation. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), August 2013

    Google Scholar 

  19. Thimm, M.: A probabilistic semantics for abstract argumentation. In: Proceedings of the 20th European Conference on Artificial Intelligence (ECAI 2012), August 2012

    Google Scholar 

  20. Thimm, M.: Tweety - a comprehensive collection of java libraries for logical aspects of artificial intelligence and knowledge representation. In: Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014), pp. 528–537, July 2014

    Google Scholar 

  21. Thimm, M.: The tweety library collection for logical aspects of artificial intelligence and knowledge representation. Künstliche Intelligenz 31(1), 93–97 (2017)

    Article  Google Scholar 

  22. Thimm, M., Kern-Isberner, G.: On controversiality of arguments and stratified labelings. In: Proceedings of the Fifth International Conference on Computational Models of Argumentation (COMMA 2014), September 2014

    Google Scholar 

  23. Toni, F.: A tutorial on assumption-based argumentation. Argum. Comput. 5(1), 89–117 (2014)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute for Web Science and Technologies (WeST), University of Koblenz-Landau, Koblenz, Germany

    Matthias Thimm

Authors
  1. Matthias Thimm
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Matthias Thimm .

Editor information

Editors and Affiliations

  1. Department of Informatics, King's College London, London, United Kingdom

    Elizabeth Black

  2. King's College London , London, United Kingdom

    Sanjay Modgil

  3. Department of Computing Science, University of Aberdeen , Aberdeen, United Kingdom

    Nir Oren

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Thimm, M. (2018). The Formal Argumentation Libraries of Tweety. In: Black, E., Modgil, S., Oren, N. (eds) Theory and Applications of Formal Argumentation. TAFA 2017. Lecture Notes in Computer Science(), vol 10757. Springer, Cham. https://doi.org/10.1007/978-3-319-75553-3_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-75553-3_9

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-75552-6

  • Online ISBN: 978-3-319-75553-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation