IBM / AMR-CSLogicLinks
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
Alternatives and similar repositories for AMR-CSLogic
Users that are interested in AMR-CSLogic are comparing it to the libraries listed below
Sorting:
- Demo for Neuro-Symbolic Agent (LOA)☆15Updated 2 years ago
- Extracting action sequences and generating domain models.☆14Updated 2 years ago
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆46Updated last month
- A HOL-based framework for reasoning over knowledge graphs☆25Updated 8 months ago
- Character-based seq2seq models (english => predicate logic)☆14Updated 4 years ago
- Knowledge-Aware RL agents with Commonsense Reasoning☆79Updated 3 years ago
- Neural Unification for Logic Reasoning over Language☆22Updated 3 years ago
- A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.☆12Updated 2 years ago
- A neural-symbolic joint reasoning approach for Natural Language Inference (NLI). Modeling NLI as inference path planning through a search…☆14Updated 4 years ago
- Neural Logic Reasoning for Question Answering☆74Updated 4 years ago
- Conversational Neuro-Symbolic Commonsense Reasoning☆26Updated 5 years ago
- The Graphical Knowledge Representation (GKR) parser: it transforms a given sentence into a layered semantic graph☆13Updated 3 years ago
- Explains the conclusions of a logic program.☆9Updated 2 years ago
- ☆48Updated 6 months ago
- DELPH-IN Documentation☆29Updated this week
- Code for generating Quasimodo, a commonsense knowledge base.☆20Updated 3 years ago
- Neuro-Symbolic AI Toolkit☆92Updated last year
- Conditional Theorem Proving☆53Updated 4 years ago
- Adaptation of TextWorld for materials synthesis procedures analysis using Text To Quest System☆9Updated last year
- ☆45Updated last year
- ☆126Updated last year
- A library for manipulating DMRS structures☆14Updated 4 years ago
- Python interface for SWI-Prolog☆49Updated 2 months ago
- Qualitative Reasoning: Spatio-Temporal Reasoning using Relation Algebras and Constraint Networks. Documentation is under construction a…☆36Updated last year
- An abductive reasoning engine written in C++.☆12Updated 6 years ago
- HTTP API to access the C&C/Boxer pipeline☆19Updated 8 years ago
- A repository containing the original C&C CCG parser sources and newer modifications☆25Updated 6 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
- General Inductive Logic Programming System☆17Updated 2 years ago
- GOPHI: an AMR-to-English Verbalizer☆11Updated 5 years ago