tweetyprojectteam / tweetyproject

TweetyProject is a collection of Java libraries that implement approaches to different areas of artificial intelligence.

TweetyProject

TweetyProject 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, TweetyProject 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.

TweetyProject is in development since 2010.

Project website: http://tweetyproject.org/
Newsletter: http://tweetyproject.org/newsletter/

Installation

Step-by-step guides can be found here:

• Installing TweetyProject from the command line
• Installing TweetyProject in Eclipse
• Installing the snapshot version of TweetyProject

Contributing

Want to contribute? We appreciate it! If you find a bug or would like to request a feature, please open an issue here. For bug reports, include steps to recreate the bug and screenshots, if possible.

If you want to make your own contributions to the code, follow the usual steps:

• Fork this repository
• Create a new branch git checkout -b wip/myfeature
• Make your changes
• Add your changes git add your-files
• Commit your changes git commit -m "description of your feature"
• Push to your branch git push origin wip/myfeature
• Create a pull request`

Documentation

• API: The most recent version of the technical documentation for all TweetyProject libraries in form of the JavaDoc API can be found here: TweetyProject API 1.24
• Integration of third-party solvers: The following pages give some more detailed information on how third-party products such as SAT solvers and optimization solvers can be integrated in TweetyProject:
  • Integration of SAT Solvers
  • Integration of first-order logic theorem provers
  • Integration of optimization problem solvers
  • Integration of solvers for determining minimal unsatisfiable subsets
• Tutorials: The slidedecks of the following tutorials give a more detailed and practical introduction into working with TweetyProject:
  • Implementing KR approaches with Tweety, tutorial at the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR'18) in Tempe (USA)
  • Formal Argumentation Approaches in TweetyProject, tutorial at the 4th Summer School on Argumentation (SSA'20)
• Papers: The following papers give a brief overview on the functionalities of TweetyProject and should also be used as a reference when citing TweetyProject in scientific papers.
  • Matthias Thimm. "Tweety - A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation". In Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14). Vienna, July 2014. PDF, bibtex
  • Matthias Thimm. The Tweety Library Collection for Logical Aspects of Artificial Intelligence and Knowledge Representation. In Künstliche Intelligenz, 31(1):93-97, March 2017. PDF, bibtex
• Example code and resources: Example code snippets that show the functionality of the library (also distributed as part of the library).
• Developer guide

A manual on how to use TweetyProject in your programs is currently in development.

License

All parts of the TweetyProject available on this website are licensed under the GNU Lesser General Public License version 3 (beginning with TweetyProject version 1.6, the versions before are licensed under the GNU General Public License version 3) except when this is noted otherwise. Use and modification of the libraries is encouraged but please give credit by referring to this repository. Please note that some libraries make also use of other third-party libraries such as Apache Commons.

tweetyproject's Issues

add prefix `tweety` to all tweety libs

Actually, when adding the libs into my project with:

<dependency>
    <groupId>org.tweetyproject</groupId>
    <artifactId>tweety-full</artifactId>
    <version>..</version>
</dependency>

It cannot be seen at first glance. which imported libs belong to Tweety (e.g. rankings.jar, prob.jar).

Please add the prefix tweety to all imported libs (e.g. instead of rankings.jar it would be better to name it tweety-rankings.jar , etc.).

Thanks.

Missing step from setup instructions

Hey! I was setting up Tweety using Maven on the command line as per these instructions. To get mvn package to work without errors, I needed to add the following lines to pom.xml:

<properties>
   <maven.compiler.source>1.8</maven.compiler.source>
   <maven.compiler.target>1.8</maven.compiler.target>
</properties>

I'm not sure if targeting 1.8 is the correct value. Could be useful to add this to the instructions for other people getting started.

tweety-mvn repository is down

I am using one of the tweety libraries in my mvn build and recently the build stopped working. It appears that tweetyproject.org/mvn is timing out. Upon visiting the website, it seems to be completely down.

Dependency in my pom file:

  <dependency>
    <groupId>net.sf.tweety.arg</groupId>
    <artifactId>dung</artifactId>
    <version>1.17</version>
  </dependency>

Maven build error:

Failed to collect dependencies at net.sf.tweety.arg:dung:jar:1.17 -> net.sf.tweety.logics:pl:jar:1.17 -> net.sf.tweety.logics:fol:jar:1.17 -> net.sf.tweety:plugin:jar:1.17 -> jspf:core:jar:1.0.2: Failed to read artifact descriptor for jspf:core:jar:1.0.2: Could not transfer artifact jspf:core:pom:1.0.2 from/to tweety-mvn (https://tweetyproject.org/mvn): Connect to tweetyproject.org:443 [tweetyproject.org/x.110.129.55] failed: Connection timed out (Connection timed out)

Does anyone know what happened to the tweetyproject.org website and when it will be up again?

CommonLogic/CLIF

Has there ever been any interest or work on parsers/writers for CommonLogic, specifically CLIF?
thanks