Cover Image

Don't Forget Imagination!

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Vityaev, Evgenii E., Mantsivoda, Andrei
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Machine Learning Logic in Computer Science 68T27, 68T30
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The Distributional Uncertainty of the SHAP score in Explainable Machine Learning
by: Cifuentes, Santiago, et al.
Published: (2024)

Semantic Modeling for World-Centered Architectures
by: Mantsivoda, Andrei, et al.
Published: (2026)

State Algebra for Propositional Logic
by: Lesnik, Dmitry, et al.
Published: (2025)

Error Detection and Constraint Recovery in Hierarchical Multi-Label Classification without Prior Knowledge
by: Kricheli, Joshua Shay, et al.
Published: (2024)

A General Framework of Epistemic Forgetting and its Instantiation by Ranking Functions
by: Beierle, Christoph, et al.
Published: (2025)

On Halting vs Converging in Recurrent Graph Neural Networks
by: Bollen, Jeroen, et al.
Published: (2026)

The Representation of Meaningful Precision, and Accuracy
by: Mani, A
Published: (2024)

Domain size asymptotics for Markov logic networks
by: Koponen, Vera
Published: (2025)

Conformance Checking of Fuzzy Logs against Declarative Temporal Specifications
by: Donadello, Ivan, et al.
Published: (2024)

Influence-Inspired Spectral Rotations for Extreme Low-Bit LLM Quantization
by: Pavlov, Gorgi
Published: (2026)

Scaling the Scaling Logic: Agentic Meta-Synthesis of Logic Reasoning
by: Liu, Bowen, et al.
Published: (2026)

Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory
by: Alpay, Faruk, et al.
Published: (2025)

Cogent argument extensions are weakly admissible but not vice versa
by: Bodanza, Gustavo
Published: (2025)

Composition of Relational Features with an Application to Explaining Black-Box Predictors
by: Srinivasan, Ashwin, et al.
Published: (2022)

A convergence law for continuous logic and continuous structures with finite domains
by: Koponen, Vera
Published: (2025)

Learning Symbolic Task Representation from a Human-Led Demonstration: A Memory to Store, Retrieve, Consolidate, and Forget Experiences
by: Buoncompagni, Luca, et al.
Published: (2024)

Computational Complexity of Preferred Subset Repairs on Data-Graphs
by: Pardal, Nina, et al.
Published: (2024)

A Reduction of Input/Output Logics to SAT
by: Steen, Alexander
Published: (2025)

Lifted Algorithms for Symmetric Weighted First-Order Model Sampling
by: Wang, Yuanhong, et al.
Published: (2023)

Temporal Many-valued Conditional Logics: a Preliminary Report
by: Alviano, Mario, et al.
Published: (2024)

Deterministic Event-Graph Substrates as World Models for Counterfactual Reasoning
by: Rovai, Fabio
Published: (2026)

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

Optimal Abstractions for Verifying Properties of Kolmogorov-Arnold Networks (KANs)
by: Schwartz, Noah, et al.
Published: (2026)

Don't Look Back in Anger: MAGIC Net for Streaming Continual Learning with Temporal Dependence
by: Giannini, Federico, et al.
Published: (2026)

Structure Transfer: an Inference-Based Calculus for the Transformation of Representations
by: Raggi, Daniel, et al.
Published: (2025)

Answer Set Networks: Casting Answer Set Programming into Deep Learning
by: Skryagin, Arseny, et al.
Published: (2024)

A logic-based framework for database repairs
by: Fröhlich, Nicolas, et al.
Published: (2023)

Stemming Hallucination in Language Models Using a Licensing Oracle
by: Emanuilov, Simeon, et al.
Published: (2025)

Verifiably Robust Conformal Prediction
by: Jeary, Linus, et al.
Published: (2024)

Are Targeted Messages More Effective?
by: Grohe, Martin, et al.
Published: (2024)

Consistency-based Abductive Reasoning over Perceptual Errors of Multiple Pre-trained Models in Novel Environments
by: Leiva, Mario, et al.
Published: (2025)

A Neural Affinity Framework for Abstract Reasoning: Diagnosing the Compositional Gap in Transformer Architectures via Procedural Task Taxonomy
by: Ingram, Miguel, et al.
Published: (2025)

Correct Chains, Wrong Answers: Dissociating Reasoning from Output in LLM Logic
by: Rao, Abinav, et al.
Published: (2026)

A Complete Fragment of LTL(EB)
by: Ferrarotti, Flavio, et al.
Published: (2024)

A logic for reasoning with inconsistent knowledge -- A reformulation using nowadays terminology (2024)
by: Roos, Nico
Published: (2024)

Propositional Measure Logic
by: Aragão, Francisco
Published: (2025)

JAM: Controllable and Responsible Text Generation via Causal Reasoning and Latent Vector Manipulation
by: Huang, Yingbing, et al.
Published: (2025)

ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics
by: Haak, Anselm, et al.
Published: (2026)

There is a deep 1-generic set
by: Li, Ang
Published: (2024)

Probabilistic Variational Causal Approach in Observational Studies
by: Faghihi, Usef, et al.
Published: (2022)