14 packages found
Equational reasoning based on the unfailing Knuth-Bendix completion procedure
a Prolog based IoT reasoning middleware in JavaScript
nodes used to evaluate device context given an expression
A rule-based incremental reasoner for the Web.
A collection of reusable Comunica Reasoning context key definitions.
A SPARQL query engine with reasoning capabilities for querying over decentralized RDF knowledge graphs on the Web
A SPARQL query engine with reasoning capabilities for querying over decentralized RDF knowledge graphs on the Web
default configuration files for Comunica Reasoning
Types of Predicate Logic
Mocks for Reasoning in Comunica
A rule-based incremental reasoner for the Web.
A TypeScript wrapper for the EYE reasoner
Bayes Server JavaScript API
- Bayesian network
- Belief network
- Anomaly detection
- Decision Graphs
- Influence Diagrams
- Dynamic Bayesian network
- Artificial intelligence
- Causal network
- Decision automation
- Reasoning
A useful tool for uncanny logical reasoning. NOTICE: This is not a real package!