TweetyProject (Reiter's Default Logic Library)

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.

License	The General Public License, Version 3.0
GroupId	org.tweetyproject.logics
ArtifactId	rdl
Last Version	1.21
Release Date	Jan 20, 2022
Type	jar
Description	TweetyProject (Reiter's Default Logic Library) 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.

Download rdl

Filename	Size
rdl-1.21.pom
rdl-1.21.jar	21 KB
rdl-1.21-sources.jar	15 KB
rdl-1.21-javadoc.jar	25 MB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/org.tweetyproject.logics/rdl/ -->
<dependency>
    <groupId>org.tweetyproject.logics</groupId>
    <artifactId>rdl</artifactId>
    <version>1.21</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/org.tweetyproject.logics/rdl/
implementation 'org.tweetyproject.logics:rdl:1.21'

Gradle Kotlin

// https://jarcasting.com/artifacts/org.tweetyproject.logics/rdl/
implementation ("org.tweetyproject.logics:rdl:1.21")

Apache Buildr

'org.tweetyproject.logics:rdl:jar:1.21'

Apache Ivy

<dependency org="org.tweetyproject.logics" name="rdl" rev="1.21">
  <artifact name="rdl" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='org.tweetyproject.logics', module='rdl', version='1.21')
)

Scala SBT

libraryDependencies += "org.tweetyproject.logics" % "rdl" % "1.21"

Leiningen

[org.tweetyproject.logics/rdl "1.21"]

Dependencies

compile (2)

Group / Artifact	Type	Version
org.tweetyproject : commons	jar	1.21
org.tweetyproject.logics : fol	jar	1.21

test (1)

Group / Artifact	Type	Version
junit : junit	jar	4.9

Project Modules

There are no modules declared in this project.

TweetyProjectTeam

Versions

Version
1.21 Jan 20, 2022
1.20 Aug 4, 2021
1.19 Feb 2, 2021