IBM / ULKB
A HOL-based framework for reasoning over knowledge graphs
☆24Updated last month
Related projects ⓘ
Alternatives and complementary repositories for ULKB
- A service that parses a sentence using AMR and returns a set of Verbnet logic predicates grounded with the roles of the input sentence.☆12Updated 2 years ago
- Demo for Neuro-Symbolic Agent (LOA)☆14Updated 2 years ago
- Neuro-Symbolic AI Toolkit☆79Updated last year
- A `Neural = Symbolic` framework for sound and complete weighted real-value logic☆237Updated 11 months ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆196Updated 3 months ago
- ☆26Updated 9 months ago
- Character-based seq2seq models (english => predicate logic)☆14Updated 3 years ago
- RuDaS: Synthetic Datasets for Rule Learning☆18Updated 2 years ago
- Python interface for SWI-Prolog☆42Updated this week
- Ontology matching system based on formal concept analysis☆33Updated 4 years ago
- Deep Learning and Logical Reasoning from Data and Knowledge☆276Updated last week
- mOWL: Machine Learning library with Ontologies☆59Updated this week
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL☆35Updated 2 years ago
- Counterfactual Local Explanations of AI systems☆29Updated 3 years ago
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆181Updated this week
- Experimentation framework for Popper☆20Updated 6 months ago
- Teaching material relevant to KGs☆94Updated 3 months ago
- Resources from the Interest Group meet-ups☆63Updated this week
- Deep relational learning through differentiable logic programming.☆100Updated 3 months ago
- ☆35Updated last week
- ☆11Updated last year
- A package for ontology engineering with deep learning and language models.☆193Updated this week
- Neuro-symbolic interpretation learning (mostly just language-learning, for now)☆137Updated last month
- Neural Unification for Logic Reasoning over Language☆22Updated 3 years ago
- 'Cooking with Python and KBpedia' recipes and Jupyter Notebooks☆28Updated 3 years ago
- Rational OpenCog Controlled Agent (ROCCA). Use OpenCog to control a rational agent in OpenAI Gym and Malmo environments.☆32Updated last year
- A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.☆12Updated last year
- Members of the Knowledge Graphs Interest Group at the Alan Turing Institute☆22Updated 3 months ago
- ☆10Updated 2 years ago