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)☆16Updated 3 years ago
- A HOL-based framework for reasoning over knowledge graphs☆26Updated 3 weeks ago
- Explanation Ontology Resource website☆11Updated last year
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆48Updated 3 weeks ago
- Extracting action sequences and generating domain models.☆15Updated 2 years ago
- Knowledge-Aware RL agents with Commonsense Reasoning☆78Updated 3 years ago
- Neuro-Symbolic AI Toolkit☆102Updated 3 weeks ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆266Updated last year
- Python interface for SWI-Prolog☆49Updated 2 weeks ago
- A repository containing the original C&C CCG parser sources and newer modifications☆25Updated 6 years ago
- ☆48Updated last year
- A `Neural = Symbolic` framework for sound and complete weighted real-value logic☆283Updated 3 weeks ago
- A tool for explainability and debugging in Answer Set Programming.☆15Updated 6 months ago
- A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.☆12Updated 2 years ago
- The Graphical Knowledge Representation (GKR) parser: it transforms a given sentence into a layered semantic graph☆13Updated 3 years ago
- Deep Learning and Logical Reasoning from Data and Knowledge☆316Updated 10 months ago
- DELPH-IN Documentation☆29Updated last week
- ☆37Updated 11 months ago
- Port of Aleph to SWI-Prolog☆50Updated last year
- ☆50Updated 10 months ago
- Neural Unification for Logic Reasoning over Language☆22Updated 3 years ago
- The main repository integrating the LaTeX beamer-based slides☆27Updated 6 months ago
- Explains the conclusions of a logic program.☆10Updated 2 years ago
- Project for converting multi-agent epistemic planning problems to automated planning problems. Also includes utilities for dealing with P…☆22Updated 10 months ago
- An inductive logic programming system☆236Updated last week
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL☆38Updated 3 years ago
- Automatically exported from code.google.com/p/colore☆72Updated 10 months ago
- Classical CHAT80 NLP system for Prolog☆23Updated 7 months ago
- OWL Class Expressions Learning in Python☆52Updated this week
- From Symbolic Logic Reasoning to Soft Reasoning: A Neural-Symbolic Paradigm☆11Updated 3 years ago