All Downloads are FREE. Search and download functionalities are using the official Maven repository.
  • Log In
  • Register
    • Search JAR files by class name

    Download decima JAR 0.7 with all dependencies


    Decima is a proof-of-concept Java implementation of the probabilistic logic programming language ProbLog.

    Files of the artifact decima version 0.7 from the group com.computablefacts.

    Test

    Artifact decima
    Group com.computablefacts
    Version 0.7
    Last update 04. November 2020
    Tags: concept programming implementation proof java language decima probabilistic problog logic
    Organization not specified
    URL https://github.com/computablefacts/decima
    License The Apache Software License, Version 2.0
    Dependencies amount 5
    Dependencies junon, nona, bplustree, error_prone_annotations, jackson-dataformat-yaml,
    There are maybe transitive dependencies!
    There is a newer version: 1.39
    Show newest version
    Show more of this group  Show more artifacts with this name
    Show all versions of decima Show documentation

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

    0 downloads

    Source code of decima version 0.7

    META-INF
    META-INF.META-INF.MANIFEST.MF
    com.computablefacts.decima
    com.computablefacts.decima.com.computablefacts.decima.Builder
    com.computablefacts.decima.com.computablefacts.decima.Compiler
    com.computablefacts.decima.com.computablefacts.decima.Solver
    com.computablefacts.decima.json
    com.computablefacts.decima.json.com.computablefacts.decima.json.Fact
    com.computablefacts.decima.json.com.computablefacts.decima.json.HasId
    com.computablefacts.decima.json.com.computablefacts.decima.json.Metadata
    com.computablefacts.decima.json.com.computablefacts.decima.json.Provenance
    com.computablefacts.decima.json.com.computablefacts.decima.json.Relationship
    com.computablefacts.decima.logs
    com.computablefacts.decima.logs.com.computablefacts.decima.logs.LogFormatterManager
    com.computablefacts.decima.problog
    com.computablefacts.decima.problog.com.computablefacts.decima.problog.AbstractKnowledgeBase
    com.computablefacts.decima.problog.com.computablefacts.decima.problog.AbstractTerm
    com.computablefacts.decima.problog.com.computablefacts.decima.problog.Clause
    com.computablefacts.decima.problog.com.computablefacts.decima.problog.Const
    com.computablefacts.decima.problog.com.computablefacts.decima.problog.Estimator
    com.computablefacts.decima.problog.com.computablefacts.decima.problog.InMemoryKnowledgeBase
    com.computablefacts.decima.problog.com.computablefacts.decima.problog.Literal
    com.computablefacts.decima.problog.com.computablefacts.decima.problog.Parser
    com.computablefacts.decima.problog.com.computablefacts.decima.problog.Predicate
    com.computablefacts.decima.problog.com.computablefacts.decima.problog.RandomString
    com.computablefacts.decima.problog.com.computablefacts.decima.problog.Solver
    com.computablefacts.decima.problog.com.computablefacts.decima.problog.Subgoal
    com.computablefacts.decima.problog.com.computablefacts.decima.problog.Var
    com.computablefacts.decima.robdd
    com.computablefacts.decima.robdd.com.computablefacts.decima.robdd.BddManager
    com.computablefacts.decima.robdd.com.computablefacts.decima.robdd.BddNode
    com.computablefacts.decima.robdd.com.computablefacts.decima.robdd.Pair
    com.computablefacts.decima.robdd.com.computablefacts.decima.robdd.Table
    com.computablefacts.decima.robdd.com.computablefacts.decima.robdd.Tuple
    com.computablefacts.decima.trie
    com.computablefacts.decima.trie.com.computablefacts.decima.trie.Trie
    com.computablefacts.decima.trie.com.computablefacts.decima.trie.TrieNode
    com.computablefacts.decima.yaml
    com.computablefacts.decima.yaml.com.computablefacts.decima.yaml.Rule
    com.computablefacts.decima.yaml.com.computablefacts.decima.yaml.Rules
    com.computablefacts.decima.yaml.com.computablefacts.decima.yaml.Test
    data.tests
    data.tests.data.tests.invalid-yaml.yml
    data.tests.data.tests.simple-json.txt
    data.tests.data.tests.valid-yaml.yml
    .log4j.properties
    resources.data.tests
    resources.data.tests.resources.data.tests.invalid-yaml.yml
    resources.data.tests.resources.data.tests.simple-json.txt
    resources.data.tests.resources.data.tests.valid-yaml.yml
    resources
    resources.resources.log4j.properties




    © 2015 - 2025 Weber Informatics LLC | Privacy Policy