Cover Image

Argumentative Characterizations of (Extended) Disjunctive Logic Programs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Heyninck, Jesse, Arieli, Ofer
Format:	Preprint
Published:	2023
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation (full version)
by: Spaans, Jeroen, et al.
Published: (2025)

Interpretable Hybrid Machine Learning Models Using FOLD-R++ and Answer Set Programming
by: Wielinga, Sanne, et al.
Published: (2025)

Operator-based semantics for choice programs: is choosing losing? (full version)
by: Heyninck, Jesse
Published: (2024)

An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation (full version)
by: Heyninck, Jesse
Published: (2024)

Extension-ranking Semantics for Abstract Argumentation Preprint
by: Skiba, Kenneth, et al.
Published: (2025)

Defeasible Conditionals using Answer Set Programming
by: Dennison, Racquel, et al.
Published: (2026)

Abstract Dialectical Frameworks are Boolean Networks (full version)
by: Heyninck, Jesse, et al.
Published: (2024)

Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics (Extended Version)
by: Kettmann, Pascal, et al.
Published: (2025)

On Strong Equivalence Notions in Logic Programming and Abstract Argumentation
by: Buraglio, Giovanni, et al.
Published: (2026)

Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
by: Kettmann, Pascal, et al.
Published: (2026)

Broadening the Applicability of Conditional Syntax Splitting for Reasoning from Conditional Belief Bases
by: Spiegel, Lars-Phillip, et al.
Published: (2026)

Extended Version of: On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions?
by: Hecher, Markus, et al.
Published: (2024)

Comparing Non-minimal Semantics for Disjunction in Answer Set Programming
by: Aguado, Felicidad, et al.
Published: (2025)

On the Correspondence of Non-flat Assumption-based Argumentation and Logic Programming with Negation as Failure in the Head
by: Rapberger, Anna, et al.
Published: (2024)

Understanding Enthymemes in Argument Maps: Bridging Argument Mining and Logic-based Argumentation
by: Ben-Naim, Jonathan, et al.
Published: (2024)

Zero-Shot Signal Temporal Logic Planning with Disjunctive Branch Selection in Dynamic Semantic Maps
by: Ye, Bowen, et al.
Published: (2026)

Counting Answer Sets of Disjunctive Answer Set Programs
by: Kabir, Mohimenul, et al.
Published: (2025)

Reasoning with Inconsistent Possibilistic Description Logics Ontologieswith Disjunctive Assertions
by: Sergio Alejandro Gómez
Published: (2015)

A perceptual bias of AI Logical Argumentation Ability in Writing
by: Cun, Xi, et al.
Published: (2025)

LLM-based Argument Mining meets Argumentation and Description Logics: a Unified Framework for Reasoning about Debates
by: Alfano, Gianvincenzo, et al.
Published: (2026)

Revisiting Vacuous Reduct Semantics for Abstract Argumentation (Extended Version)
by: Blümel, Lydia, et al.
Published: (2024)

Explaining Non-monotonic Normative Reasoning using Argumentation Theory with Deontic Logic
by: Yu, Zhe, et al.
Published: (2024)

A Logical Fallacy-Informed Framework for Argument Generation
by: Mouchel, Luca, et al.
Published: (2024)

Disentangling Neural Disjunctive Normal Form Models
by: Baugh, Kexin Gu, et al.
Published: (2025)

Correlated Mutations for Integer Programming
by: Shir, Ofer M., et al.
Published: (2025)

Retrieval- and Argumentation-Enhanced Multi-Agent LLMs for Judgmental Forecasting (Extended Version with Supplementary Material)
by: Gorur, Deniz, et al.
Published: (2025)

Extending Complex Logical Queries on Uncertain Knowledge Graphs
by: Fei, Weizhi, et al.
Published: (2024)

DMON: A Simple yet Effective Approach for Argument Structure Learning
by: Sun, Wei, et al.
Published: (2024)

Differentiable Logic Programming for Distant Supervision
by: Takemura, Akihiro, et al.
Published: (2024)

Blockbuster, Part 1: Block-level AI Operator Fusion
by: Dekel, Ofer
Published: (2025)

Facets in Argumentation: A Formal Approach to Argument Significance
by: Fichte, Johannes, et al.
Published: (2025)

Extending Defeasibility for Propositional Standpoint Logics
by: Leisegang, Nicholas, et al.
Published: (2025)

PDDL Axioms Are Equivalent to Least Fixed Point Logic (Extended Version)
by: Grundke, Claudia, et al.
Published: (2025)

Non-Monotonic S4F Standpoint Logic (Extended Version with Proofs)
by: Gorczyca, Piotr, et al.
Published: (2025)

Semirings for Probabilistic and Neuro-Symbolic Logic Programming
by: Derkinderen, Vincent, et al.
Published: (2024)

Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation
by: Arisaka, Ryuta
Published: (2024)

ChatLogic: Integrating Logic Programming with Large Language Models for Multi-Step Reasoning
by: Wang, Zhongsheng, et al.
Published: (2024)

Disjunctive and Conjunctive Normal Form Explanations of Clusters Using Auxiliary Information
by: Downey, Robert F., et al.
Published: (2025)

Large Language and Reasoning Models are Shallow Disjunctive Reasoners
by: Khalid, Irtaza, et al.
Published: (2025)

Tackling the Root of Misinformation by Teaching Laypeople about Logical Fallacies via Socratic Questioning and Critical Argumentation
by: Shi, Minjing, et al.
Published: (2026)