Neuro-symbolic approaches to reasoning problems from abstract argumentation
☆24Sep 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 3 years ago
- Code for the paper "Towards an Argument Mining Pipeline Transforming Texts to Argument Graphs" presented at COMMA 2020☆27Mar 25, 2025Updated last year
- Code and data for ACL2016 article "Which argument is more convincing? Analyzing and predicting convincingness of Web arguments using bidi…☆28Aug 2, 2016Updated 10 years ago
- [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"☆19Mar 29, 2023Updated 3 years ago
- LTL2PDDL tool☆14Jul 7, 2017Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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 6 months ago
- ☆19Dec 6, 2024Updated last year
- Describes categorical values and bitfields to give values in a file a certain meaning (classification).☆15May 18, 2024Updated 2 years ago
- Linux port of Starcraft game☆13Jan 12, 2022Updated 4 years 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
- ☆13Nov 30, 2022Updated 3 years ago
- A few addons for log4cl Common Lisp logging library.☆15Aug 22, 2026Updated 2 weeks ago
- ☆16Mar 16, 2022Updated 4 years ago
- league/glide wrapper for Laravel☆10Jul 22, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆10Sep 1, 2022Updated 4 years ago
- Real time strategy game using the SDL framework for c++☆14Jan 20, 2017Updated 9 years ago
- Repo for the paper "Detecting Logical Fallacies: From Quiz to Climate Change News" (2021)☆92Dec 11, 2023Updated 2 years ago
- Parser for KAF NAF files written in Python☆16Jul 1, 2021Updated 5 years ago
- An agent-based model for scientific inquiry based on abstract argumentation☆13Jan 17, 2022Updated 4 years ago
- ☆13Sep 15, 2022Updated 3 years ago
- This projects hosts an annotated dataset of 39 transcripts of United States presidential election debates annotated with argument compone…☆12Jun 3, 2019Updated 7 years ago
- A collection of utilities to help with pathname operations.☆13May 18, 2026Updated 3 months ago
- GitHub as a SNS☆10Jan 11, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Experimental code for the paper 'Finding Convincing Arguments Using Scalable Bayesian Preference Learning'☆13Dec 8, 2022Updated 3 years ago
- A Python Package containing wrappers for topic models, including TND, NLDA, GTM, and temporal topic-noise models.☆12Apr 22, 2022Updated 4 years ago
- This is the reference implementation of our NeurIPS 2023 paper "Add and Thin: Diffusion for Temporal Point Processes"☆23Mar 4, 2024Updated 2 years ago
- Makes rustc's exhaustiveness checker solve SAT problems☆16Jul 8, 2021Updated 5 years ago
- Machine Learning scripts for the identification of human values behind arguments.☆24Mar 12, 2024Updated 2 years ago
- Ranking of fine-tuned HF models as base models.☆36Sep 17, 2025Updated 11 months ago
- ☆13May 17, 2021Updated 5 years ago
- a common lisp library for data analysis and manipulation☆12May 28, 2023Updated 3 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 3 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.
- My Lem editor's musings☆12Feb 6, 2026Updated 7 months ago
- Conversational Neuro-Symbolic Commonsense Reasoning☆27Jun 18, 2020Updated 6 years ago
- OpenAI Gym environment for graph search problems such as shortest path.☆11Dec 24, 2019Updated 6 years ago
- A Common Lisp structured logger for Fluentd☆10Nov 25, 2024Updated last year
- Utilities for configuring dask-jobqueue with appropriate settings for NCAR clusters☆14Aug 3, 2026Updated last month
- ☆14Mar 2, 2023Updated 3 years ago
- 泣き顔に見えて、可哀想...☆10Feb 16, 2023Updated 3 years ago