stefano-bragaglia / DePYsibleLinks
An implementation of Defeasible Logic in Python
☆15Updated 6 years ago
Alternatives and similar repositories for DePYsible
Users that are interested in DePYsible are comparing it to the libraries listed below
Sorting:
- Weakly Supervised Text-to-SQL Parsing through Question Decomposition☆22Updated last year
- Experimentation framework for Popper☆22Updated last year
- Code for the benchmark containing dataset, models and metrics for productive concept learning -- a kind of compositional reasoning task t…☆17Updated 3 years ago
- Adaptation of TextWorld for materials synthesis procedures analysis using Text To Quest System☆9Updated last year
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.☆12Updated 4 years ago
- ☆15Updated 6 years ago
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆20Updated last year
- ☆10Updated 4 years ago
- Conditional Theorem Proving☆53Updated 4 years ago
- ☆34Updated 5 months ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- ☆48Updated 6 months ago
- Codebase implementing LMs for learning the Dyck-(k,m) bounded hierarchical language☆15Updated 4 years ago
- ☆13Updated 4 years ago
- Ranking of fine-tuned HF models as base models.☆35Updated last month
- A HOL-based framework for reasoning over knowledge graphs☆25Updated 7 months ago
- A first cut into exploring the use of dependency links for building Text Graphs, that, among other things, with help of a centrality algo…☆31Updated last year
- ☆12Updated 2 years ago
- Bayesian Assessment of Hypotheses☆24Updated last year
- ☆18Updated 2 years ago
- Ludwig benchmark☆20Updated 3 years ago
- Code for gradient rollback, which explains predictions of neural matrix factorization models, as for example used for knowledge base comp…☆21Updated 4 years ago
- ☆16Updated 2 months ago
- Code for the paper SciCo: Hierarchical Cross-Document Coreference for Scientific Concepts (AKBC 2021). https://openreview.net/forum?id=OF…☆29Updated 3 years ago
- Code to reproduce experiments appearing in the academic paper Lost Relatives of the Gumbel Trick☆17Updated 7 years ago
- Codebase for plCoP, a Prolog Technology Reinforcement Learning Prover☆12Updated 4 years ago
- Manipulate NNF (Negation Normal Form) logical sentences☆17Updated 2 years ago
- Deep relational learning through differentiable logic programming.☆104Updated 10 months ago
- Converter from UD-trees to BART representation☆36Updated last year
- LEMON: Explainable Entity Matching☆18Updated 3 years ago