Last Version

Existential Logic for Defeasible Reasoning 1.0.17

A defeasible reasoning tool for existential rules, it supports defeasible reasoning with amibguity blocking/propagating with or without team defeat

License

License

http://www.cecill.info/licences/Licence_CeCILL_V2.1-en.txt
Categories

Categories

Graal
GroupId

GroupId

fr.lirmm.graphik
ArtifactId

ArtifactId

graal-elder
Version

Version

1.0.17
Type

Type

jar
Description

Description

Existential 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

https://github.com/hamhec/graal-elder
Source Code Management

Source Code Management

https://github.com/hamhec/graal-elder.git

Download graal-elder 1.0.17


<!-- 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"]

Dependencies

compile (4)

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

test (1)

Group / Artifact Type Version
junit : junit jar 4.12

Project Modules

There are no modules declared in this project.