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

Search JAR files by class name

Download solve-problog JAR 1.0.0 with all dependencies

State-machine-based implementation of ProbLog

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

Artifact solve-problog
Group it.unibo.tuprolog
Version 1.0.0
Last update 30. March 2024
Tags: based problog machine implementation state
Organization not specified
URL https://github.com/tuProlog/2p-kt
License Apache-2.0
Dependencies amount 0
Dependencies No dependencies
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 Show documentation

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

0 downloads

Source code of solve-problog version 1.0.0

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