TweetyProject (Modal 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	ml
Last Version	1.21
Release Date	Jan 20, 2022
Type	jar
Description	TweetyProject (Modal 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 ml

Filename	Size
ml-1.21.pom
ml-1.21.jar	46 KB
ml-1.21-sources.jar	36 KB
ml-1.21-javadoc.jar	25 MB

How to add to project

Apache Maven

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

Gradle Groovy

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

Gradle Kotlin

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

Apache Buildr

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

Apache Ivy

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

Groovy Grape

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

Scala SBT

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

Leiningen

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

Dependencies

compile (1)

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

test (1)

Group / Artifact	Type	Version
junit : junit	jar	4.11

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