IBM / ULKBLinks
A HOL-based framework for reasoning over knowledge graphs
☆26Updated last month
Alternatives and similar repositories for ULKB
Users that are interested in ULKB are comparing it to the libraries listed below
Sorting:
- Neuro-Symbolic AI Toolkit☆106Updated last month
- Demo for Neuro-Symbolic Agent (LOA)☆16Updated 3 years ago
- A service that parses a sentence using AMR and returns a set of Verbnet logic predicates grounded with the roles of the input sentence.☆13Updated 3 years ago
- Explanation Ontology Resource website☆11Updated last year
- A `Neural = Symbolic` framework for sound and complete weighted real-value logic☆287Updated 2 weeks ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆272Updated last year
- Deep Learning and Logical Reasoning from Data and Knowledge☆319Updated 11 months ago
- mOWL: Machine Learning library with Ontologies☆78Updated 3 weeks ago
- Deep relational learning through differentiable logic programming.☆111Updated 2 months ago
- An inductive logic programming system☆238Updated last month
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆50Updated last month
- Embedding OWL ontologies☆106Updated 2 months ago
- A collection of papers of neural-symbolic AI (mainly focus on NLP applications)☆286Updated last year
- Neuro-symbolic interpretation learning (mostly just language-learning, for now)☆177Updated 2 weeks ago
- ☆38Updated 11 months ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆29Updated last year
- A package for ontology engineering with deep learning and language models.☆260Updated 2 weeks ago
- LLMs4OL: Large Language Models for Ontology Learning☆139Updated last year
- for work by the Cognitive AI community group☆65Updated 3 months ago
- AutoMATES: Automated Model Assembly from Text, Equations, and Software☆25Updated 2 years ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆131Updated last year
- ☆36Updated last year
- Python interface for SWI-Prolog☆49Updated last week
- Resources from the Interest Group meet-ups☆73Updated last week
- Character-based seq2seq models (english => predicate logic)☆15Updated 4 years ago
- Ontology matching system based on formal concept analysis☆36Updated 4 years ago
- Symbolic Reinforcement Learning using Inductive Logic Programming☆62Updated 2 years ago
- 🐍 Python Implementation and Extension of RDF2Vec☆263Updated 4 months ago
- Qualitative Reasoning: Spatio-Temporal Reasoning using Relation Algebras and Constraint Networks. Documentation is under construction a…☆38Updated 2 years ago
- Python library that enables using prolog syntax and logic programming in python☆128Updated 2 years ago