DennisCraandijk / DL-abstract-argumentationLinks
Neuro-symbolic approaches to reasoning problems from abstract argumentation
☆23Updated 3 years ago
Alternatives and similar repositories for DL-abstract-argumentation
Users that are interested in DL-abstract-argumentation are comparing it to the libraries listed below
Sorting:
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆283Updated last year
- Python package for Sentential Decision Diagrams (SDD)☆69Updated 3 weeks ago
- Knowledge-Aware RL agents with Commonsense Reasoning☆79Updated 3 years ago
- Neuro-Symbolic AI Toolkit☆109Updated 3 months ago
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆22Updated 2 years ago
- ☆52Updated last year
- DeepSynth is a general-purpose program synthesizer in the programming by example framework: the user provides a few examples as pairs of …☆48Updated last year
- Deep Learning and Logical Reasoning from Data and Knowledge☆332Updated last year
- ☆38Updated last year
- Deep relational learning through differentiable logic programming.☆112Updated 4 months ago
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆54Updated 3 months ago
- Explanation Ontology Resource website☆11Updated last year
- A collection of papers of neural-symbolic AI (mainly focus on NLP applications)☆287Updated last year
- Transformer Grammars: Augmenting Transformer Language Models with Syntactic Inductive Biases at Scale, TACL (2022)☆133Updated 2 weeks ago
- Logic Explained Networks is a python repository implementing explainable-by-design deep learning models.☆53Updated 2 years ago
- Neuro-Symbolic Visual Question Answering on Sort-of-CLEVR using PyTorch☆59Updated 4 years ago
- PyTorch code for the RetoMaton paper: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022)☆74Updated 3 years ago
- Neural Unification for Logic Reasoning over Language☆22Updated 4 years ago
- Repo for the paper "Detecting Logical Fallacies: From Quiz to Climate Change News" (2021)☆84Updated 2 years ago
- Symbolic Reinforcement Learning using Inductive Logic Programming☆62Updated 2 years ago
- Bayesian Assessment of Hypotheses☆26Updated 2 years ago
- ☆49Updated 2 years ago
- The Neuro-Symbolic Forward Reasoner☆26Updated 2 years ago
- ☆137Updated last year
- Conditional Theorem Proving☆53Updated 4 years ago
- NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks)☆134Updated 3 years ago
- Implementation of the paper "FactGraph: Evaluating Factuality in Summarization with Semantic Graph Representations (NAACL 2022)"☆50Updated 2 years ago
- A* CCG Parser with a Supertag and Dependency Factored Model☆98Updated 2 years ago
- Scalable Neural-Probabilistic Answer Set Programming☆17Updated last year
- A `Neural = Symbolic` framework for sound and complete weighted real-value logic☆296Updated last week