Tweety 0.1.91

Tweety is a free and easy to use, comprehensive library for logical aspects of artificial intelligence and knowledge representation.

Tweety is written in the Java programming language.

Here are some key features of "Tweety":

· Classical logics: propositional logic, first-order logic
· Non-classical logics: conditional logic, modal logic, probabilistic logics
· Argumentation: abstract argumentation frameworks, structured argumentation frameworks
· Agents
· Optimization libraries

Requirements:

· Java