Image de couverture de livre

Complexity in finitary argumentation (extended version)

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Andrews, Uri, Mauro, Luca San
Format:	Preprint
Publié:	2025
Sujets:	Artificial Intelligence Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

SCC-recursiveness in infinite argumentation (extended version)
par: Andrews, Uri, et autres
Publié: (2025)

On the Complexity of the Grounded Semantics for Infinite Argumentation Frameworks
par: Andrews, Uri, et autres
Publié: (2025)

Comparing Dialectical Systems: Contradiction and Counterexample in Belief Change (Extended Version)
par: Andrews, Uri, et autres
Publié: (2025)

Analogues of the countable Borel equivalence relations in the setting of computable reducibility
par: Andrews, Uri, et autres
Publié: (2024)

A Computationally Grounded Framework for Cognitive Attitudes (extended version)
par: de Lima, Tiago, et autres
Publié: (2024)

An action language-based formalisation of an abstract argumentation framework
par: Munro, Yann, et autres
Publié: (2024)

Tenability and Weak Semantics: Modeling Non-uniform Defense -- Extended Version
par: Andrews, Uri, et autres
Publié: (2026)

The Theory of the Unique Latent Pattern: A Formal Epistemic Framework for Structural Singularity in Complex Systems
par: Bouke, Mohamed Aly
Publié: (2025)

The Ontology for Agents, Systems and Integration of Services: OASIS version 2
par: Bella, Giampaolo, et autres
Publié: (2023)

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

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

A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation (full version)
par: Spaans, Jeroen, et autres
Publié: (2025)

Repairing Networks of $\mathcal{EL_\perp}$ Ontologies using Weakening and Completing -- Extended version
par: Li, Ying, et autres
Publié: (2024)

Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming
par: Cardellini, Matteo, et autres
Publié: (2024)

Presburger Functional Synthesis: Complexity and Tractable Normal Forms
par: Akshay, S., et autres
Publié: (2025)

Model Enumeration of Two-Variable Logic with Quadratic Delay Complexity
par: Meng, Qiaolan, et autres
Publié: (2025)

Neuro-Symbolic Verification of LLM Outputs for Data-Sensitive Domains (extended preprint)
par: Sigloch, Paul, et autres
Publié: (2026)

Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster
par: Lutz, Carsten, et autres
Publié: (2024)

Long-term Power Grid Planning via Answer Set Programming
par: Ielo, Antonio, et autres
Publié: (2026)

A Logic for Policy Based Resource Exchanges in Multiagent Systems
par: Ceragioli, Lorenzo, et autres
Publié: (2024)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
par: Bloch, Isabelle, et autres
Publié: (2025)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
par: Joyce, Johnny
Publié: (2025)

Dynamic Logic of Trust-Based Beliefs
par: Jiang, Junli, et autres
Publié: (2025)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
par: Xu, Yang, et autres
Publié: (2025)

Abductive Reasoning in a Paraconsistent Framework
par: Bienvenu, Meghyn, et autres
Publié: (2024)

The logic of KM belief update is contained in the logic of AGM belief revision
par: Bonanno, Giacomo
Publié: (2026)

Similarity-based analogical proportions
par: Antić, Christian
Publié: (2024)

Complexity of the variable-free fragments of non-normal modal logics (extended version)
par: Kudinov, A., et autres
Publié: (2025)

Measuring Rule-based LTLf Process Specifications: A Probabilistic Data-driven Approach
par: Cecconi, Alessio, et autres
Publié: (2023)

A first-order logic characterization of safety and co-safety languages
par: Cimatti, Alessandro, et autres
Publié: (2022)

Axiomatizing Rumsfeld Ignorance
par: Fan, Jie
Publié: (2025)

The Axiom-Based Atlas: A Structural Mapping of Theorems via Foundational Proof Vectors
par: Yoo, Harim
Publié: (2025)

Towards an Inferentialist Account of Information Through Proof-theoretic Semantics
par: Collinson, Matthew, et autres
Publié: (2026)

On SCC-recursiveness in Quantitative Argumentation
par: Wang, Zongshun, et autres
Publié: (2020)

A Simplified and Improved Free-Variable Framework for Hilbert's epsilon as an Operator of Indefinite Committed Choice
par: Wirth, Claus-Peter
Publié: (2011)

Computational Dualism and Objective Superintelligence
par: Bennett, Michael Timothy
Publié: (2023)

The logic behind desirable sets of things, and its filter representation
par: de Cooman, Gert, et autres
Publié: (2023)

Compression is all you need: Modeling Mathematics
par: Aksenov, Vitaly, et autres
Publié: (2026)

C-Causal Blindness
par: de Carvalho, Gonçalo Hora
Publié: (2022)

Rethinking Explanations: Formalizing Contrast in Description Logics
par: Mahmood, Yasir, et autres
Publié: (2026)