Download JAR files tagged by reasoning with all dependencies

cqf-fhir-api from group org.opencds.cqf.fhir (version 3.0.0.PRE-1)

FHIR Repository APIs used by this project. Implement these to incorporate clinical reasoning on your platform

Group: org.opencds.cqf.fhir Artifact: cqf-fhir-api
Show all versions Show documentation Show source

0 downloads

Artifact cqf-fhir-api
Group org.opencds.cqf.fhir
Version 3.0.0.PRE-1
Last update 29. March 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies hapi-fhir-base,
There are maybe transitive dependencies!

org.ow2.sat4j.sat from group org.ow2.sat4j (version 2.3.6)

Group: org.ow2.sat4j Artifact: org.ow2.sat4j.sat
Show all versions Show documentation Show source

2 downloads

Artifact org.ow2.sat4j.sat
Group org.ow2.sat4j
Version 2.3.6
Last update 14. December 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 6
Dependencies org.ow2.sat4j.core, org.ow2.sat4j.pb, org.ow2.sat4j.maxsat, commons-beanutils, commons-cli, jchart2d,
There are maybe transitive dependencies!

org.ow2.sat4j.maxsat from group org.ow2.sat4j (version 2.3.6)

Group: org.ow2.sat4j Artifact: org.ow2.sat4j.maxsat
Show all versions Show documentation Show source

4 downloads

Artifact org.ow2.sat4j.maxsat
Group org.ow2.sat4j
Version 2.3.6
Last update 14. December 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 3
Dependencies org.ow2.sat4j.core, org.ow2.sat4j.pb, commons-cli,
There are maybe transitive dependencies!

org.ow2.sat4j.pom from group org.ow2.sat4j (version 2.3.6)

Sat4j is a full featured boolean reasoning library designed to bring state-of-the-art SAT technologies to the Java Virtual Machine.

Group: org.ow2.sat4j Artifact: org.ow2.sat4j.pom
Show all versions

There is no JAR file uploaded. A download is not possible! Please choose another version.

0 downloads

Artifact org.ow2.sat4j.pom
Group org.ow2.sat4j
Version 2.3.6
Last update 14. December 2020
Organization Centre de Recherche en Informatique de Lens (CRIL)
URL http://www.sat4j.org/
License Eclipse Public License 1.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

graal-elder from group fr.lirmm.graphik (version 1.0.17)

A defeasible reasoning tool for existential rules, it supports defeasible reasoning with amibguity blocking/propagating with or without team defeat

Group: fr.lirmm.graphik Artifact: graal-elder
Show all versions Show documentation Show source

0 downloads

Artifact graal-elder
Group fr.lirmm.graphik
Version 1.0.17
Last update 06. March 2019
Organization not specified
URL https://github.com/hamhec/graal-elder
License
Dependencies amount 4
Dependencies graal-defeasible-core, jackson-core, jackson-annotations, jackson-databind,
There are maybe transitive dependencies!

graal-defeasible-core from group fr.lirmm.graphik (version 0.0.6)

This is the core library relying on the GRAAL reasoning tool and containing a Defeasible Existential Rules DLGP parser along with the support for preferences on rules and alternatives

Group: fr.lirmm.graphik Artifact: graal-defeasible-core
Show all versions Show documentation Show source

0 downloads

Artifact graal-defeasible-core
Group fr.lirmm.graphik
Version 0.0.6
Last update 06. March 2019
Organization not specified
URL https://github.com/hamhec/graal-defeasible-core
License
Dependencies amount 4
Dependencies graal-core, graal-io-dlgp, graal-forward-chaining, slf4j-api,
There are maybe transitive dependencies!

procake-framework from group de.uni-trier.wi2 (version 6.0.0)

A domain-independent framework that can be used to implement diverse structural or process-oriented case-based reasoning applications for integrated process and knowledge management. The ProCAKE framework is written in Java and available under GPL3.

Group: de.uni-trier.wi2 Artifact: procake-framework
Show all versions Show documentation Show source

0 downloads

Artifact procake-framework
Group de.uni-trier.wi2
Version 6.0.0
Last update 27. March 2024
Organization not specified
URL https://gitlab.rlp.net/procake/procake-framework
License GNU GENERAL PUBLIC LICENSE, Version 3, 29 June 2007
Dependencies amount 28
Dependencies jakarta.xml.bind-api, slf4j-api, tree, commons-lang3, commons-io, annotations, reflections, jakarta.validation-api, xercesImpl, gnu-regexp, guava, commons-text, commons-math3, commons-collections4, commons-codec, commons-csv, asciitable, jena-arq, jena-core, slib, slib-sml, camunda-bpmn-model, activiti-bpmn-converter, activiti-bpmn-layout, xstream, jettison, jaxb-api, caffeine,
There are maybe transitive dependencies!

marmotta-backend-native from group org.apache.marmotta (version 3.4.0)

This module provides an Apache Marmotta backend using a Sesame Native Store. This is a suitable backend in case no database is available or no advanced features like rule-based reasoning or versioning are required.

Group: org.apache.marmotta Artifact: marmotta-backend-native
Show all versions Show source

0 downloads

Artifact marmotta-backend-native
Group org.apache.marmotta
Version 3.4.0
Last update 12. June 2018
Organization not specified
URL Not specified
License not specified
Dependencies amount 3
Dependencies marmotta-core, marmotta-sail-transactions, sesame-sail-nativerdf,
There are maybe transitive dependencies!

marmotta-reasoner-kiwi from group org.apache.marmotta (version 3.4.0)

Provides support for the sKWRL rule-based reasoning language. Rule programs can be uploaded and are evaluated in a forward chaining algorithm whenever a transaction commits. Since the reasoner evaluates rules directly on the database, reasoning is quite efficient.

Group: org.apache.marmotta Artifact: marmotta-reasoner-kiwi
Show all versions Show source

0 downloads

Artifact marmotta-reasoner-kiwi
Group org.apache.marmotta
Version 3.4.0
Last update 12. June 2018
Organization not specified
URL Not specified
License not specified
Dependencies amount 5
Dependencies marmotta-core, marmotta-backend-kiwi, kiwi-reasoner, codemirror-modes, weld-se-core,
There are maybe transitive dependencies!

marmotta-reasoner from group org.apache.marmotta (version 3.1.0-incubating)

Group: org.apache.marmotta Artifact: marmotta-reasoner
Show all versions Show source

0 downloads

Artifact marmotta-reasoner
Group org.apache.marmotta
Version 3.1.0-incubating
Last update 24. September 2013
Organization not specified
URL Not specified
License not specified
Dependencies amount 3
Dependencies marmotta-core, kiwi-reasoner, weld-se-core,
There are maybe transitive dependencies!

Page 3 from 3 (items total 134)