IBM / semanticflowgraph
Semantic flow graphs for data science
☆28Updated 2 years ago
Alternatives and similar repositories for semanticflowgraph:
Users that are interested in semanticflowgraph are comparing it to the libraries listed below
- Data Science Ontology☆36Updated 4 months ago
- Julia wrapper around SWI Prolog☆13Updated 2 years ago
- A web-based application for collaborating on simulation models in real-time using Firebase☆35Updated 2 months ago
- Primary implementation of the Venture probabilistic programming system☆28Updated 5 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 3 years ago
- A collection of (public) specifications in different formalisms.☆15Updated 10 months ago
- Python interface for SWI-Prolog☆44Updated this week
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Updated last year
- AutoMATES: Automated Model Assembly from Text, Equations, and Software☆25Updated last year
- A Benchmark for Machine Learning from Structured Data☆21Updated 3 years ago
- Logic Programming in Python☆30Updated 3 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆70Updated 2 months ago
- ☆16Updated 2 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆25Updated last month
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 6 months ago
- ☆68Updated 2 months ago
- A web-based repository for distributed ontologies.☆32Updated 7 years ago
- A HOL-based framework for reasoning over knowledge graphs☆24Updated 3 months ago
- Language bindings for Maude☆20Updated 2 weeks ago
- The Heterogeneous Tool Set☆57Updated this week
- Probabilistic programming system for fast and exact symbolic inference☆77Updated 6 months ago
- TPTP python library and benchmarking service☆12Updated 5 years ago
- Metamath verifier in Python☆36Updated 9 months ago
- Simplicial sets and other combinatorial models of geometric spaces☆32Updated this week
- A rule engine based on Attempto Controlled English☆18Updated 2 months ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆25Updated 7 months ago
- The OntoUML lightweight editor (OLED) is an environment for the development, evaluation and implementation of domain ontologies using the…☆41Updated last year
- Flow graphs for Python☆25Updated 2 years ago
- Multi-target API for graph analytics with Dask☆27Updated 4 months ago