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

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
Last Version

Last Version

1.0.17
Release Date

Release Date

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

How to add to project

<!-- 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.

Versions

Version
1.0.17
1.0.15
1.0.14
1.0.13
1.0.12
1.0.11
1.0.9
1.0.8
1.0.7
1.0.6
1.0.5
1.0.4
1.0.3
1.0.2
1.0.1