%0 Journal Article %1 Thimm17ki %A Thimm, Matthias %D 2017 %J KI -- Künstliche Intelligenz %K 01624 springer paper ai knowledge processing logic java tool %N 1 %P 93--97 %R 10.1007/s13218-016-0458-4 %T The Tweety Library Collection for Logical Aspects of Artificial Intelligence and Knowledge Representation %V 31 %X Tweety is a collection of Java libraries that provides a general interface layer for doing research in and working with different knowledge representation formalisms such as classical logics, conditional logics, probabilistic logics, and computational argumentation. It is designed in such a way that tasks like representing and reasoning with knowledge bases inside the programming environment are realizable in a common manner. 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.

@article{Thimm17ki, abstract = {Tweety is a collection of Java libraries that provides a general interface layer for doing research in and working with different knowledge representation formalisms such as classical logics, conditional logics, probabilistic logics, and computational argumentation. It is designed in such a way that tasks like representing and reasoning with knowledge bases inside the programming environment are realizable in a common manner. 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.}, added-at = {2017-04-17T13:48:51.000+0200}, author = {Thimm, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/2f2aadab6f6aa1b8fcf2c49be312f704f/flint63}, doi = {10.1007/s13218-016-0458-4}, file = {SpringerLink:2017/Thimm17ki.pdf:PDF}, groups = {public}, interhash = {9e1ee187dc0949852a6641a98c765e16}, intrahash = {f2aadab6f6aa1b8fcf2c49be312f704f}, issn = {0933-1875}, journal = {KI -- K\"{u}nstliche Intelligenz}, keywords = {01624 springer paper ai knowledge processing logic java tool}, month = {#mar#}, number = 1, pages = {93--97}, timestamp = {2017-07-13T17:15:43.000+0200}, title = {The {Tweety} Library Collection for Logical Aspects of Artificial Intelligence and Knowledge Representation}, username = {flint63}, volume = 31, year = 2017 }