jar

fr.lirmm.graphik : graal-elder

Maven & Gradle

Mar 06, 2019
0 stars

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

Table Of Contents

Latest Version

Download fr.lirmm.graphik : graal-elder JAR file - Latest Versions:

All Versions

Download fr.lirmm.graphik : graal-elder JAR file - All Versions:

Version Vulnerabilities Size Updated
1.0.x

View Java Class Source Code in JAR file

  1. Download JD-GUI to open JAR file and explore Java source code file (.class .java)
  2. Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window graal-elder-1.0.17.jar file.
    Once you open a JAR file, all the java classes in the JAR file will be displayed.

fr.lirmm.graphik.graal.elder.preference

├─ fr.lirmm.graphik.graal.elder.preference.PreferenceFunction.class - [JAR]

├─ fr.lirmm.graphik.graal.elder.preference.SimplePreferenceFunction.class - [JAR]

fr.lirmm.graphik.graal.elder.persistance

├─ fr.lirmm.graphik.graal.elder.persistance.PersistanceFactory.class - [JAR]

├─ fr.lirmm.graphik.graal.elder.persistance.PremiseJSONRepresentation.class - [JAR]

├─ fr.lirmm.graphik.graal.elder.persistance.RuleApplicationJSONRepresentation.class - [JAR]

├─ fr.lirmm.graphik.graal.elder.persistance.SGEdgeJSONRepresentation.class - [JAR]

├─ fr.lirmm.graphik.graal.elder.persistance.StatementGraphJSONRepresentation.class - [JAR]

├─ fr.lirmm.graphik.graal.elder.persistance.StatementJSONRepresentation.class - [JAR]

fr.lirmm.graphik.graal.elder.labeling.defeasible.logic

├─ fr.lirmm.graphik.graal.elder.labeling.defeasible.logic.AbstractDefeasibleLogicLabelingFunction.class - [JAR]

├─ fr.lirmm.graphik.graal.elder.labeling.defeasible.logic.BDLwithTD.class - [JAR]

├─ fr.lirmm.graphik.graal.elder.labeling.defeasible.logic.BDLwithoutTD.class - [JAR]

├─ fr.lirmm.graphik.graal.elder.labeling.defeasible.logic.LabelingHelper.class - [JAR]

├─ fr.lirmm.graphik.graal.elder.labeling.defeasible.logic.PDLwithTD.class - [JAR]

├─ fr.lirmm.graphik.graal.elder.labeling.defeasible.logic.PDLwithoutTD.class - [JAR]

fr.lirmm.graphik.graal.elder.reasoning

├─ fr.lirmm.graphik.graal.elder.reasoning.SGRuleApplicationHandler.class - [JAR]

fr.lirmm.graphik.graal.elder.core

├─ fr.lirmm.graphik.graal.elder.core.AbstractAssumption.class - [JAR]

├─ fr.lirmm.graphik.graal.elder.core.Assumption.class - [JAR]

├─ fr.lirmm.graphik.graal.elder.core.Premise.class - [JAR]

├─ fr.lirmm.graphik.graal.elder.core.RuleApplication.class - [JAR]

├─ fr.lirmm.graphik.graal.elder.core.SGEdge.class - [JAR]

├─ fr.lirmm.graphik.graal.elder.core.Statement.class - [JAR]

├─ fr.lirmm.graphik.graal.elder.core.StatementGraph.class - [JAR]

fr.lirmm.graphik.graal.elder.labeling

├─ fr.lirmm.graphik.graal.elder.labeling.CycleCheck.class - [JAR]

├─ fr.lirmm.graphik.graal.elder.labeling.LabelingFunction.class - [JAR]

├─ fr.lirmm.graphik.graal.elder.labeling.Labels.class - [JAR]

Advertisement