jar

it.unibo.tuprolog.argumentation : core-jvm

Maven & Gradle

Aug 09, 2023
3 usages
6 stars

Arg-tuProlog Kotlin · A 2p-kt library for structured argumentation

Table Of Contents

Latest Version

Download it.unibo.tuprolog.argumentation : core-jvm JAR file - Latest Versions:

All Versions

Download it.unibo.tuprolog.argumentation : core-jvm JAR file - All Versions:

Version Vulnerabilities Size Updated
0.7.x
0.6.x
0.5.x
0.4.x
0.3.x
0.2.x
0.1.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 core-jvm-0.7.2.jar file.
    Once you open a JAR file, all the java classes in the JAR file will be displayed.

it.unibo.tuprolog.argumentation.core.libs.extra

├─ it.unibo.tuprolog.argumentation.core.libs.extra.MetaInterpreter.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.extra.ModuleCall.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.extra.ModuleCalls.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.extra.ModulesPath.class - [JAR]

it.unibo.tuprolog.argumentation.core.libs

├─ it.unibo.tuprolog.argumentation.core.libs.ArgContext.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.ArgLibrary.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.ArgLibraryKt.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.ArgLoader.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.ArgsFlag.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.LazyRawPrologContent.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.Loadable.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.PrimitiveWithSignature.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.RawPrologContent.class - [JAR]

it.unibo.tuprolog.argumentation.core.model

├─ it.unibo.tuprolog.argumentation.core.model.ArgItem.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.model.Argument.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.model.Attack.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.model.Graph.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.model.LabelledArgument.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.model.Premise.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.model.Rule.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.model.Support.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.model.TypesKt.class - [JAR]

it.unibo.tuprolog.argumentation.core.libs.language

├─ it.unibo.tuprolog.argumentation.core.libs.language.AutoTransposition.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.language.Axioms.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.language.Bps.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.language.ConversionUtils.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.language.DefeasibleRules.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.language.ExtractStrictIds.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.language.Premises.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.language.PrologStrictCompatibility.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.language.RuleParser.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.language.RuleParserBase.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.language.RuleToClause.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.language.StrictRules.class - [JAR]

it.unibo.tuprolog.argumentation.core.libs.structured

├─ it.unibo.tuprolog.argumentation.core.libs.structured.AmbiguityBlocking.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.structured.QueryMode.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.structured.StructuredMode.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.structured.StructuredModeBase.class - [JAR]

it.unibo.tuprolog.argumentation.core

├─ it.unibo.tuprolog.argumentation.core.Arg2pSolver.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.Arg2pSolverFactory.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.TheoryUtils.class - [JAR]

it.unibo.tuprolog.argumentation.core.libs.utils

├─ it.unibo.tuprolog.argumentation.core.libs.utils.AppendOptimized.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.utils.ArgumentHash.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.utils.AssertAll.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.utils.Contains.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.utils.ContainsAny.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.utils.Debug.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.utils.DebugBase.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.utils.OrderingComparator.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.utils.OrderingPrinciple.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.utils.SuperiorityRelation.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.utils.SuperiorityRelationBase.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.utils.Utils.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.utils.UtilsBase.class - [JAR]

it.unibo.tuprolog.argumentation.core.libs.graph.extension

├─ it.unibo.tuprolog.argumentation.core.libs.graph.extension.AttackRestrictionHandler.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.graph.extension.AttackRestrictionHandlerBase.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.graph.extension.BpMetaGraphHandler.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.graph.extension.BpMetaGraphHandlerBase.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.graph.extension.DefeasiblePreferencesHandler.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.graph.extension.DefeasiblePreferencesHandlerBase.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.graph.extension.GenericDefeasiblePreferencesHandler.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.graph.extension.GenericDefeasiblePreferencesHandlerBase.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.graph.extension.StrictPreferencesHandler.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.graph.extension.StrictPreferencesHandlerBase.class - [JAR]

it.unibo.tuprolog.argumentation.core.dsl

├─ it.unibo.tuprolog.argumentation.core.dsl.Arg2pScopeKt.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.dsl.PrologWithArgumentation.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.dsl.PrologWithArgumentationImpl.class - [JAR]

it.unibo.tuprolog.argumentation.core.libs.basic

├─ it.unibo.tuprolog.argumentation.core.libs.basic.Cache.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.basic.Context.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.basic.DynamicLoader.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.basic.EngineInterface.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.basic.EngineInterfaceBase.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.basic.FlagsBuilder.class - [JAR]

it.unibo.tuprolog.argumentation.core.libs.graph.labelling

├─ it.unibo.tuprolog.argumentation.core.libs.graph.labelling.BinaryLabelling.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.graph.labelling.BinaryStatementLabeller.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.graph.labelling.BpCompleteLabeller.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.graph.labelling.BpCompleteLabellerBase.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.graph.labelling.BpLabeller.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.graph.labelling.BpLabellerBase.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.graph.labelling.BpPartialLabeller.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.graph.labelling.BpPartialLabellerBase.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.graph.labelling.CompleteLabeller.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.graph.labelling.CompleteLabellerBase.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.graph.labelling.GroundedLabeller.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.graph.labelling.GroundedLabellerBase.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.graph.labelling.GroundedLabellerOptimized.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.graph.labelling.GroundedLabellerOptimizedBase.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.graph.labelling.Labelling.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.graph.labelling.PassThroughStatementLabeller.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.graph.labelling.StatementLabeller.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.graph.labelling.StatementLabellerBase.class - [JAR]

it.unibo.tuprolog.argumentation.core.libs.graph

├─ it.unibo.tuprolog.argumentation.core.libs.graph.AbstractMode.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.graph.AbstractModeBase.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.graph.ArgumentLabellingMode.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.graph.GraphBuildMode.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.graph.GraphExtension.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.graph.StatementLabellingMode.class - [JAR]

it.unibo.tuprolog.argumentation.core.meta

├─ it.unibo.tuprolog.argumentation.core.meta.MetaInterpreterLib.class - [JAR]

it.unibo.tuprolog.argumentation.core.mining

├─ it.unibo.tuprolog.argumentation.core.mining.SolverMiningKt.class - [JAR]

it.unibo.tuprolog.argumentation.core.libs.graph.builder

├─ it.unibo.tuprolog.argumentation.core.libs.graph.builder.ArgumentationGraphBuilder.class - [JAR]

├─ it.unibo.tuprolog.argumentation.core.libs.graph.builder.ArgumentationGraphBuilderBase.class - [JAR]

Advertisement

Dependencies from Group

Aug 09, 2023
3 usages
6 stars
Jun 15, 2021
1 usages
6 stars
Aug 09, 2023
1 usages
6 stars
Aug 09, 2023
1 usages
6 stars
Aug 09, 2023
1 usages
6 stars

Discover Dependencies

Jul 10, 2023
3 usages
14.4k stars
Jun 24, 2021
2 usages
1 stars
Mar 14, 2022
1 usages
66 stars
Aug 18, 2023
2 usages
3 stars
Nov 19, 2021
3 usages
4 stars
Jul 26, 2023
2 usages
45 stars
Aug 16, 2023
1 usages
1 stars
Aug 16, 2023
1 usages
1 stars