Alternatives and similar repositories for RuDaS

Users that are interested in RuDaS are comparing it to the libraries listed below

• nuric / deeplogic
  DeepLogic: Towards End-to-End Differentiable Logical Reasoning
  ☆24Updated 4 years ago
• uclnlp / ctp
  Conditional Theorem Proving
  ☆53Updated 4 years ago
• leonweber / nlprolog
  Neural Logic Reasoning for Question Answering
  ☆74Updated 4 years ago
• uclnlp / ntp
  End-to-End Differentiable Proving
  ☆89Updated 6 years ago
• uclnlp / gntp
  ☆58Updated 5 years ago
• ptarau / DeepRank
  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 last year
• hovinhthinh / RuLES
  Rule Learning with Embedding Support
  ☆25Updated 2 years ago
• quark0 / ANALOGY
  Analogical inference for knowledge graph completion
  ☆72Updated 7 years ago
• OpenBioLink / SAFRAN
  Scalable and fast non-redundant rule application for link prediction
  ☆45Updated 9 months ago
• ForoughA / CORGI
  Conversational Neuro-Symbolic Commonsense Reasoning
  ☆26Updated 5 years ago
• IBM / Neural_Unification_for_Logic_Reasoning_over_Language
  Neural Unification for Logic Reasoning over Language
  ☆22Updated 3 years ago
• fanyangxyz / Neural-LP
  Differentiable Learning of Logical Rules for Knowledge Base Reasoning
  ☆217Updated 6 years ago
• uclnlp / cqd
  Continuous Query Decomposition for Complex Query Answering in Incomplete Knowledge Graphs
  ☆97Updated 2 years ago
• zsoltzombori / plcop
  Codebase for plCoP, a Prolog Technology Reinforcement Learning Prover
  ☆12Updated 4 years ago
• HLR / DomiKnowS
  ☆39Updated last week
• IBM / AMR-CSLogic
  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
• facebookresearch / clutrr
  Diagnostic benchmark suite to explicitly test logical relational reasoning on natural language
  ☆94Updated last year
• leonweber / spyrolog
  Prolog interpreter with support for weak unification. Fork of https://bitbucket.org/cfbolz/pyrolog/
  ☆15Updated 5 years ago
• knowledgegraph / schema
  Leveraging Ontological Schema Information in Embedding Models for Knowledge Graphs
  ☆14Updated 10 years ago
• samuelbroscheit / open_knowledge_graph_embeddings
  Code to train open knowledge graph embeddings and to create a benchmark for open link prediction.
  ☆25Updated last year
• Shivam-Miglani / contextual_drl
  Extracting action sequences and generating domain models.
  ☆14Updated 2 years ago
• swarnaHub / PRover
  [EMNLP 2020] PyTorch code of PRover: Proof Generation for Interpretable Reasoning over Rules
  ☆19Updated last year
• IBM / dualtkb
  https://arxiv.org/abs/2010.14660
  ☆17Updated 3 years ago
• uclnlp / inferbeddings
  Injecting Background Knowledge in Neural Models via Adversarial Set Regularisation
  ☆60Updated 7 years ago
• dair-iitd / KBI
  ☆23Updated 5 years ago
• icgw / FCA-Map
  Ontology matching system based on formal concept analysis
  ☆33Updated 4 years ago
• uma-pi1 / kge-iclr20
  ☆37Updated 4 years ago
• utahnlp / layer_augmentation
  Implementation of the NLI model in our ACL 2019 paper: Augmenting Neural Networks with First-order Logic.
  ☆44Updated 4 years ago
• SmartDataAnalytics / LiteralE
  Knowledge Graph Embeddings learned from the structure and literals of knowledge graphs
  ☆44Updated 3 years ago
• azreasoners / NeurASP
  ☆45Updated last year