IBM / ULKBLinks
A HOL-based framework for reasoning over knowledge graphs
☆25Updated 8 months ago
Alternatives and similar repositories for ULKB
Users that are interested in ULKB are comparing it to the libraries listed below
Sorting:
- 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
- Demo for Neuro-Symbolic Agent (LOA)☆15Updated 2 years ago
- A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.☆12Updated 2 years ago
- Neuro-Symbolic AI Toolkit☆92Updated last year
- mOWL: Machine Learning library with Ontologies☆68Updated 5 months ago
- DeepLogic: Towards End-to-End Differentiable Logical Reasoning☆24Updated 4 years ago
- Deep relational learning through differentiable logic programming.☆105Updated 11 months ago
- ☆33Updated last year
- This repo in the implementation of EMNLP'21 paper "SPARQLing Database Queries from Intermediate Question Decompositions" by Irina Saparin…☆34Updated 3 years ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆26Updated 8 months ago
- Counterfactual Local Explanations of AI systems☆28Updated 3 years ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆240Updated 10 months ago
- Conditional Theorem Proving☆53Updated 4 years ago
- Character-based seq2seq models (english => predicate logic)☆14Updated 4 years ago
- Python interface for SWI-Prolog☆49Updated 2 months ago
- 'Cooking with Python and KBpedia' recipes and Jupyter Notebooks☆28Updated 4 years ago
- Data Science Ontology☆38Updated last month
- Ontology representing a 360-view of a person (or cohort) that spans across multiple domains, from health to social.☆34Updated last year
- Members of the Knowledge Graphs Interest Group at the Alan Turing Institute☆25Updated 10 months ago
- BERTMap: A BERT-Based Ontology Alignment System☆64Updated last year
- Semantic flow graphs for data science☆29Updated 2 years ago
- Experimentation framework for Popper☆23Updated last year
- Codebase for plCoP, a Prolog Technology Reinforcement Learning Prover☆12Updated 4 years ago
- Scalable Neural-Probabilistic Answer Set Programming☆17Updated last year
- The Metacognitive Integrated Dual-Cycle Architecture (MIDCA)☆25Updated 2 years ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆15Updated 5 months ago
- RuDaS: Synthetic Datasets for Rule Learning☆19Updated 3 years ago
- Python package for Sentential Decision Diagrams (SDD)☆62Updated 4 months ago
- CoDEx: A set of knowledge graph Completion Datasets Extracted from Wikidata and Wikipedia☆163Updated 10 months ago
- Neural Logic Reasoning for Question Answering☆74Updated 4 years ago