Buchumschlag

On the Complexity of the Grounded Semantics for Infinite Argumentation Frameworks

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Andrews, Uri, Mauro, Luca San
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Artificial Intelligence Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Complexity in finitary argumentation (extended version)
von: Andrews, Uri, et al.
Veröffentlicht: (2025)

Comparing Dialectical Systems: Contradiction and Counterexample in Belief Change (Extended Version)
von: Andrews, Uri, et al.
Veröffentlicht: (2025)

Constrained Assumption-Based Argumentation Frameworks
von: De Angelis, Emanuele, et al.
Veröffentlicht: (2026)

Splitting Argumentation Frameworks with Collective Attacks and Supports
von: Berthold, Matti, et al.
Veröffentlicht: (2026)

Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation
von: Arisaka, Ryuta
Veröffentlicht: (2024)

Deontic Argumentation
von: Governatori, Guido, et al.
Veröffentlicht: (2025)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
von: Joyce, Johnny
Veröffentlicht: (2025)

Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2020)

Defeaters and Eliminative Argumentation in Assurance 2.0
von: Bloomfield, Robin, et al.
Veröffentlicht: (2024)

Technical Report -- A Context-Sensitive Multi-Level Similarity Framework for First-Order Logic Arguments: An Axiomatic Study
von: David, Victor, et al.
Veröffentlicht: (2026)

An Axiomatic Study of the Evaluation of Enthymeme Decoding in Weighted Structured Argumentation
von: Ben-Naim, Jonathan, et al.
Veröffentlicht: (2024)

A Computationally Grounded Framework for Cognitive Attitudes (extended version)
von: de Lima, Tiago, et al.
Veröffentlicht: (2024)

Learning Brave Assumption-Based Argumentation Frameworks via ASP
von: De Angelis, Emanuele, et al.
Veröffentlicht: (2024)

Satisfying Rationality Postulates of Structured Argumentation Through Deductive Support -- Technical Report
von: Cramer, Marcos, et al.
Veröffentlicht: (2026)

Epistemic Logic Programs: Non-Ground and Counting Complexity
von: Eiter, Thomas, et al.
Veröffentlicht: (2025)

Explaining Bayesian Networks in Natural Language using Factor Arguments. Evaluation in the medical domain
von: Sevilla, Jaime, et al.
Veröffentlicht: (2024)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
von: Bloch, Isabelle, et al.
Veröffentlicht: (2025)

Rejection in Abstract Argumentation: Harder Than Acceptance?
von: Fichte, Johannes K., et al.
Veröffentlicht: (2024)

Comparative Expressivity for Structured Argumentation Frameworks with Uncertain Rules and Premises
von: Proietti, Carlo, et al.
Veröffentlicht: (2025)

Abductive Reasoning in a Paraconsistent Framework
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

Strength Change Explanations in Quantitative Argumentation
von: Kampik, Timotheus, et al.
Veröffentlicht: (2026)

Disagree and Commit: Degrees of Argumentation-based Agreements
von: Kampik, Timotheus, et al.
Veröffentlicht: (2024)

Diminution: On Reducing the Size of Grounding ASP Programs
von: Yang, HuanYu, et al.
Veröffentlicht: (2025)

Dialectical Reconciliation via Structured Argumentative Dialogues
von: Vasileiou, Stylianos Loukas, et al.
Veröffentlicht: (2023)

Weak Permission is not Well-Founded, Grounded and Stable
von: Governatori, Guido
Veröffentlicht: (2024)

Evaluation and Comparison Semantics for ODRL
von: Salas, Jaime Osvaldo, et al.
Veröffentlicht: (2025)

Semantic Bridges Between First Order c-Representations and Cost-Based Semantics: An Initial Perspective
von: Leisegang, Nicholas, et al.
Veröffentlicht: (2025)

Approximating Human Models During Argumentation-based Dialogues
von: Tang, Yinxu, et al.
Veröffentlicht: (2024)

Automated Hybrid Grounding Using Structural and Data-Driven Heuristics
von: Beiser, Alexander, et al.
Veröffentlicht: (2025)

Finite Groundings for ASP with Functions: A Journey through Consistency
von: Gerlach, Lukas, et al.
Veröffentlicht: (2024)

Change in Quantitative Bipolar Argumentation: Sufficient, Necessary, and Counterfactual Explanations
von: Kampik, Timotheus, et al.
Veröffentlicht: (2025)

Does Your AI Agent Get You? A Personalizable Framework for Approximating Human Models from Argumentation-based Dialogue Traces
von: Tang, Yinxu, et al.
Veröffentlicht: (2025)

On the Trap Space Semantics of Normal Logic Programs
von: Trinh, Van-Giang, et al.
Veröffentlicht: (2026)

Weighted Rules under the Stable Model Semantics
von: Lee, Joohyung, et al.
Veröffentlicht: (2026)

Knowledge Base Embeddings: Semantics and Theoretical Properties
von: Bourgaux, Camille, et al.
Veröffentlicht: (2024)

Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming
von: Cardellini, Matteo, et al.
Veröffentlicht: (2024)

SHACL Validation in the Presence of Ontologies: Semantics and Rewriting Techniques
von: Oudshoorn, Anouk, et al.
Veröffentlicht: (2025)

Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles
von: Rehan, Zainab, et al.
Veröffentlicht: (2026)

A New Tractable Description Logic under Categorical Semantics
von: Duc, Chan Le, et al.
Veröffentlicht: (2025)

Syntax Is Easy, Semantics Is Hard: Evaluating LLMs for LTL Translation
von: Danso, Priscilla Kyei, et al.
Veröffentlicht: (2026)