DennisCraandijk / DL-abstract-argumentationView external linksLinks
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
Sorting:
- Code for "Random Features Strengthen Graph Neural Networks" (SDM 2021)☆22Jan 18, 2021Updated 5 years ago
- Code for the paper "Towards an Argument Mining Pipeline Transforming Texts to Argument Graphs" presented at COMMA 2020☆23Mar 25, 2025Updated 10 months 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
- Repo for the paper "Detecting Logical Fallacies: From Quiz to Climate Change News" (2021)☆84Dec 11, 2023Updated 2 years ago
- A Google Chrome extension to open/edit latex files online using www.overleaf.com without the need of any software to be installed.☆10Dec 16, 2016Updated 9 years ago
- Empowering Scientific Research with AI Assistance! Open Source Code for Data-Driven Dimensional Analysis.☆14Aug 7, 2025Updated 6 months ago
- 🍽🍻 Restauration & food recommendation engine and chatbot, built with React, NodeJS and Python☆11Dec 12, 2022Updated 3 years ago
- The repository for the LUCAS/Lucify project☆11Apr 4, 2020Updated 5 years ago
- ☆14Jan 11, 2021Updated 5 years ago
- Quickdocs API server☆11Sep 20, 2021Updated 4 years ago
- The code of AAAI20 paper "Efficient Inference of Optimal Decision Trees"☆10Jun 26, 2020Updated 5 years ago
- Code Roberta version of RetroMAE: Pre-Training Retrieval-oriented Language Models Via Masked Auto-Encoder☆10Mar 16, 2023Updated 2 years ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated 10 months ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Schema serialization, validation and parsing for Common Lisp.☆14Nov 11, 2025Updated 3 months ago
- Promete - Simple, Powerful and Extensible 2D Game Engine for .NET☆14Updated this week
- An agent-based model for scientific inquiry based on abstract argumentation☆13Jan 17, 2022Updated 4 years ago
- Human productivity analytics using computer vision AI based on emotions and gestures.☆11Sep 14, 2018Updated 7 years ago
- Simple JSON encoder/decoder for Common Lisp☆23May 18, 2023Updated 2 years ago
- GitHub as a SNS☆10Jan 11, 2023Updated 3 years ago
- Contracts operations tools, based on LTL☆10Aug 30, 2022Updated 3 years ago
- gnome extension based on the implementation of extendedgesture☆10Apr 24, 2021Updated 4 years ago
- We use an adversarial expert based online learning algorithm to learn the optimal parameters required to maximise wealth trading zero-cos…☆10Apr 8, 2020Updated 5 years ago
- NeuralTokenizer is a very simple to use text tokenizer which uses neural networks from the SimpleDNN library.☆10Jun 18, 2020Updated 5 years ago
- HSAIL (BRIG) frontend for gcc☆11May 7, 2018Updated 7 years ago
- R implementation of Contextual Importance and Utility for Explainable AI☆10Nov 5, 2025Updated 3 months ago
- playing with gpt4☆14Mar 17, 2023Updated 2 years ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 2 months ago
- Ordinary differential equation solver & network simulator.☆12Feb 28, 2023Updated 2 years ago
- SVM Abstrac Verifier tool☆12Oct 13, 2022Updated 3 years ago
- The Dialogflow Fulfillment Builder is a library that helps you to build the responses with ease in order to connect your Dialogflow agent…☆11Mar 5, 2023Updated 2 years ago
- Running RL algorithms on the fish/shark aquarium environment to find unexpected biological insights.☆10Nov 30, 2021Updated 4 years ago
- Hy language support for VSCode☆11Nov 4, 2024Updated last year
- ☆10Sep 7, 2022Updated 3 years ago
- Explanation Ontology Resource website☆12Jun 8, 2024Updated last year
- crystal library for pdf generation (WIP)☆10Jan 8, 2019Updated 7 years ago
- linq in lisp; data set manipulating done easy☆21Jul 4, 2025Updated 7 months ago
- Assistant & life planner for individuals with weak Executive Functions. (Pre-alpha)☆14Oct 7, 2025Updated 4 months ago
- My attempt to make neovim more rust friendly from an IDE perspective while trying to not do all of the things!☆11Oct 3, 2020Updated 5 years ago