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: ⓘ
- A HOL-based framework for reasoning over knowledge graphs☆24Updated last month
- Demo for Neuro-Symbolic Agent (LOA)☆14Updated last year
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆36Updated last year
- Extracting action sequences and generating domain models.☆15Updated last year
- Python interface for SWI-Prolog☆36Updated last week
- Neuro-Symbolic AI Toolkit☆73Updated last year
- The Graphical Knowledge Representation (GKR) parser: it transforms a given sentence into a layered semantic graph☆13Updated 2 years ago
- Knowledge-Aware RL agents with Commonsense Reasoning☆75Updated 2 years ago
- A tool for explainability and debugging in Answer Set Programming.☆10Updated 3 months ago
- ☆35Updated last year
- General Inductive Logic Programming System☆17Updated last year
- Explains the conclusions of a logic program.☆9Updated last year
- Character-based seq2seq models (english => predicate logic)☆14Updated 3 years ago
- 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
- A library for manipulating DMRS structures☆14Updated 3 years ago
- ☆39Updated 10 months ago
- ☆11Updated last year
- ☆25Updated 7 months ago
- Conditional Theorem Proving☆51Updated 3 years ago
- Symbolic Reinforcement Learning using Inductive Logic Programming☆61Updated last year
- An abductive reasoning engine written in C++.☆13Updated 5 years ago
- HTTP API to access the C&C/Boxer pipeline☆18Updated 7 years ago
- Official repository for Semlink resources☆32Updated 2 years ago
- Neural Logic Reasoning for Question Answering☆72Updated 3 years ago
- Scripts to evaluate scoped meaning representations☆18Updated 2 years ago
- mOWL: Machine Learning library with Ontologies☆55Updated 3 weeks ago
- RuDaS: Synthetic Datasets for Rule Learning☆18Updated 2 years ago
- The Socio-physical Model of Activities (SOMA) is a formal activity model for embodied agents that need to operate their body to generate …☆16Updated last month
- This repository contains the Framester resource, the main outcome of the framester project.☆34Updated 4 years ago
- A repository containing the original C&C CCG parser sources and newer modifications☆24Updated 5 years ago