An implementation of the ASPIC+ framework for structured argumentation.
☆16Nov 6, 2026Updated this week
Alternatives and similar repositories for arg2p-kt
Users that are interested in arg2p-kt are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Shazam music identification algorithm http://squobble.blogspot.com/2005/04/shazamhome.html☆12May 27, 2018Updated 8 years ago
- A Kotlin Multi-Platform ecosystem for symbolic AI☆117Updated this week
- Quantum Wordle☆16Oct 31, 2026Updated last week
- This repository is now at https://gitlab.wikimedia.org/toolforge-repos/ocr☆17May 19, 2026Updated 5 months ago
- Distributed constraint satisfaction with recursive message-passing agents☆16Dec 11, 2017Updated 8 years ago
- 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.
- A miniature version of the l4 language☆13Jun 29, 2025Updated last year
- Generating Counterfactual Explanation Images through Generative Adversarial Learning☆12Jul 1, 2021Updated 5 years ago
- A clean, modern, and fully responsive HTML résumé (CV) template☆14Mar 13, 2026Updated 7 months ago
- This repository contains code for explaining prototypes learned by ProtoPNet, by quantifying the influence of color hue, shape, texture, …☆17Mar 31, 2021Updated 5 years ago
- Adversarial Black box Explainer generating Latent Exemplars☆10May 18, 2022Updated 4 years ago
- Heuristic best-first algorithm for computing Evidence Counterfactuals (SEDC): explaining the model predictions of any classifier using a …☆14Jun 8, 2020Updated 6 years ago
- Lightweight Industrial Ontology Support☆21Nov 27, 2025Updated 11 months ago
- Save, track and query 3D+time locations of objects in the AtomSpace☆17Apr 3, 2025Updated last year
- Formal Verification of Top Single Layer Encoding☆11Dec 6, 2025Updated 11 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- MProtoNet: A Case-Based Interpretable Model for Brain Tumor Classification with 3D Multi-parametric Magnetic Resonance Imaging☆16Nov 22, 2023Updated 2 years ago
- UI/Viz Orchestration- Layout engine, widget state, reactivity☆13May 5, 2026Updated 6 months ago
- The new intelligent grounder of the logic-based Artificial Intelligence system DLV☆25Dec 7, 2023Updated 2 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆14Mar 8, 2025Updated last year
- Dynamic analysis of multithreaded C programs☆13Feb 7, 2020Updated 6 years ago
- Java implementation of HSLuv (revision 4)☆28Aug 16, 2026Updated 2 months ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 5 years ago
- DCR js editor☆11Oct 21, 2026Updated 2 weeks ago
- The (very) small kernel of the LaTTe proof assistant☆12May 29, 2026Updated 5 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆13Jul 8, 2024Updated 2 years ago
- Automatically exported from code.google.com/p/xadd-inference☆11Aug 11, 2016Updated 10 years ago
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆14Updated this week
- Symbolic and Automatic Differentiation of Languages in Lean☆10May 9, 2025Updated last year
- Tool to perform various types of inference in probabilistic answer set programs under the credal semantics and with statistical statement…☆11Sep 28, 2026Updated last month
- ☆11Feb 20, 2020Updated 6 years ago
- 🚀 Curated resources for Google's Agent Payments Protocol (AP2), A2A & x402 — blogs, videos, repos & specs. Contributions welcome!☆16Sep 30, 2026Updated last month
- Crema: Credal Models Algorithms☆12Mar 6, 2024Updated 2 years ago
- ☆11Feb 17, 2025Updated last year
- 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.
- A simple command-line bibtex query utility written in Lean 4☆11Oct 27, 2026Updated last week
- A client-server based extensible performance testing simulation tool for Thread Pool System.☆88Updated this week
- Rust implementation of CRYSTALS post-quantum cryptography primitives: Kyber key-encapsulation mechanism and Dilitium digital signature al…☆15Aug 1, 2022Updated 4 years ago
- Draw SLDNF trees in LaTeX☆10May 7, 2025Updated last year
- Maude MSOS Tool (MMT) is an execution environment for Modular Structural Operational Semantics (MSOS) specifications that brings the powe…☆10Nov 1, 2016Updated 10 years ago
- Github mirror of MediaWiki extension WikibaseQualityConstraints - our actual code is hosted with Gerrit (please see https://www.mediawiki…☆14Updated this week
- Lean4 library for substitution inspired by autosubst☆16Oct 23, 2026Updated 2 weeks ago