All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Search JAR files by class name

Download solve-problog-jvm JAR 0.31.15 with all dependencies

State-machine-based implementation of ProbLog

Files of the artifact solve-problog-jvm version 0.31.15 from the group it.unibo.tuprolog.

Artifact solve-problog-jvm
Group it.unibo.tuprolog
Version 0.31.15
Last update 15. September 2023
Tags: based problog machine implementation state
Organization not specified
URL https://github.com/tuProlog/2p-kt
License Apache-2.0
Dependencies amount 6
Dependencies kotlin-stdlib-jdk8, kotlin-stdlib-common, bdd-jvm, solve-classic-jvm, solve-plp-jvm, kotlin-stdlib,
There are maybe transitive dependencies!

There is a newer version: 1.0.4

Show newest version

Show more of this group Show more artifacts with this name
Show all versions of solve-problog-jvm Show documentation

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

0 downloads

Source code of solve-problog-jvm version 0.31.15

META-INF

META-INF.META-INF.MANIFEST.MF

commonMain.it.unibo.tuprolog.solve.problog

commonMain.it.unibo.tuprolog.solve.problog.commonMain.it.unibo.tuprolog.solve.problog.MutableProblogSolver.kt

commonMain.it.unibo.tuprolog.solve.problog.commonMain.it.unibo.tuprolog.solve.problog.Operators.kt

commonMain.it.unibo.tuprolog.solve.problog.commonMain.it.unibo.tuprolog.solve.problog.ProblogSolver.kt

commonMain.it.unibo.tuprolog.solve.problog.commonMain.it.unibo.tuprolog.solve.problog.ProblogSolverFactory.kt

commonMain.it.unibo.tuprolog.solve.problog.lib

commonMain.it.unibo.tuprolog.solve.problog.lib.commonMain.it.unibo.tuprolog.solve.problog.lib.ProblogLib.kt

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

commonMain.it.unibo.tuprolog.solve.problog.lib.exception.commonMain.it.unibo.tuprolog.solve.problog.lib.exception.ClauseMappingException.kt

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

commonMain.it.unibo.tuprolog.solve.problog.lib.knowledge.commonMain.it.unibo.tuprolog.solve.problog.lib.knowledge.MutableProblogTheory.kt

commonMain.it.unibo.tuprolog.solve.problog.lib.knowledge.commonMain.it.unibo.tuprolog.solve.problog.lib.knowledge.ProbExplanation.kt

commonMain.it.unibo.tuprolog.solve.problog.lib.knowledge.commonMain.it.unibo.tuprolog.solve.problog.lib.knowledge.ProbExplanationTerm.kt

commonMain.it.unibo.tuprolog.solve.problog.lib.knowledge.commonMain.it.unibo.tuprolog.solve.problog.lib.knowledge.ProbTerm.kt

commonMain.it.unibo.tuprolog.solve.problog.lib.knowledge.commonMain.it.unibo.tuprolog.solve.problog.lib.knowledge.ProblogTheory.kt

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

commonMain.it.unibo.tuprolog.solve.problog.lib.knowledge.impl.commonMain.it.unibo.tuprolog.solve.problog.lib.knowledge.impl.AnnotatedDisjunctionClauseMapper.kt

commonMain.it.unibo.tuprolog.solve.problog.lib.knowledge.impl.commonMain.it.unibo.tuprolog.solve.problog.lib.knowledge.impl.BinaryDecisionDiagramExplanation.kt

commonMain.it.unibo.tuprolog.solve.problog.lib.knowledge.impl.commonMain.it.unibo.tuprolog.solve.problog.lib.knowledge.impl.ClauseMapper.kt

commonMain.it.unibo.tuprolog.solve.problog.lib.knowledge.impl.commonMain.it.unibo.tuprolog.solve.problog.lib.knowledge.impl.ClauseMappingUtils.kt

commonMain.it.unibo.tuprolog.solve.problog.lib.knowledge.impl.commonMain.it.unibo.tuprolog.solve.problog.lib.knowledge.impl.DirectiveClauseMapper.kt

commonMain.it.unibo.tuprolog.solve.problog.lib.knowledge.impl.commonMain.it.unibo.tuprolog.solve.problog.lib.knowledge.impl.EvidenceClauseMapper.kt

commonMain.it.unibo.tuprolog.solve.problog.lib.knowledge.impl.commonMain.it.unibo.tuprolog.solve.problog.lib.knowledge.impl.MappedMutableProblogTheory.kt

commonMain.it.unibo.tuprolog.solve.problog.lib.knowledge.impl.commonMain.it.unibo.tuprolog.solve.problog.lib.knowledge.impl.MappedProblogTheory.kt

commonMain.it.unibo.tuprolog.solve.problog.lib.knowledge.impl.commonMain.it.unibo.tuprolog.solve.problog.lib.knowledge.impl.NothingClauseMapper.kt

commonMain.it.unibo.tuprolog.solve.problog.lib.knowledge.impl.commonMain.it.unibo.tuprolog.solve.problog.lib.knowledge.impl.ProbabilisticClauseMapper.kt

commonMain.it.unibo.tuprolog.solve.problog.lib.knowledge.impl.commonMain.it.unibo.tuprolog.solve.problog.lib.knowledge.impl.PrologClauseMapper.kt

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

commonMain.it.unibo.tuprolog.solve.problog.lib.primitive.commonMain.it.unibo.tuprolog.solve.problog.lib.primitive.ProbExplAnd.kt

commonMain.it.unibo.tuprolog.solve.problog.lib.primitive.commonMain.it.unibo.tuprolog.solve.problog.lib.primitive.ProbHelper.kt

commonMain.it.unibo.tuprolog.solve.problog.lib.primitive.commonMain.it.unibo.tuprolog.solve.problog.lib.primitive.ProbNegationAsFailure.kt

commonMain.it.unibo.tuprolog.solve.problog.lib.primitive.commonMain.it.unibo.tuprolog.solve.problog.lib.primitive.ProbQuery.kt

commonMain.it.unibo.tuprolog.solve.problog.lib.primitive.commonMain.it.unibo.tuprolog.solve.problog.lib.primitive.ProbSetConfig.kt

commonMain.it.unibo.tuprolog.solve.problog.lib.primitive.commonMain.it.unibo.tuprolog.solve.problog.lib.primitive.ProbSolve.kt

commonMain.it.unibo.tuprolog.solve.problog.lib.primitive.commonMain.it.unibo.tuprolog.solve.problog.lib.primitive.ProbSolveEvidence.kt

commonMain.it.unibo.tuprolog.solve.problog.lib.primitive.commonMain.it.unibo.tuprolog.solve.problog.lib.primitive.ProbSolveWithEvidence.kt

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

commonMain.it.unibo.tuprolog.solve.problog.lib.rules.commonMain.it.unibo.tuprolog.solve.problog.lib.rules.Prob.kt

© 2015 - 2024 Weber Informatics LLC | Privacy Policy