IBM / ULKB
A HOL-based framework for reasoning over knowledge graphs
☆24Updated 6 months ago
Alternatives and similar repositories for ULKB:
Users that are interested in ULKB are comparing it to the libraries listed below
- 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 3 years ago
- Demo for Neuro-Symbolic Agent (LOA)☆14Updated 2 years ago
- Neuro-Symbolic AI Toolkit☆90Updated last year
- A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.☆12Updated 2 years ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆233Updated 9 months ago
- mOWL: Machine Learning library with Ontologies☆66Updated 3 months ago
- A. Cropper and S.H. Muggleton. Learning efficient logic programs. Machine learning, 2019.☆14Updated 7 years ago
- Python interface for SWI-Prolog☆46Updated 2 weeks ago
- Deep relational learning through differentiable logic programming.☆104Updated 9 months ago
- Experimentation framework for Popper☆22Updated last year
- RuDaS: Synthetic Datasets for Rule Learning☆19Updated 2 years ago
- DeepLogic: Towards End-to-End Differentiable Logical Reasoning☆23Updated 4 years ago
- Conditional Theorem Proving☆53Updated 4 years ago
- A `Neural = Symbolic` framework for sound and complete weighted real-value logic☆261Updated this week
- ☆18Updated 2 years ago
- Character-based seq2seq models (english => predicate logic)☆14Updated 4 years ago
- 💊 Qualitative and quantitative optimization in answer set programming☆20Updated 11 months ago
- ☆31Updated last year
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL☆37Updated 2 years ago
- Neural Unification for Logic Reasoning over Language☆22Updated 3 years ago
- Code for generating Quasimodo, a commonsense knowledge base.☆20Updated 3 years ago
- Members of the Knowledge Graphs Interest Group at the Alan Turing Institute☆25Updated 9 months ago
- ☆43Updated 2 years ago
- for work by the Cognitive AI community group☆60Updated this week
- ☆37Updated 5 months ago
- 'Cooking with Python and KBpedia' recipes and Jupyter Notebooks☆29Updated 4 years ago
- General Inductive Logic Programming System☆17Updated 2 years ago
- Continuous Query Decomposition for Complex Query Answering in Incomplete Knowledge Graphs☆97Updated 2 years ago
- OWL Class Expressions Learning in Python☆48Updated 2 weeks ago
- Port of Aleph to SWI-Prolog☆47Updated last year