An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic

Antoine Martina, Alexander Steen
12/8/2023
cs.LOcs.AI

No confident code implementation found for this paper.

Abstract

An approach for encoding abstract dialectical frameworks and their semantics into classical higher-order logic is presented. Important properties and semantic relationships are formally encoded and proven using the proof assistant Isabelle/HOL. This approach allows for the computer-assisted analysis of abstract dialectical frameworks using automated and interactive reasoning tools within a uniform logic environment. Exemplary applications include the formal analysis and verification of meta-theoretical properties, and the generation of interpretations and extensions under specific semantic constraints.

View on arXivView PDF

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. Any repos shown below are weak matches — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Similar Papers

Teaching Higher-Order Logic Using Isabelle

83% match2024

Translating SUMO-K to Higher-Order Set Theory

81% match2023

Mathematical Proof Assistants for Teaching Logic: The LogiKEy Methodology

79% match2026

Qiana: A First-Order Formalism to Quantify over Contexts and Formulas with Temporality

78% match2026

A Formal Algebraic Framework for DSL Composition

78% match2023

State Algebra for Propositional Logic

78% match2025

Cite this paper

@article{martina2023encoding,
  title  = {An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic},
  author = {Antoine Martina and Alexander Steen},
  year   = {2023},
  eprint = {2312.08375},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2312.08375v1}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/2312.08375.svg)](https://codeofpaper.com/paper/2312.08375)

Discussion