Imagen de Portada

On Strong Equivalence Notions in Logic Programming and Abstract Argumentation

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Buraglio, Giovanni, Dvorak, Wolfgang, Woltran, Stefan
Formato:	Preprint
Publicado:	2026
Materias:	Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Splitting Assumption-Based Argumentation Frameworks
por: Buraglio, Giovanni, et al.
Publicado: (2026)

An Extension-Based Argument-Ranking Semantics: Social Rankings in Abstract Argumentation Long Version
por: Bengel, Lars, et al.
Publicado: (2024)

Splitting Argumentation Frameworks with Collective Attacks and Supports
por: Berthold, Matti, et al.
Publicado: (2026)

Epistemic Logic Programs: Non-Ground and Counting Complexity
por: Eiter, Thomas, et al.
Publicado: (2025)

Visualizing Extensions of Argumentation Frameworks as Layered Graphs
por: Nöllenburg, Martin, et al.
Publicado: (2024)

Argumentative Characterizations of (Extended) Disjunctive Logic Programs
por: Heyninck, Jesse, et al.
Publicado: (2023)

Automated Hybrid Grounding Using Structural and Data-Driven Heuristics
por: Beiser, Alexander, et al.
Publicado: (2025)

On the Equivalence between Logic Programming and SETAF
por: Alcântara, João, et al.
Publicado: (2024)

Combining Voting and Abstract Argumentation to Understand Online Discussions
por: Bernreiter, Michael, et al.
Publicado: (2024)

Diversity of Extensions in Abstract Argumentation
por: Fichte, Johannes K., et al.
Publicado: (2026)

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

Supported Abstract Argumentation for Case-Based Reasoning
por: Gould, Adam, et al.
Publicado: (2025)

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

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

Abstract Weighted Based Gradual Semantics in Argumentation Theory
por: Libman, Assaf, et al.
Publicado: (2024)

Enhancing Conflict Resolution in Language Models via Abstract Argumentation
por: Li, Zhaoqun, et al.
Publicado: (2024)

Preference-Based Abstract Argumentation for Case-Based Reasoning (with Appendix)
por: Gould, Adam, et al.
Publicado: (2024)

An Extension-based Approach for Computing and Verifying Preferences in Abstract Argumentation
por: Mahesar, Quratul-ain, et al.
Publicado: (2024)

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

Automated Verification of Equivalence Properties in Advanced Logic Programs -- Bachelor Thesis
por: Heuer, Jan
Publicado: (2023)

On the Complexity of the Discussion-based Semantics in Abstract Argumentation
por: Blümel, Lydia, et al.
Publicado: (2026)

Counterfactual and Semifactual Explanations in Abstract Argumentation: Formal Foundations, Complexity and Computation
por: Alfano, Gianvincenzo, et al.
Publicado: (2024)

Dialogue-based Explanations for Logical Reasoning using Structured Argumentation
por: Ho, Loan, et al.
Publicado: (2025)

Learning Differentiable Logic Programs for Abstract Visual Reasoning
por: Shindo, Hikaru, et al.
Publicado: (2023)

Strong Equivalence in Answer Set Programming with Constraints
por: Cabalar, Pedro, et al.
Publicado: (2025)

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

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

Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence
por: Fandinno, Jorge, et al.
Publicado: (2024)

Choices and their Provenance: Explaining Stable Solutions of Abstract Argumentation Frameworks
por: Ludäscher, Bertram, et al.
Publicado: (2025)

On Strong and Weak Admissibility in Non-Flat Assumption-Based Argumentation
por: Berthold, Matti, et al.
Publicado: (2025)

LogicPrpBank: A Corpus for Logical Implication and Equivalence
por: Liu, Zhexiong, et al.
Publicado: (2024)

Rejection in Abstract Argumentation: Harder Than Acceptance?
por: Fichte, Johannes K., et al.
Publicado: (2024)

OMNI-EPIC: Open-endedness via Models of human Notions of Interestingness with Environments Programmed in Code
por: Faldor, Maxence, et al.
Publicado: (2024)

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

What is an "Abstract Reasoner"? Revisiting Experiments and Arguments about Large Language Models
por: Yun, Tian, et al.
Publicado: (2025)

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

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

Abstract Meaning Representation-Based Logic-Driven Data Augmentation for Logical Reasoning
por: Bao, Qiming, et al.
Publicado: (2023)

TACO -- Twitter Arguments from COnversations
por: Feger, Marc, et al.
Publicado: (2024)

ASP-Bench: From Natural Language to Logic Programs
por: Szeider, Stefan
Publicado: (2026)