Tweety swMATH ID: 22090 Software Authors: Thimm, M. Description: 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. Homepage: http://tweetyproject.org/ Related Software: Clingo; sCASP; ezcsp; Brain Connectivity Toolbox; Adam; MRtrix; WASP; ASPIDE; DLV-EX; SMT-LIB; Lingeling; ProGraph; CoQuiAAS; LamatzSolver; Argtools; Dungine; prefMaxSAT; Carneades; DIAMOND; CEGARTIX Cited in: 9 Publications all top 5 Cited by 22 Authors 4 Thimm, Matthias 1 Arieli, Ofer 1 Budzyńska, Katarzyna 1 Calimeri, Francesco 1 Cauteruccio, Francesco 1 Cinelli, Luca 1 Corneli, Joseph 1 Durand-Dubief, Françoise 1 Gabbay, Dov M. 1 Greco, Sergio 1 Hunter, Anthony 1 Kampik, Timotheus 1 Marzullo, Aldo 1 Nieves, Juan Carlos 1 Parisi, Francesco 1 Pease, Alison 1 Reed, Chris 1 Sappey-Marinier, Dominique 1 Stamile, Claudio 1 Terracina, Giorgio 1 Villata, Serena 1 Zamansky, Anna Cited in 4 Serials 4 International Journal of Approximate Reasoning 2 Artificial Intelligence 1 Fuzzy Sets and Systems 1 Theory and Practice of Logic Programming Cited in 4 Fields 9 Computer science (68-XX) 1 General and overarching topics; collections (00-XX) 1 Mathematical logic and foundations (03-XX) 1 Biology and other natural sciences (92-XX) Citations by Year