Download of net.sf.tweety.logics.rdl-1.17.jar (net.sf.tweety.logics.rdl-1.17.jar ( external link: SF.net): 35,778 octetos) will begin shortly. If not so, click link on the left.
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.
