ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2306.07126
29
0
v1v2 (latest)

Argumentative Characterizations of (Extended) Disjunctive Logic Programs

12 June 2023
J. Heyninck
O. Arieli
ArXiv (abs)PDFHTML
Main:20 Pages
2 Figures
Bibliography:4 Pages
Appendix:1 Pages
Abstract

This paper continues an established line of research about the relations between argumentation theory, particularly assumption-based argumentation, and different kinds of logic programs. In particular, we extend known result of Caminada, Schultz and Toni by showing that assumption-based argumentation can represent not only normal logic programs, but also disjunctive logic programs and their extensions. For this, we consider some inference rules for disjunction that the core logic of the argumentation frameworks should respect, and show the correspondence to the handling of disjunctions in the heads of the logic programs' rules. Under consideration in Theory and Practice of Logic Programming (TPLP).

View on arXiv
@article{heyninck2025_2306.07126,
  title={ Argumentative Characterizations of (Extended) Disjunctive Logic Programs },
  author={ Jesse Heyninck and Ofer Arieli },
  journal={arXiv preprint arXiv:2306.07126},
  year={ 2025 }
}
Comments on this paper