stefano-bragaglia / DePYsibleLinks
An implementation of Defeasible Logic in Python
☆15Updated 7 years ago
Alternatives and similar repositories for DePYsible
Users that are interested in DePYsible are comparing it to the libraries listed below
Sorting:
- ☆15Updated 6 years ago
- Deep relational learning through differentiable logic programming.☆112Updated 3 months ago
- A list of resources dedicated to compositionality☆14Updated 6 years ago
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆22Updated 2 years ago
- Bayesian Assessment of Hypotheses☆25Updated 2 years ago
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.☆12Updated 4 years ago
- Relevant code for the "Show Your Work" paper, EMNLP 2019.☆18Updated 6 years ago
- ☆51Updated 11 months ago
- Code for "Learning Compositional Rules via Neural Program Synthesis"☆60Updated 4 years ago
- ☆108Updated 2 years ago
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆34Updated 5 years ago
- Conditional Theorem Proving☆53Updated 4 years ago
- A supplementary code for Beyond Vector Spaces: Compact Data Representation as Differentiable Weighted Graphs.☆47Updated 6 years ago
- Intelligence Task Ontology (ITO)☆74Updated 3 years ago
- Weakly Supervised Text-to-SQL Parsing through Question Decomposition☆23Updated 2 years ago
- Code for the benchmark containing dataset, models and metrics for productive concept learning -- a kind of compositional reasoning task t…☆17Updated 4 years ago
- ☆19Updated 2 years ago
- Implementation of experiments in paper "Learning from Rules Generalizing Labeled Exemplars" to appear in ICLR2020 (https://openreview.net…☆50Updated 2 years ago
- A plugin for code generation in PyCharm/IntelliJ using tranX☆36Updated 2 months ago
- Logic Explained Networks is a python repository implementing explainable-by-design deep learning models.☆51Updated 2 years ago
- AutoMATES: Automated Model Assembly from Text, Equations, and Software☆25Updated 2 years ago
- End-to-End Differentiable Proving☆90Updated 7 years ago
- Holographic Reduced Representations☆26Updated last year
- A PyTorch-based open-source framework that provides methods for improving the weakly annotated data and allows researchers to efficiently…☆108Updated last year
- Python package for Sentential Decision Diagrams (SDD)☆67Updated last week
- Codebase implementing LMs for learning the Dyck-(k,m) bounded hierarchical language☆16Updated 5 years 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 2 years ago
- ☆14Updated 4 years ago
- ☆36Updated 11 months ago
- ☆44Updated 8 months ago