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:
- 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
- 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
- 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
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A platform that provides users with easy access to AI services developed by Montimage and usage of explainable AI techniques (e.g., LIME,…☆10Feb 17, 2026Updated 2 months ago
- Python implementation of Senti4SD☆11Jun 21, 2024Updated last year
- Generating Counterfactual Explanation Images through Generative Adversarial Learning☆12Jul 1, 2021Updated 4 years ago
- Predict edit intentions on Wikipedia☆19Jan 24, 2019Updated 7 years ago
- ☆13Dec 11, 2021Updated 4 years ago
- Linux port of Starcraft game☆14Jan 12, 2022Updated 4 years ago
- ☆12Nov 30, 2022Updated 3 years ago
- 🍽🍻 Restauration & food recommendation engine and chatbot, built with React, NodeJS and Python☆11Dec 12, 2022Updated 3 years ago
- PyTorch implementation of NeuroSAT☆28May 21, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A high-performance Constraint Programming solver, created before the yellow things took the same name.☆31Apr 11, 2026Updated last week
- A few addons for log4cl Common Lisp logging library.☆14Jan 9, 2026Updated 3 months ago
- ☆12Aug 19, 2025Updated 7 months ago
- ☆16Dec 29, 2019Updated 6 years ago
- league/glide wrapper for Laravel☆10Apr 3, 2026Updated 2 weeks ago
- A List of Papers on Theoretical Foundations of Graph Neural Networks☆46Updated this week
- Real time strategy game using the SDL framework for c++☆14Jan 20, 2017Updated 9 years ago
- ☆17Mar 16, 2022Updated 4 years ago
- Repo for the paper "Detecting Logical Fallacies: From Quiz to Climate Change News" (2021)☆89Dec 11, 2023Updated 2 years ago
- AI Agents on 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.
- A supervised learning based tool to identify toxic code review comments☆18Sep 15, 2025Updated 7 months ago
- A package for compositional system analysis and design☆30Jul 22, 2025Updated 8 months ago
- Quickdocs API server☆12Sep 20, 2021Updated 4 years ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 5 months ago
- ☆24Jan 20, 2023Updated 3 years ago
- A collection of utilities to help with pathname operations.☆13Aug 13, 2025Updated 8 months ago
- GitHub as a SNS☆10Jan 11, 2023Updated 3 years ago
- My attempt to make neovim more rust friendly from an IDE perspective while trying to not do all of the things!☆12Oct 3, 2020Updated 5 years ago
- Makes rustc's exhaustiveness checker solve SAT problems☆16Jul 8, 2021Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Laravel Config with DB-storage support☆21Oct 15, 2018Updated 7 years ago
- ☆13May 17, 2021Updated 4 years ago
- Iron Seed is a science-fiction DOS game from 1994, which was both developed and published by Channel 7. Gameplay is real-time, featuring…☆14Mar 15, 2025Updated last year
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Conversational Neuro-Symbolic Commonsense Reasoning☆26Jun 18, 2020Updated 5 years ago
- This projects hosts an annotated dataset of 39 transcripts of United States presidential election debates annotated with argument compone…☆12Jun 3, 2019Updated 6 years ago
- ☆22Jul 2, 2020Updated 5 years ago