:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteur principal:	Keyi, Hu
Format:	Preprint
Publié:	2025
Sujets:	Artificial Intelligence Logic in Computer Science
Accès en ligne:	https://arxiv.org/abs/2512.03072
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models
par: Joshi, Aniruddha, et autres
Publié: (2025)

Graph-Native Cognitive Memory for AI Agents: Formal Belief Revision Semantics for Versioned Memory Architectures
par: Park, Young Bin
Publié: (2026)

Ethical Hyper-Velocity (EHV): A Hardware-Rooted Zero-Trust Runtime Enforcement Architecture for Agentic AI Systems
par: Sharma, Riddhi Mohan
Publié: (2026)

Explainability-Driven Quality Assessment for Rule-Based Systems
par: Seneviratne, Oshani, et autres
Publié: (2025)

An Information-Flow Perspective on Explainability Requirements: Specification and Verification
par: Finkbeiner, Bernd, et autres
Publié: (2025)

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

Data2Concept2Text: An Explainable Multilingual Framework for Data Analysis Narration
par: Bertini, Flavio, et autres
Publié: (2025)

Categorical Construction of Logically Verifiable Neural Architectures
par: Nye, Logan
Publié: (2025)

Dual Box Embeddings for the Description Logic EL++
par: Jackermeier, Mathias, et autres
Publié: (2023)

Approximate SMT Counting Beyond Discrete Domains
par: Shaw, Arijit, et autres
Publié: (2025)

Explainability by design: an experimental analysis of the legal coding process
par: Cristani, Matteo, et autres
Publié: (2025)

Middle Architecture Criteria
par: Beverley, John, et autres
Publié: (2024)

Modal Logic for Stratified Becoming: Actualization Beyond Possible Worlds
par: Nepvou, Alexandre Le
Publié: (2025)

AI Space Physics: Constitutive boundary semantics for open AI institutions
par: Romanchuk, Oleg, et autres
Publié: (2026)

Reasoning in Neurosymbolic AI
par: Tran, Son, et autres
Publié: (2025)

On logic and generative AI
par: Gurevich, Yuri, et autres
Publié: (2024)

A Gradient-Optimized TSK Fuzzy Framework for Explainable Phishing Detection
par: Pentapalli, Lohith Srikanth, et autres
Publié: (2025)

Aligning with Logic: Measuring, Evaluating and Improving Logical Preference Consistency in Large Language Models
par: Liu, Yinhong, et autres
Publié: (2024)

Comparing Neural Network Encodings for Logic-based Explainability
par: Carvalho, Levi Cordeiro, et autres
Publié: (2025)

Learning Explainable and Better Performing Representations of POMDP Strategies
par: Bork, Alexander, et autres
Publié: (2024)

An XAI View on Explainable ASP: Methods, Systems, and Perspectives
par: Eiter, Thomas, et autres
Publié: (2026)

The Epistemic Asymmetry of Consciousness Self-Reports: A Formal Analysis of AI Consciousness Denial
par: Kim, Chang-Eop
Publié: (2024)

The STAR-XAI Protocol: A Framework for Inducing and Verifying Agency, Reasoning, and Reliability in AI Agents
par: Guasch, Antoni, et autres
Publié: (2025)

Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code
par: Florath, Andreas
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)

Neuro-symbolic AI for Predictive Maintenance (PdM) -- review and recommendations
par: Hamilton, Kyle, et autres
Publié: (2026)

Neuro-Symbolic Strong-AI Robots with Closed Knowledge Assumption: Learning and Deductions
par: Majkic, Zoran
Publié: (2026)

Cloud Kitchen: Using Planning-based Composite AI to Optimize Food Delivery Processes
par: Švancár, Slavomír, et autres
Publié: (2024)

Counting Worlds Branching Time Semantics for post-hoc Bias Mitigation in generative AI
par: Buda, Alessandro G., et autres
Publié: (2026)

Building Trustworthy AI by Addressing its 16+2 Desiderata with Goal-Directed Commonsense Reasoning
par: Tudor, Alexis R., et autres
Publié: (2025)

Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
par: Liu, Qi, et autres
Publié: (2025)

Generative Logic: A New Computer Architecture for Deterministic Reasoning and Knowledge Generation
par: Sergeev, Nikolai
Publié: (2025)

StepProof: Step-by-step verification of natural language mathematical proofs
par: Hu, Xiaolin, et autres
Publié: (2025)

BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving
par: Lamont, Sean, et autres
Publié: (2024)