Tweety
planningDescription
A comprehensive Java library for logical aspects of artificial intelligence and knowledge representation.
Tweety Web SiteFeatures
- 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
User Ratings
User Reviews
Be the first to post a review of Tweety!