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:
- A HOL-based framework for reasoning over knowledge graphs☆25Updated 10 months ago
- Explanation Ontology Resource website☆11Updated last year
- Demo for Neuro-Symbolic Agent (LOA)☆16Updated 2 years ago
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆48Updated 3 months ago
- Extracting action sequences and generating domain models.☆15Updated 2 years ago
- Neural Unification for Logic Reasoning over Language☆22Updated 3 years ago
- Knowledge-Aware RL agents with Commonsense Reasoning☆78Updated 3 years ago
- Neuro-Symbolic AI Toolkit☆99Updated 2 years ago
- A `Neural = Symbolic` framework for sound and complete weighted real-value logic☆278Updated this week
- Character-based seq2seq models (english => predicate logic)☆15Updated 4 years ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆255Updated last year
- The Graphical Knowledge Representation (GKR) parser: it transforms a given sentence into a layered semantic graph☆13Updated 3 years ago
- Classical CHAT80 NLP system for Prolog☆22Updated 6 months ago
- ☆57Updated 2 years ago
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL☆37Updated 3 years ago
- A repository containing the original C&C CCG parser sources and newer modifications☆25Updated 6 years ago
- Deep Learning and Logical Reasoning from Data and Knowledge☆312Updated 9 months ago
- ☆37Updated 9 months ago
- Python interface for SWI-Prolog☆49Updated 3 weeks ago
- Port of Aleph to SWI-Prolog☆49Updated last year
- Suggested Upper Merged Ontology (SUMO)☆241Updated this week
- Ontolex modules☆33Updated last month
- OWL Class Expressions Learning in Python☆50Updated last week
- A* CCG Parser with a Supertag and Dependency Factored Model☆97Updated 2 years ago
- ☆50Updated 8 months ago
- Sigma Knowledge Engineering Environment☆113Updated this week
- Prolog versions of the WordNet databases☆30Updated last year
- ☆29Updated 2 years ago
- Rational OpenCog Controlled Agent (ROCCA). Use OpenCog to control a rational agent in OpenAI Gym and Malmo environments.☆34Updated 2 years ago
- The Neuro-Symbolic Forward Reasoner☆25Updated 2 years ago