IBM / RuDaSLinks
RuDaS: Synthetic Datasets for Rule Learning
☆19Updated 3 years ago
Alternatives and similar repositories for RuDaS
Users that are interested in RuDaS are comparing it to the libraries listed below
Sorting:
- DeepLogic: Towards End-to-End Differentiable Logical Reasoning☆25Updated 5 years ago
- Differentiable Learning of Logical Rules for Knowledge Base Reasoning☆221Updated 6 years ago
- Neural Logic Reasoning for Question Answering☆74Updated 4 years ago
- ☆58Updated 5 years ago
- End-to-End Differentiable Proving☆90Updated 6 years ago
- Conditional Theorem Proving☆53Updated 4 years ago
- Markov Logic Networks in Python☆139Updated 4 years ago
- An implementation of Probabilistic Soft Logic Engine using Python/Gurobi☆53Updated 6 years ago
- ☆111Updated 7 years ago
- Implementation of the NLI model in our ACL 2019 paper: Augmenting Neural Networks with First-order Logic.☆43Updated 5 years ago
- Continuous Query Decomposition for Complex Query Answering in Incomplete Knowledge Graphs☆96Updated 2 years ago
- A first cut into exploring the use of dependency links for building Text Graphs, that, among other things, with help of a centrality algo…☆31Updated 2 years ago
- ☆146Updated 5 years ago
- Meandering In Networks of Entities to Reach Verisimilar Answers☆318Updated 6 years ago
- Diagnostic benchmark suite to explicitly test logical relational reasoning on natural language☆96Updated last year
- Analogical inference for knowledge graph completion☆72Updated 8 years ago
- Learning to query complex networks☆117Updated last year
- Conversational Neuro-Symbolic Commonsense Reasoning☆26Updated 5 years ago
- Deep Learning and Logical Reasoning from Data and Knowledge☆319Updated last year
- Leveraging Ontological Schema Information in Embedding Models for Knowledge Graphs☆14Updated 10 years ago
- Extracting action sequences and generating domain models.☆15Updated 2 years ago
- Character-based seq2seq models (english => predicate logic)☆15Updated 4 years ago
- Multi-hop knowledge graph reasoning learned via policy gradient with reward shaping and action dropout☆313Updated last month
- CSKG: The CommonSense Knowledge Graph☆124Updated 2 years ago
- Query2box: Reasoning over Knowledge Graphs in Vector Space Using Box Embeddings☆209Updated 4 years ago
- ☆104Updated 6 years ago
- Various examples to showcase the functionality of PSL.☆64Updated last year
- ☆32Updated 6 years ago
- This repository contains code for the paper "Are Pretrained Language Models Symbolic Reasoners over Knowledge?"☆13Updated 4 years ago
- Code for our NeurIPS 2019 paper "Quantum Embedding of Knowledge for Reasoning" (authors: Dinesh Garg, Shajith Ikbal, Santosh K Srivastava…☆25Updated 5 years ago