jar

it.unibo.tuprolog : solve-problog-jvm

Maven & Gradle

Aug 25, 2023
3 usages
82 stars

2P-Kt, Solve-Problog Module · State-machine-based implementation of ProbLog

Table Of Contents

Latest Version

Download it.unibo.tuprolog : solve-problog-jvm JAR file - Latest Versions:

All Versions

Download it.unibo.tuprolog : solve-problog-jvm JAR file - All Versions:

Version Vulnerabilities Size Updated
0.31.x
0.30.x
0.20.x
0.19.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 solve-problog-jvm-0.31.13.jar file.
    Once you open a JAR file, all the java classes in the JAR file will be displayed.

it.unibo.tuprolog.solve.problog.lib.knowledge.impl

├─ it.unibo.tuprolog.solve.problog.lib.knowledge.impl.AnnotatedDisjunctionClauseMapper.class - [JAR]

├─ it.unibo.tuprolog.solve.problog.lib.knowledge.impl.BinaryDecisionDiagramExplanation.class - [JAR]

├─ it.unibo.tuprolog.solve.problog.lib.knowledge.impl.ClauseMapper.class - [JAR]

├─ it.unibo.tuprolog.solve.problog.lib.knowledge.impl.ClauseMappingUtils.class - [JAR]

├─ it.unibo.tuprolog.solve.problog.lib.knowledge.impl.ClauseMappingUtilsKt.class - [JAR]

├─ it.unibo.tuprolog.solve.problog.lib.knowledge.impl.DirectiveClauseMapper.class - [JAR]

├─ it.unibo.tuprolog.solve.problog.lib.knowledge.impl.EvidenceClauseMapper.class - [JAR]

├─ it.unibo.tuprolog.solve.problog.lib.knowledge.impl.MappedMutableProblogTheory.class - [JAR]

├─ it.unibo.tuprolog.solve.problog.lib.knowledge.impl.MappedProblogTheory.class - [JAR]

├─ it.unibo.tuprolog.solve.problog.lib.knowledge.impl.NothingClauseMapper.class - [JAR]

├─ it.unibo.tuprolog.solve.problog.lib.knowledge.impl.ProbabilisticClauseMapper.class - [JAR]

├─ it.unibo.tuprolog.solve.problog.lib.knowledge.impl.PrologClauseMapper.class - [JAR]

it.unibo.tuprolog.solve.problog

├─ it.unibo.tuprolog.solve.problog.MutableProblogSolver.class - [JAR]

├─ it.unibo.tuprolog.solve.problog.Operators.class - [JAR]

├─ it.unibo.tuprolog.solve.problog.ProblogSolver.class - [JAR]

├─ it.unibo.tuprolog.solve.problog.ProblogSolverFactory.class - [JAR]

it.unibo.tuprolog.solve.problog.lib.knowledge

├─ it.unibo.tuprolog.solve.problog.lib.knowledge.MutableProblogTheory.class - [JAR]

├─ it.unibo.tuprolog.solve.problog.lib.knowledge.ProbExplanation.class - [JAR]

├─ it.unibo.tuprolog.solve.problog.lib.knowledge.ProbExplanationTerm.class - [JAR]

├─ it.unibo.tuprolog.solve.problog.lib.knowledge.ProbTerm.class - [JAR]

├─ it.unibo.tuprolog.solve.problog.lib.knowledge.ProblogTheory.class - [JAR]

it.unibo.tuprolog.solve.problog.lib.exception

├─ it.unibo.tuprolog.solve.problog.lib.exception.ClauseMappingException.class - [JAR]

it.unibo.tuprolog.solve.problog.lib.rules

├─ it.unibo.tuprolog.solve.problog.lib.rules.Prob.class - [JAR]

it.unibo.tuprolog.solve.problog.lib.primitive

├─ it.unibo.tuprolog.solve.problog.lib.primitive.ProbExplAnd.class - [JAR]

├─ it.unibo.tuprolog.solve.problog.lib.primitive.ProbHelper.class - [JAR]

├─ it.unibo.tuprolog.solve.problog.lib.primitive.ProbNegationAsFailure.class - [JAR]

├─ it.unibo.tuprolog.solve.problog.lib.primitive.ProbQuery.class - [JAR]

├─ it.unibo.tuprolog.solve.problog.lib.primitive.ProbSetConfig.class - [JAR]

├─ it.unibo.tuprolog.solve.problog.lib.primitive.ProbSolve.class - [JAR]

├─ it.unibo.tuprolog.solve.problog.lib.primitive.ProbSolveEvidence.class - [JAR]

├─ it.unibo.tuprolog.solve.problog.lib.primitive.ProbSolveWithEvidence.class - [JAR]

it.unibo.tuprolog.solve.problog.lib

├─ it.unibo.tuprolog.solve.problog.lib.ProblogLib.class - [JAR]

Advertisement

Dependencies from Group

May 18, 2021
9 usages
82 stars
Aug 25, 2023
9 usages
82 stars
Aug 25, 2023
9 usages
82 stars
Aug 25, 2023
9 usages
82 stars
Aug 25, 2023
8 usages
82 stars

Discover Dependencies

Aug 25, 2023
4 usages
187 stars
Apr 04, 2019
2 usages
Feb 07, 2023
3 usages
1.2k stars
Aug 10, 2023
2 usages
11 stars
Dec 11, 2021
3 usages
153 stars
Dec 11, 2021
1 usages
153 stars
l16
2 usages
144 stars
2 usages
157 stars
Jan 10, 2018
1 usages
0 stars