diamond

DIAlectical MOdels eNcoDing is a collection of ASP-encodings for ADFs

Status: Inactive

Brought to you by: ellmaus

Downloads: 0 This Week

Last Update: 2022-02-28

Add to Preferred Sources

Abstract dialectical frameworks (ADFs) are a powerful generalisation of Dung's abstract argumentation frameworks. DIAMOND (DIAlectical MOdels eNcoDing) is an answerset programming based software system. It translates ADFs into answer set programs whose stable models correspond to models of the ADF with respect to several semantics (i.e. admissible, complete, stable, grounded).
The target audience for this tool are argumentation researchers.

Features

Compute models for Abstract Dialectical Frameworks (ADFs)
Use all currently proposed representations of ADFs
Compute extensions for Dung's Argumentation Frameworks (AFs)

Project Samples

Project Activity

See All Activity >

License

GNU General Public License version 3.0 (GPLv3)

Follow diamond

diamond Web Site

Other Useful Business Software

Save Up to 91% on Cloud Compute With Spot VMs Icon

Save Up to 91% on Cloud Compute With Spot VMs

Automatic sustained-use discounts. One free VM per month. No negotiation needed.

Run batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.

Start Free

Rate This Project

Login To Rate This Project

User Reviews

Be the first to post a review of diamond!

Additional Project Details

Intended Audience

Science/Research

User Interface

Command-line

Registered

2013-10-14

Report inappropriate content

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.

Start Free

Recommended Projects

ADF Opus
ADF Opus is a file management tool for ADF files and hardfiles. It allows you to perform most common tasks (like copying, renaming, deleting, etc.) with your ADFs without having to go anywhere near an emulator.
NVIDIA Model Optimizer
A unified library of SOTA model optimization techniques
saml2aws
CLI tool which enables you to login and retrieve AWS credentials
LLMs-from-scratch
Implement a ChatGPT-like LLM in PyTorch from scratch, step by step
Federation Metadata Manager for ADFS
This script parses a (Shibboleth) federation metadata XML content and creates a pool of metadata files and a powershell script in order to automatically configure and update an Active Directory Federation Services STS (Security Token Service).