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.
☆12Updated 2 years ago
Alternatives and similar repositories for AMR-CSLogic:
Users that are interested in AMR-CSLogic are comparing it to the libraries listed below
- A HOL-based framework for reasoning over knowledge graphs☆24Updated 4 months ago
- Demo for Neuro-Symbolic Agent (LOA)☆14Updated 2 years ago
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆41Updated last year
- Knowledge-Aware RL agents with Commonsense Reasoning☆76Updated 2 years ago
- Neural Unification for Logic Reasoning over Language☆22Updated 3 years ago
- Extracting action sequences and generating domain models.☆14Updated 2 years ago
- Neuro-Symbolic AI Toolkit☆85Updated last year
- Python interface for SWI-Prolog☆45Updated 3 weeks ago
- Character-based seq2seq models (english => predicate logic)☆14Updated 4 years ago
- Neural Logic Reasoning for Question Answering☆73Updated 3 years ago
- Java library based on the VLog rule engine☆32Updated 8 months ago
- Experimentation framework for Popper☆21Updated 10 months ago
- Conversational Neuro-Symbolic Commonsense Reasoning☆25Updated 4 years ago
- Convert Abstract Meaning Representation (AMR) into first-order logic☆10Updated 6 months ago
- Prolog interpreter with support for weak unification. Fork of https://bitbucket.org/cfbolz/pyrolog/☆15Updated 4 years ago
- Ontolex modules☆33Updated this week
- Scripts to evaluate scoped meaning representations☆19Updated 2 years ago
- The Graphical Knowledge Representation (GKR) parser: it transforms a given sentence into a layered semantic graph☆13Updated 2 years ago
- ☆56Updated last year
- ☆36Updated 3 months ago
- A library for manipulating DMRS structures☆14Updated 4 years ago
- Official repository for Semlink resources☆33Updated 3 years ago
- A tool for explainability and debugging in Answer Set Programming.☆13Updated 4 months ago
- Conditional Theorem Proving☆51Updated 3 years ago
- ☆44Updated 2 months ago
- Explains the conclusions of a logic program.☆9Updated last year
- HTTP API to access the C&C/Boxer pipeline☆18Updated 7 years ago
- Table to Wikidata Mapping Language☆23Updated 2 years ago
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL☆36Updated 2 years ago
- A repository containing the original C&C CCG parser sources and newer modifications☆25Updated 5 years ago