Buchumschlag

Encoding Argumentation Frameworks to Propositional Logic Systems

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Tang, Shuai, Wu, Jiachao, Zhou, Ning
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Artificial Intelligence Logic Primary 68T27, Secondary 03B70, 03B50, 03B52, 68Q55 I.2.4; F.4.1
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Encoding argumentation frameworks with set attackers to propositional logic systems
von: Tang, Shuai, et al.
Veröffentlicht: (2025)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
von: Tang, Shuai
Veröffentlicht: (2025)

Which are the True Defeasible Logics?
von: Maher, Michael J.
Veröffentlicht: (2024)

Computing Distinguishing Formulae for Threshold-Based Behavioural Distances
von: Forster, Jonas, et al.
Veröffentlicht: (2026)

NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework
von: Schellhorn, Daniel Romero, et al.
Veröffentlicht: (2026)

Higher-Order Pattern Unification Modulo Similarity Relations
von: Dundua, Besik, et al.
Veröffentlicht: (2025)

Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory
von: Farmer, William M., et al.
Veröffentlicht: (2023)

A novel framework for systematic propositional formula simplification based on existential graphs
von: de Mas, Jordina Francès, et al.
Veröffentlicht: (2024)

A Bisimulation-Invariance-Based Approach to the Separation of Polynomial Complexity Classes
von: Bruse, Florian, et al.
Veröffentlicht: (2026)

Quantitative Graded Semantics and Spectra of Behavioural Metrics
von: Forster, Jonas, et al.
Veröffentlicht: (2023)

Conformance Checking of Fuzzy Logs against Declarative Temporal Specifications
von: Donadello, Ivan, et al.
Veröffentlicht: (2024)

Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction
von: Sochański, Michał, et al.
Veröffentlicht: (2025)

Logical Modalities within the European AI Act: An Analysis
von: Lawniczak, Lara, et al.
Veröffentlicht: (2025)

First-Order Coalition Logic
von: Catta, Davide, et al.
Veröffentlicht: (2025)

Agent Interpolation for Knowledge
von: Bílková, Marta, et al.
Veröffentlicht: (2025)

2-Coherent Internal Models of Homotopical Type Theory
von: Chen, Joshua
Veröffentlicht: (2025)

Random expansions of finite structures with bounded degree
von: Koponen, Vera
Veröffentlicht: (2024)

Generalized Kantorovich-Rubinstein Duality beyond Hausdorff and Kantorovich
von: Wild, Paul, et al.
Veröffentlicht: (2025)

An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic
von: Martina, Antoine, et al.
Veröffentlicht: (2023)

Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras
von: Stanković, Marko, et al.
Veröffentlicht: (2025)

Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models
von: Grosser, Marvin, et al.
Veröffentlicht: (2026)

Black Box Deployed -- Functional Criteria for Artificial Moral Agents in the LLM Era
von: Brophy, Matthew E.
Veröffentlicht: (2025)

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
von: Forster, Jonas, et al.
Veröffentlicht: (2023)

A Minimal Substitution Basis for the Kalmár Elementary Functions
von: Prunescu, Mihai, et al.
Veröffentlicht: (2025)

Univalent Material Set Theory
von: Gylterud, Håkon Robbestad, et al.
Veröffentlicht: (2023)

Adding an Implication to Logics of Perfect Paradefinite Algebras
von: Greati, Vitor, et al.
Veröffentlicht: (2023)

Behavioural Conformances based on Lax Couplings
von: Wild, Paul, et al.
Veröffentlicht: (2025)

Continuous and algebraic domains in univalent foundations
von: de Jong, Tom, et al.
Veröffentlicht: (2024)

Defeasible Reasoning via Datalog$^\neg$
von: Maher, Michael J.
Veröffentlicht: (2021)

Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory
von: Alpay, Faruk, et al.
Veröffentlicht: (2025)

Quantitative Linear Logic
von: Capucci, Matteo, et al.
Veröffentlicht: (2026)

A declarative approach to specifying distributed algorithms using three-valued modal logic
von: Gabbay, Murdoch J., et al.
Veröffentlicht: (2025)

Uniform Interpolation
von: van Gool, Sam
Veröffentlicht: (2025)

Mechanised uniform interpolation for modal logics K, GL, and iSL
von: Férée, Hugo, et al.
Veröffentlicht: (2024)

An Alternative Approach to Formal Mathematics that Focuses on Communication and Accessibility
von: Farmer, William M.
Veröffentlicht: (2026)

Beyond Prediction -- Structuring Epistemic Integrity in Artificial Reasoning Systems
von: Wright, Craig Steven
Veröffentlicht: (2025)

On an ordinary expansion of first-order Belnap-Dunn logic
von: Middelburg, C. A.
Veröffentlicht: (2023)

Labelled Well Quasi Ordered Classes of Bounded Linear Clique-Width
von: Lopez, Aliaume
Veröffentlicht: (2024)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
von: Gylterud, Håkon Robbestad, et al.
Veröffentlicht: (2020)

A vector logic for extensional formal semantics
von: Quigley, Daniel
Veröffentlicht: (2024)