Alternatives and similar repositories for AMR-CSLogic

Users that are interested in AMR-CSLogic are comparing it to the libraries listed below

• tetherless-world / explanation-ontology
  Explanation Ontology Resource website
  ☆11Updated last year
• IBM / ULKB
  A HOL-based framework for reasoning over knowledge graphs
  ☆25Updated this week
• IBM / nesa-demo
  Demo for Neuro-Symbolic Agent (LOA)
  ☆16Updated 2 years ago
• IBM / LOA
  Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games
  ☆48Updated 4 months ago
• IBM / commonsense-rl
  Knowledge-Aware RL agents with Commonsense Reasoning
  ☆78Updated 3 years ago
• allenai / ruletaker
  ☆50Updated 9 months ago
• delph-in / docs
  DELPH-IN Documentation
  ☆29Updated this week
• ML-KULeuven / deepproblog
  DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…
  ☆259Updated last year
• JanWielemaker / chat80
  Classical CHAT80 NLP system for Prolog
  ☆23Updated 6 months ago
• IBM / Neural_Unification_for_Logic_Reasoning_over_Language
  Neural Unification for Logic Reasoning over Language
  ☆22Updated 3 years ago
• kkalouli / GKR_semantic_parser
  The Graphical Knowledge Representation (GKR) parser: it transforms a given sentence into a layered semantic graph
  ☆13Updated 3 years ago
• Shivam-Miglani / contextual_drl
  Extracting action sequences and generating domain models.
  ☆15Updated 2 years ago
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆49Updated last week
• alevkov / text2log
  Character-based seq2seq models (english => predicate logic)
  ☆15Updated 4 years ago
• IBM / neuro-symbolic-ai
  Neuro-Symbolic AI Toolkit
  ☆100Updated this week
• yakazimir / esslli_neural_symbolic
  Course resources and notes for the ESSLLI 2023 course on neural symbolic methods.
  ☆16Updated 7 months ago
• bramucas / xclingo
  Explains the conclusions of a logic program.
  ☆10Updated 2 years ago
• IBM / LNN
  A `Neural = Symbolic` framework for sound and complete weighted real-value logic
  ☆280Updated last week
• chrzyki / candc
  A repository containing the original C&C CCG parser sources and newer modifications
  ☆25Updated 6 years ago
• dice-group / Ontolearn
  OWL Class Expressions Learning in Python
  ☆51Updated last week
• ontologyportal / sigmakee
  Sigma Knowledge Engineering Environment
  ☆113Updated this week
• ilaspltd / ILASP-releases
  ☆37Updated 10 months ago
• RdR1024 / prolog2gpt
  SWI Prolog library to interface to the GPT API
  ☆19Updated last year
• andrewcropper / iggp
  A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.
  ☆12Updated 2 years ago
• ml4ai / automates
  AutoMATES: Automated Model Assembly from Text, Equations, and Software
  ☆25Updated 2 years ago
• ML-KULeuven / deepstochlog
  ☆36Updated last year
• leonweber / nlprolog
  Neural Logic Reasoning for Question Answering
  ☆74Updated 4 years ago
• cu-clear / semlink
  Official repository for Semlink resources
  ☆34Updated 3 years ago
• allenai / entailment_bank
  ☆45Updated 2 years ago
• Aunsiels / CSK
  Code for generating Quasimodo, a commonsense knowledge base.
  ☆20Updated 4 years ago