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
Related projects ⓘ
Alternatives and complementary repositories for AMR-CSLogic
- Demo for Neuro-Symbolic Agent (LOA)☆14Updated 2 years ago
- A HOL-based framework for reasoning over knowledge graphs☆24Updated last month
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆39Updated last year
- Extracting action sequences and generating domain models.☆15Updated last year
- Character-based seq2seq models (english => predicate logic)☆14Updated 3 years ago
- Knowledge-Aware RL agents with Commonsense Reasoning☆75Updated 2 years ago
- ☆11Updated last year
- Neural Unification for Logic Reasoning over Language☆22Updated 3 years ago
- ☆35Updated last week
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL☆35Updated 2 years ago
- The Graphical Knowledge Representation (GKR) parser: it transforms a given sentence into a layered semantic graph☆13Updated 2 years ago
- Official repository for Semlink resources☆32Updated 2 years ago
- Neuro-Symbolic AI Toolkit☆79Updated last year
- Ontolex modules☆30Updated last week
- A repository containing the original C&C CCG parser sources and newer modifications☆25Updated 5 years ago
- HTTP API to access the C&C/Boxer pipeline☆18Updated 7 years ago
- mOWL: Machine Learning library with Ontologies☆59Updated this week
- Convert Abstract Meaning Representation (AMR) into first-order logic☆10Updated 3 months ago
- Java library based on the VLog rule engine☆32Updated 5 months ago
- A tool for explainability and debugging in Answer Set Programming.☆13Updated last month
- Python interface for SWI-Prolog☆42Updated this week
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆196Updated 3 months ago
- CSKG: The CommonSense Knowledge Graph☆113Updated last year
- Neuro-Symbolic Hierarchical Rule Induction☆11Updated last year
- Experimentation framework for Popper☆20Updated 6 months ago
- GLUCOSE: GeneraLized and COntextualized Story Explanations https://arxiv.org/abs/2009.07758☆92Updated 3 years ago
- A `Neural = Symbolic` framework for sound and complete weighted real-value logic☆237Updated 11 months ago
- Tools to update and export ontology RDF.☆34Updated 3 weeks ago
- Neural Logic Reasoning for Question Answering☆72Updated 3 years ago
- RuDaS: Synthetic Datasets for Rule Learning☆18Updated 2 years ago