| Лицензия |
Лицензия |
|---|---|
| Категории |
КатегорииСеть |
| Группа | Группаnet.sf.tweety.logics |
| Идентификатор | Идентификаторpl |
| Последняя версия | Последняя версия1.17 |
| Дата | Дата |
| Тип | Типjar |
| Описание |
ОписаниеTweety (Propositional Logic)
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.
|
| Ссылка на сайт |
Ссылка на сайт |
| Имя Файла | Размер |
|---|---|
| pl-1.17.pom | |
| pl-1.17.jar | 904 KB |
| pl-1.17-sources.jar | 876 KB |
| pl-1.17-javadoc.jar | 17 MB |
| Обзор |
JarCasting<!-- https://jarcasting.com/artifacts/net.sf.tweety.logics/pl/ -->
<dependency>
<groupId>net.sf.tweety.logics</groupId>
<artifactId>pl</artifactId>
<version>1.17</version>
</dependency>// https://jarcasting.com/artifacts/net.sf.tweety.logics/pl/
implementation 'net.sf.tweety.logics:pl:1.17'// https://jarcasting.com/artifacts/net.sf.tweety.logics/pl/
implementation ("net.sf.tweety.logics:pl:1.17")'net.sf.tweety.logics:pl:jar:1.17'<dependency org="net.sf.tweety.logics" name="pl" rev="1.17">
<artifact name="pl" type="jar" />
</dependency>@Grapes(
@Grab(group='net.sf.tweety.logics', module='pl', version='1.17')
)libraryDependencies += "net.sf.tweety.logics" % "pl" % "1.17"[net.sf.tweety.logics/pl "1.17"]| Идентификатор библиотеки | Тип | Версия |
|---|---|---|
| org.ow2.sat4j : org.ow2.sat4j.core | jar | 2.3.4 |
| net.sf.tweety.logics : fol | jar | 1.17 |
| net.sf.tweety : math | jar | 1.17 |
| Идентификатор библиотеки | Тип | Версия |
|---|---|---|
| junit : junit | jar | 4.9 |