JarCasting
JarCasting JarCasting

Tweety (Quantified Boolean Formulas)

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.

Лицензия

Лицензия
Категории

Категории

Сеть
Группа

Группа

net.sf.tweety.logics
Идентификатор

Идентификатор

qbf
Последняя версия

Последняя версия

1.17
Дата

Дата
Тип

Тип

jar
Описание

Описание

Tweety (Quantified Boolean Formulas)
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.
Ссылка на сайт

Ссылка на сайт

http://sourceforge.net/projects/tweety/

Скачать qbf

Имя Файла Размер
qbf-1.17.pom
qbf-1.17.jar 43 KB
qbf-1.17-sources.jar 32 KB
qbf-1.17-javadoc.jar 18 MB
Обзор

Как подключить последнюю версию

<!-- https://jarcasting.com/artifacts/net.sf.tweety.logics/qbf/ -->
<dependency>
    <groupId>net.sf.tweety.logics</groupId>
    <artifactId>qbf</artifactId>
    <version>1.17</version>
</dependency>
// https://jarcasting.com/artifacts/net.sf.tweety.logics/qbf/
implementation 'net.sf.tweety.logics:qbf:1.17'
// https://jarcasting.com/artifacts/net.sf.tweety.logics/qbf/
implementation ("net.sf.tweety.logics:qbf:1.17")
'net.sf.tweety.logics:qbf:jar:1.17'
<dependency org="net.sf.tweety.logics" name="qbf" rev="1.17">
  <artifact name="qbf" type="jar" />
</dependency>
@Grapes(
@Grab(group='net.sf.tweety.logics', module='qbf', version='1.17')
)
libraryDependencies += "net.sf.tweety.logics" % "qbf" % "1.17"
[net.sf.tweety.logics/qbf "1.17"]

Зависимости

compile (3)

Идентификатор библиотеки Тип Версия
org.ow2.sat4j : org.ow2.sat4j.core jar 2.3.4
net.sf.tweety.logics : pl jar 1.17
net.sf.tweety : math jar 1.17

test (1)

Идентификатор библиотеки Тип Версия
junit : junit jar 4.9

Модули Проекта

Данный проект не имеет модулей.

Версии библиотеки

Версия
1.17
1.16
1.15