:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autor principal:	Mani, A
Formato:	Preprint
Publicado:	2024
Materias:	Artificial Intelligence Machine Learning Logic in Computer Science 68T30, 68T37, 03G25
Acceso en línea:	https://arxiv.org/abs/2410.14721
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Domain size asymptotics for Markov logic networks
por: Koponen, Vera
Publicado: (2025)

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

State Algebra for Propositional Logic
por: Lesnik, Dmitry, et al.
Publicado: (2025)

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

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

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

Don't Forget Imagination!
por: Vityaev, Evgenii E., et al.
Publicado: (2025)

TAPO-Description Logic for Information Behavior: Refined OBoxes, Inference, and Categorical Semantics
por: Inoué, Takao
Publicado: (2026)

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

Propositional Measure Logic
por: Aragão, Francisco
Publicado: (2025)

There is a deep 1-generic set
por: Li, Ang
Publicado: (2024)

Higher-Order Pattern Unification Modulo Similarity Relations
por: Dundua, Besik, et al.
Publicado: (2025)

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

Conceptual Views of Neural Networks: A Framework for Neuro-Symbolic Analysis
por: Hirth, Johannes, et al.
Publicado: (2022)

Integrating Fuzzy Logic with Causal Inference: Enhancing the Pearl and Neyman-Rubin Methodologies
por: Saki, Amir, et al.
Publicado: (2024)

A modal logic translation of the AGM axioms for belief revision
por: Bonanno, Giacomo
Publicado: (2025)

Verifiably Robust Conformal Prediction
por: Jeary, Linus, et al.
Publicado: (2024)

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

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

Recursively Enumerably Representable Classes and Computable Versions of the Fundamental Theorem of Statistical Learning
por: Kattermann, David, et al.
Publicado: (2025)

A Logical Formalisation of a Hypothesis in Weighted Abduction: towards User-Feedback Dialogues
por: Motoura, Shota, et al.
Publicado: (2025)

Reciprocal Learning
por: Rodemann, Julian, et al.
Publicado: (2024)

Provability in BI's Sequent Calculus is Decidable
por: Gheorghiu, Alexander, et al.
Publicado: (2021)

Regainingly approximable numbers and sets
por: Hertling, Peter, et al.
Publicado: (2023)

On the incomputability of computable dimension
por: Staiger, Ludwig
Publicado: (2019)

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

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

Why the classes P and NP are not well-defined finitarily
por: Anand, Bhupinder Singh
Publicado: (2024)

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

Informed deep hierarchical classification: a non-standard analysis inspired approach
por: Fiaschi, Lorenzo, et al.
Publicado: (2024)

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

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

Variants of Solovay reducibility
por: Titov, Ivan
Publicado: (2024)

Overcoming Over-Fitting in Constraint Acquisition via Query-Driven Interactive Refinement
por: Balafas, Vasileios, et al.
Publicado: (2025)

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

Oruga: An Avatar of Representational Systems Theory
por: Raggi, Daniel, et al.
Publicado: (2025)

Adversarial Barrier in Uniform Class Separation
por: Rosko, Milan
Publicado: (2025)

Incremental Bootstrapping and Classification of Structured Scenes in a Fuzzy Ontology
por: Buoncompagni, Luca, et al.
Publicado: (2024)

Normative Conditional Reasoning as a Fragment of HOL
por: Parent, Xavier, et al.
Publicado: (2023)

Computational Complexity of Model-Checking Quantum Pushdown Systems
por: Lin, Deren, et al.
Publicado: (2025)