Neuro-symbolic approaches to reasoning problems from abstract argumentation
☆23Sep 14, 2022Updated 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆10Nov 10, 2021Updated 4 years ago
- Code for "Random Features Strengthen Graph Neural Networks" (SDM 2021)☆22Jan 18, 2021Updated 5 years ago
- Official repository for paper "Goal-Aware Neural SAT Solver"☆17Jun 10, 2023Updated 2 years ago
- Code for the paper "Towards an Argument Mining Pipeline Transforming Texts to Argument Graphs" presented at COMMA 2020☆23Mar 25, 2025Updated last year
- PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers☆42Jun 12, 2023Updated 2 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Code and data for ACL2016 article "Which argument is more convincing? Analyzing and predicting convincingness of Web arguments using bidi…☆28Aug 2, 2016Updated 9 years ago
- [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"☆19Mar 29, 2023Updated 3 years ago
- Code and data for EMNLP2016 article "What makes a convincing argument? Empirical analysis and detecting attributes of convincingness in W…☆13Nov 9, 2016Updated 9 years ago
- LTL2PDDL tool☆11Jul 7, 2017Updated 8 years ago
- The replication package of <Sentiment Analysis for Software Engineering: How Far Can Pre-trained Transformer Models Go?>. Accepted by IC…☆11Nov 29, 2023Updated 2 years ago
- Python implementation of Senti4SD☆11Jun 21, 2024Updated last year
- Generating Counterfactual Explanation Images through Generative Adversarial Learning☆12Jul 1, 2021Updated 4 years ago
- ☆10Oct 21, 2022Updated 3 years ago
- ☆13Dec 11, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- ☆21Mar 18, 2026Updated last week
- ☆12Nov 30, 2022Updated 3 years ago
- FM Synthesizer with step sequencer for Arduboy☆22Aug 7, 2019Updated 6 years ago
- PyTorch implementation of NeuroSAT☆28May 21, 2023Updated 2 years ago
- Code Roberta version of RetroMAE: Pre-Training Retrieval-oriented Language Models Via Masked Auto-Encoder☆10Mar 16, 2023Updated 3 years ago
- A few addons for log4cl Common Lisp logging library.☆14Jan 9, 2026Updated 2 months ago
- ☆12Aug 19, 2025Updated 7 months ago
- A program that allows you to translate neural networks created with Keras to fuzzy logic programs, in order to tune these networks from a…☆18Sep 19, 2019Updated 6 years ago
- ☆16Dec 29, 2019Updated 6 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- league/glide wrapper for Laravel☆10Jan 26, 2026Updated 2 months ago
- Real time strategy game using the SDL framework for c++☆14Jan 20, 2017Updated 9 years ago
- ☆10Sep 1, 2022Updated 3 years ago
- Contracts operations tools, based on LTL☆10Aug 30, 2022Updated 3 years ago
- web interface for crome-synthesis☆10Sep 19, 2022Updated 3 years ago
- ☆10Sep 7, 2022Updated 3 years ago
- Repo for the paper "Detecting Logical Fallacies: From Quiz to Climate Change News" (2021)☆88Dec 11, 2023Updated 2 years ago
- A package for compositional system analysis and design☆29Jul 22, 2025Updated 8 months ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 4 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- An agent-based model for scientific inquiry based on abstract argumentation☆13Jan 17, 2022Updated 4 years ago
- Experimental code for the paper 'Finding Convincing Arguments Using Scalable Bayesian Preference Learning'☆12Dec 8, 2022Updated 3 years ago
- ☆24Jan 20, 2023Updated 3 years ago
- Rule Extraction from Unsupervised Anomaly Detection in Security☆23Apr 23, 2025Updated 11 months ago
- Makes rustc's exhaustiveness checker solve SAT problems☆16Jul 8, 2021Updated 4 years ago
- ☆13Sep 15, 2022Updated 3 years ago
- Laravel Config with DB-storage support☆21Oct 15, 2018Updated 7 years ago