All Downloads are FREE. Search and download functionalities are using the official Maven repository.
Search JAR files by class name

Download graal-elder JAR 1.0.6 with all dependencies


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

Files of the artifact graal-elder version 1.0.6 from the group fr.lirmm.graphik.

Artifact graal-elder
Group fr.lirmm.graphik
Version 1.0.6
Last update 19. October 2018
Tags: defeat with tool defeasible supports existential team without rules blocking reasoning propagating amibguity
Organization not specified
URL https://github.com/hamhec/graal-elder
License
Dependencies amount 4
Dependencies graal-defeasible-core, jackson-core, jackson-annotations, jackson-databind,
There are maybe transitive dependencies!
There is a newer version: 1.0.17
Show newest version
Show more of this group  Show more artifacts with this name
Show all versions of graal-elder Show documentation

Please rate this JAR file. Is it a good library?

0 downloads

Source code of graal-elder version 1.0.6

META-INF
META-INF.META-INF.MANIFEST.MF
fr.lirmm.graphik.graal.elder.core
fr.lirmm.graphik.graal.elder.core.fr.lirmm.graphik.graal.elder.core.AbstractAssumption
fr.lirmm.graphik.graal.elder.core.fr.lirmm.graphik.graal.elder.core.Assumption
fr.lirmm.graphik.graal.elder.core.fr.lirmm.graphik.graal.elder.core.Premise
fr.lirmm.graphik.graal.elder.core.fr.lirmm.graphik.graal.elder.core.RuleApplication
fr.lirmm.graphik.graal.elder.core.fr.lirmm.graphik.graal.elder.core.SGEdge
fr.lirmm.graphik.graal.elder.core.fr.lirmm.graphik.graal.elder.core.Statement
fr.lirmm.graphik.graal.elder.core.fr.lirmm.graphik.graal.elder.core.StatementGraph
fr.lirmm.graphik.graal.elder.labeling
fr.lirmm.graphik.graal.elder.labeling.fr.lirmm.graphik.graal.elder.labeling.CycleCheck
fr.lirmm.graphik.graal.elder.labeling.fr.lirmm.graphik.graal.elder.labeling.LabelingFunction
fr.lirmm.graphik.graal.elder.labeling.fr.lirmm.graphik.graal.elder.labeling.Labels
fr.lirmm.graphik.graal.elder.labeling.defeasible.logic
fr.lirmm.graphik.graal.elder.labeling.defeasible.logic.fr.lirmm.graphik.graal.elder.labeling.defeasible.logic.AbstractDefeasibleLogicLabelingFunction
fr.lirmm.graphik.graal.elder.labeling.defeasible.logic.fr.lirmm.graphik.graal.elder.labeling.defeasible.logic.BDLwithTD
fr.lirmm.graphik.graal.elder.labeling.defeasible.logic.fr.lirmm.graphik.graal.elder.labeling.defeasible.logic.BDLwithoutTD
fr.lirmm.graphik.graal.elder.labeling.defeasible.logic.fr.lirmm.graphik.graal.elder.labeling.defeasible.logic.DefeasibleLogicLabelingHelper
fr.lirmm.graphik.graal.elder.labeling.defeasible.logic.fr.lirmm.graphik.graal.elder.labeling.defeasible.logic.PDLwithTD
fr.lirmm.graphik.graal.elder.labeling.defeasible.logic.fr.lirmm.graphik.graal.elder.labeling.defeasible.logic.PDLwithoutTD
fr.lirmm.graphik.graal.elder.persistance
fr.lirmm.graphik.graal.elder.persistance.fr.lirmm.graphik.graal.elder.persistance.PersistanceFactory
fr.lirmm.graphik.graal.elder.preference
fr.lirmm.graphik.graal.elder.preference.fr.lirmm.graphik.graal.elder.preference.PreferenceFunction
fr.lirmm.graphik.graal.elder.preference.fr.lirmm.graphik.graal.elder.preference.SimplePreferenceFunction
fr.lirmm.graphik.graal.elder.reasoning
fr.lirmm.graphik.graal.elder.reasoning.fr.lirmm.graphik.graal.elder.reasoning.SGRuleApplicationHandler




© 2015 - 2024 Weber Informatics LLC | Privacy Policy