| License |
License
http://www.cecill.info/licences/Licence_CeCILL_V2.1-en.txt
|
|---|---|
| Categories |
CategoriesGraal |
| GroupId | GroupIdfr.lirmm.graphik |
| ArtifactId | ArtifactIdgraal-elder |
| Last Version | Last Version1.0.17 |
| Release Date | Release Date |
| Type | Typejar |
| Description |
DescriptionExistential Logic for Defeasible Reasoning
A defeasible reasoning tool for existential rules,
it supports defeasible reasoning with amibguity blocking/propagating with or without team defeat
|
| Project URL |
Project URL |
| Source Code Management |
Source Code Management |
| Filename | Size |
|---|---|
| graal-elder-1.0.17.pom | |
| graal-elder-1.0.17.jar | 31 KB |
| graal-elder-1.0.17-sources.jar | 20 KB |
| graal-elder-1.0.17-javadoc.jar | 147 KB |
| Browse |
JarCasting<!-- https://jarcasting.com/artifacts/fr.lirmm.graphik/graal-elder/ -->
<dependency>
<groupId>fr.lirmm.graphik</groupId>
<artifactId>graal-elder</artifactId>
<version>1.0.17</version>
</dependency>// https://jarcasting.com/artifacts/fr.lirmm.graphik/graal-elder/
implementation 'fr.lirmm.graphik:graal-elder:1.0.17'// https://jarcasting.com/artifacts/fr.lirmm.graphik/graal-elder/
implementation ("fr.lirmm.graphik:graal-elder:1.0.17")'fr.lirmm.graphik:graal-elder:jar:1.0.17'<dependency org="fr.lirmm.graphik" name="graal-elder" rev="1.0.17">
<artifact name="graal-elder" type="jar" />
</dependency>@Grapes(
@Grab(group='fr.lirmm.graphik', module='graal-elder', version='1.0.17')
)libraryDependencies += "fr.lirmm.graphik" % "graal-elder" % "1.0.17"[fr.lirmm.graphik/graal-elder "1.0.17"]| Group / Artifact | Type | Version |
|---|---|---|
| fr.lirmm.graphik : graal-defeasible-core | jar | 0.0.6 |
| com.fasterxml.jackson.core : jackson-core | jar | 2.9.7 |
| com.fasterxml.jackson.core : jackson-annotations | jar | 2.9.7 |
| com.fasterxml.jackson.core : jackson-databind | jar | 2.9.7 |
| Group / Artifact | Type | Version |
|---|---|---|
| junit : junit | jar | 4.12 |