Tweety
Tweety - a comprehensive collection of Java libraries for logical aspects of artificial intelligence and knowledge representation. Tweety is a collection of various Java libraries that implement approaches to different areas of artificial intelligence. In particular, it provides a general interface layer for doing research and working with different knowledge representation formalisms such as classical logics, conditional logics, probabilistic logics, and argumentation. Furthermore, Tweety contains libraries for dealing with agents, multi-agent systems, and dialog systems for agents, as well as belief revision, preference reasoning, preference aggregation, and action languages. A series of utility libraries that deal with e.g. mathematical optimization complement the collection.
Keywords for this software
References in zbMATH (referenced in 9 articles )
Showing results 1 to 9 of 9.
Sorted by year (- Kampik, Timotheus; Nieves, Juan Carlos; Gabbay, Dov: Ensuring reference independence and cautious monotony in abstract argumentation (2022)
- Calimeri, Francesco; Cauteruccio, Francesco; Cinelli, Luca; Marzullo, Aldo; Stamile, Claudio; Terracina, Giorgio; Durand-Dubief, Françoise; Sappey-Marinier, Dominique: A logic-based framework leveraging neural networks for studying the evolution of neurological disorders (2021)
- Pease, Alison; Lawrence, John; Budzynska, Katarzyna; Corneli, Joseph; Reed, Chris: Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation (2017)
- Thimm, Matthias: Measuring inconsistency with many-valued logics (2017)
- Thimm, Matthias; Villata, Serena: The first international competition on computational models of argumentation: results and analysis (2017)
- Arieli, Ofer; Zamansky, Anna: A graded approach to database repair by context-aware distance semantics (2016)
- Greco, Sergio; Parisi, Francesco: Incremental computation of deterministic extensions for dynamic argumentation frameworks (2016)
- Hunter, Anthony; Thimm, Matthias: Optimization of dialectical outcomes in dialogical argumentation (2016)
- Thimm, Matthias: Stream-based inconsistency measurement (2016)