Alternatives and similar repositories for AMR-CSLogic

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

• IBM / ULKB
  A HOL-based framework for reasoning over knowledge graphs
  ☆26Updated 4 months ago
• tetherless-world / explanation-ontology
  Explanation Ontology Resource website
  ☆12Updated last year
• IBM / nesa-demo
  Demo for Neuro-Symbolic Agent (LOA)
  ☆17Updated 3 years ago
• IBM / LOA
  Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games
  ☆55Updated 4 months ago
• Shivam-Miglani / contextual_drl
  Extracting action sequences and generating domain models.
  ☆15Updated 3 years ago
• IBM / neuro-symbolic-ai
  Neuro-Symbolic AI Toolkit
  ☆110Updated 4 months ago
• ML-KULeuven / deepproblog
  DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…
  ☆294Updated last year
• kkalouli / GKR_semantic_parser
  The Graphical Knowledge Representation (GKR) parser: it transforms a given sentence into a layered semantic graph
  ☆13Updated 3 years ago
• IBM / commonsense-rl
  Knowledge-Aware RL agents with Commonsense Reasoning
  ☆79Updated 3 years ago
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆49Updated 3 weeks ago
• andrewcropper / iggp
  A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.
  ☆12Updated 2 years ago
• logictensornetworks / logictensornetworks
  Deep Learning and Logical Reasoning from Data and Knowledge
  ☆341Updated last year
• JanWielemaker / chat80
  Classical CHAT80 NLP system for Prolog
  ☆25Updated 11 months ago
• IBM / Neural_Unification_for_Logic_Reasoning_over_Language
  Neural Unification for Logic Reasoning over Language
  ☆22Updated 4 years ago
• IBM / LNN
  A `Neural = Symbolic` framework for sound and complete weighted real-value logic
  ☆302Updated 3 weeks ago
• friguzzi / aleph
  Port of Aleph to SWI-Prolog
  ☆52Updated last year
• cu-clear / semlink
  Official repository for Semlink resources
  ☆37Updated 4 years ago
• ML-KULeuven / deepstochlog
  ☆38Updated 2 years ago
• allenai / ruletaker
  ☆53Updated last year
• chrzyki / candc
  A repository containing the original C&C CCG parser sources and newer modifications
  ☆25Updated 6 years ago
• opencog / rocca
  Rational OpenCog Controlled Agent (ROCCA). Use OpenCog to control a rational agent in OpenAI Gym and Malmo environments.
  ☆37Updated 2 years ago
• konclude / Konclude
  Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL
  ☆41Updated 3 years ago
• ontologyportal / sigmakee
  Sigma Knowledge Engineering Environment
  ☆117Updated last week
• QuMuLab / pdkb-planning
  Project for converting multi-agent epistemic planning problems to automated planning problems. Also includes utilities for dealing with P…
  ☆22Updated last year
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆24Updated 6 months ago
• leonweber / nlprolog
  Neural Logic Reasoning for Question Answering
  ☆75Updated 4 years ago
• Strong-AI-Lab / A-Neural-Symbolic-Paradigm
  From Symbolic Logic Reasoning to Soft Reasoning: A Neural-Symbolic Paradigm
  ☆11Updated 3 years ago
• allenai / entailment_bank
  ☆46Updated 3 years ago
• delph-in / pydmrs
  A library for manipulating DMRS structures
  ☆14Updated 4 years ago
• thahmann / macleod
  Ontology development environment for Common Logic (CL)
  ☆24Updated 3 years ago