:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Pineda, Luis A.
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence F.0
Online Access:	https://arxiv.org/abs/2502.10383
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The Opaque Law of Artificial Intelligence
by: Calderonio, Vincenzo
Published: (2023)

Explainable Planning for Hybrid Systems
by: Sarwar, Mir Md Sajid
Published: (2026)

A Theoretical Computer Science Perspective on Free Will
by: Blum, Manuel, et al.
Published: (2022)

AI-Oracle Machines for Intelligent Computing
by: Wang, Jie
Published: (2024)

Data quality dimensions for fair AI
by: Quaresmini, Camilla, et al.
Published: (2023)

Development of Hybrid Artificial Intelligence Training on Real and Synthetic Data: Benchmark on Two Mixed Training Strategies
by: Wachter, Paul, et al.
Published: (2025)

Thinking Like a Student: AI-Supported Reflective Planning in a Theory-Intensive Computer Science Course
by: Izsak, Noa
Published: (2025)

Emotion-Gradient Metacognitive RSI (Part I): Theoretical Foundations and Single-Agent Architecture
by: Ando, Rintaro
Published: (2025)

On the Conditions for Domain Stability for Machine Learning: a Mathematical Approach
by: Pedroza, Gabriel
Published: (2024)

Expressive Power of Graph Transformers via Logic
by: Ahvonen, Veeti, et al.
Published: (2025)

Graph neural networks and MSO
by: Ahvonen, Veeti, et al.
Published: (2025)

Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats
by: Ahvonen, Veeti, et al.
Published: (2024)

Cross-Attention and Encoder-Decoder Transformers: A Logical Characterization
by: Ahvonen, Veeti, et al.
Published: (2026)

Decoupling Positional and Symbolic Attention Behavior in Transformers
by: Urrutia, Felipe, et al.
Published: (2025)

Explainable Artificial Intelligence (XAI) 2.0: A Manifesto of Open Challenges and Interdisciplinary Research Directions
by: Longo, Luca, et al.
Published: (2023)

Preprint: Exploring Inevitable Waypoints for Unsolvability Explanation in Hybrid Planning Problems
by: Sarwar, Mir Md Sajid, et al.
Published: (2025)

Solving Combinatorial Counting Problems with Weighted First-Order Model Counting
by: Wang, Yuanhong, et al.
Published: (2026)

Explainable Artificial Intelligence: Precepts, Methods, and Opportunities for Research in Construction
by: Love, Peter ED, et al.
Published: (2022)

Proof-Carrying Neuro-Symbolic Code
by: Komendantskaya, Ekaterina
Published: (2025)

Instance Configuration for Sustainable Job Shop Scheduling
by: Perez, Christian, et al.
Published: (2024)

Logical Expressiveness of Graph Neural Networks with Hierarchical Node Individualization
by: Soeteman, Arie, et al.
Published: (2025)

Weighted First Order Model Counting for Two-variable Logic with Axioms on Two Relations
by: Kuang, Qipeng, et al.
Published: (2025)

The Luna Bound Propagator for Formal Analysis of Neural Networks
by: LeCates, Henry, et al.
Published: (2026)

Sensemaking in Novel Environments: How Human Cognition Can Inform Artificial Agents
by: Patterson, Robert E., et al.
Published: (2025)

Can Artificial Intelligence solve the blockchain oracle problem? Unpacking the Challenges and Possibilities
by: Caldarelli, Giulio
Published: (2025)

Mechanized Foundations of Structural Governance: Machine-Checked Proofs for Governed Intelligence
by: McCann, Alan L.
Published: (2026)

Constructibility and the P versus NP problem
by: Hole, Arne
Published: (2024)

Justice in Healthcare Artificial Intelligence in Africa
by: Ochasi, Aloysius, et al.
Published: (2024)

Redundancy-as-Masking: Formalizing the Artificial Age Score (AAS) to Model Memory Aging in Generative AI
by: Kayadibi, Seyma Yaman
Published: (2025)

Immersion for AI: Immersive Learning with Artificial Intelligence
by: Morgado, Leonel
Published: (2025)

Artificial Inductive Bias for Synthetic Tabular Data Generation in Data-Scarce Scenarios
by: Apellániz, Patricia A., et al.
Published: (2024)

Formalising Human-in-the-Loop: Computational Reductions, Failure Modes, and Legal-Moral Responsibility
by: Chiodo, Maurice, et al.
Published: (2025)

Interpretation, Learning, and Empathy as One Constraint: A Residual-Adequacy Architecture with Accountable Abstention
by: Amornbunchornvej, Chainarong
Published: (2026)

A Taxonomy of Omnicidal Futures Involving Artificial Intelligence
by: Critch, Andrew, et al.
Published: (2025)

Toward a Physical Theory of Intelligence
by: Fagan, Peter David
Published: (2025)

Tractable Weighted First-Order Model Counting with Bounded Treewidth Binary Evidence
by: Kůla, Václav, et al.
Published: (2025)

A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers
by: Sun, Shixin, et al.
Published: (2026)

Interpretability Can Be Actionable
by: Orgad, Hadas, et al.
Published: (2026)

Segmented Confidence Sequences and Multi-Scale Adaptive Confidence Segments for Anomaly Detection in Nonstationary Time Series
by: Li, Muyan Anna, et al.
Published: (2025)

Knowledge as a Breaking of Ergodicity
by: He, Yang, et al.
Published: (2024)