cplint
by friguzzi
cplint is a suite of programs for reasoning with probabilistic logic programs
AI summary
Logic reasoner
A suite of programs for reasoning with probabilistic logic programs
- stars
- 69
- forks
- 13
- watching
- 11
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Reasoner library
Provides Python bindings for an optimized description logic reasoner
triska/clpz189
Constraint solver
A system for solving problems with logical rules and integer arithmetic constraints
Logic query library
A F# client library that provides a simple interface to interact with a sandboxed Prolog environment for querying and evaluating logic rules.
Logic prog lang
A compiler-based implementation of a minimalist logic programming language
Logic Checker
An open-source framework for detecting and mitigating object hallucinations in large vision-language models by analyzing logical consistency.
EL reasoner
A reasoner for the description logic EL+ ontology language
RL reasoner
An OWL 2 RL reasoner with performance optimized for data processing tasks
Randomized algorithms reasoner
A library for reasoning about randomized algorithms in Coq
rlouf/mcx328
Probabilistic programming toolset
Tools and methods for Bayesian deep learning using probabilistic programming.
Ontology reasoner
An algorithmic reasoner for describing and inferring relationships in large-scale ontologies
cpeikert/lol225
Lattice cryptography library
A cryptographic library built on top of lattices that enables fully-homomorphic encryption
Multimodal Reasoner
An open-source software framework for multimodal visual reasoning tasks by integrating visual context and logical reasoning
Prolog implementation
An implementation of a Warren Abstract Machine in Common Lisp to support logic programming and Prolog-like functionality.
OWL reasoner
An OWL 2 DL reasoner built on top of Pellet, providing functionality for inference and reasoning with ontologies.
CI tool
A tool that integrates YAMLlint into the Pronto continuous integration and testing framework
Featured in 1 awesome list
Each link jumps to the spot where the list mentions cplint.
