:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Fan, Jie
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic Artificial Intelligence
Online-Zugang:	https://arxiv.org/abs/2507.17776
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Logics of False Belief and Radical Ignorance
von: Fan, Jie
Veröffentlicht: (2024)

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

An Overview and Comparison of Axiomatization Structures Regarding Inconsistency Indices' Properties in Pairwise Comparisons Methods
von: Pant, Sangeeta, 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)

Ignorance as an excuse, formally
von: Kubyshkina, Ekaterina, et al.
Veröffentlicht: (2025)

Ignorance with(out) Grasping
von: Kubyshkina, Ekaterina, et al.
Veröffentlicht: (2026)

Axiomatics of Restricted Choices by Linear Orders of Sets with Minimum as Fallback
von: Sauerwald, Kai, et al.
Veröffentlicht: (2025)

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

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

Dynamic Logic of Trust-Based Beliefs
von: Jiang, Junli, et al.
Veröffentlicht: (2025)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
von: Xu, Yang, et al.
Veröffentlicht: (2025)

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

The logic of KM belief update is contained in the logic of AGM belief revision
von: Bonanno, Giacomo
Veröffentlicht: (2026)

Similarity-based analogical proportions
von: Antić, Christian
Veröffentlicht: (2024)

Queries With Exact Truth Values in Paraconsistent Description Logics
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
von: Lyon, Tim S., et al.
Veröffentlicht: (2024)

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

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

The Theory of the Unique Latent Pattern: A Formal Epistemic Framework for Structural Singularity in Complex Systems
von: Bouke, Mohamed Aly
Veröffentlicht: (2025)

The Axiom-Based Atlas: A Structural Mapping of Theorems via Foundational Proof Vectors
von: Yoo, Harim
Veröffentlicht: (2025)

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

Towards an Inferentialist Account of Information Through Proof-theoretic Semantics
von: Collinson, Matthew, et al.
Veröffentlicht: (2026)

On SCC-recursiveness in Quantitative Argumentation
von: Wang, Zongshun, et al.
Veröffentlicht: (2020)

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

Computational Dualism and Objective Superintelligence
von: Bennett, Michael Timothy
Veröffentlicht: (2023)

The logic behind desirable sets of things, and its filter representation
von: de Cooman, Gert, et al.
Veröffentlicht: (2023)

Compression is all you need: Modeling Mathematics
von: Aksenov, Vitaly, et al.
Veröffentlicht: (2026)

C-Causal Blindness
von: de Carvalho, Gonçalo Hora
Veröffentlicht: (2022)

Rethinking Explanations: Formalizing Contrast in Description Logics
von: Mahmood, Yasir, et al.
Veröffentlicht: (2026)

On Probabilistic and Causal Reasoning with Summation Operators
von: Ibeling, Duligur, et al.
Veröffentlicht: (2024)

Analogical proportions II
von: Antić, Christian
Veröffentlicht: (2024)

Defining implication relation for classical logic
von: Fu, Li
Veröffentlicht: (2013)

Axiomatization of Büchi arithmetic
von: Kovalyov, Konstantin
Veröffentlicht: (2024)

Arboreal Categories: An Axiomatic Theory of Resources
von: Abramsky, Samson, et al.
Veröffentlicht: (2021)

Modal Logic for Simulation, Refinement, and Mutual Ignorance
von: van Ditmarsch, Hans, et al.
Veröffentlicht: (2025)

Decidability of Querying First-Order Theories via Countermodels of Finite Width
von: Feller, Thomas, et al.
Veröffentlicht: (2023)

Conditioning Accept-Desirability models in the context of AGM-like belief change
von: Coussement, Kathelijne, et al.
Veröffentlicht: (2025)

Axiomatizing modal inclusion logic and its variants
von: Anttila, Aleksi, et al.
Veröffentlicht: (2023)

Constructive Ethics Based on Proof - Layer 2: The Epistemic Overlay Reasoning Under Uncertainty in a Constructive Ethical System
von: Nymion
Veröffentlicht: (2025)

Constructive Ethics Based on Proof - Layer 2: The Epistemic Overlay Reasoning Under Uncertainty in a Constructive Ethical System
von: Nymion
Veröffentlicht: (2025)