:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Pardal, Nina, Cifuentes, Santiago, Pin, Edwin, Martinez, Maria Vanina, Abriola, Sergio
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Databases Artificial Intelligence Logic in Computer Science 68P15, 68T27, 03B70, 68T37
Accesso online:	https://arxiv.org/abs/2402.09265
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Rewriting Consistent Answers on Annotated Data
di: Kolaitis, Phokion G., et al.
Pubblicazione: (2024)

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

Sufficient Explanations in Databases and their Connections to Database Repairs
di: Bertossi, Leopoldo, et al.
Pubblicazione: (2025)

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

Bayesian Epistemology with Weighted Authority: A Formal Architecture for Truth-Promoting Autonomous Scientific Reasoning
di: Wright, Craig S.
Pubblicazione: (2025)

The Complexity of Resilience for Digraph Queries
di: Bodirsky, Manuel, et al.
Pubblicazione: (2026)

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

On Immutable Memory Systems for Artificial Agents: A Blockchain-Indexed Automata-Theoretic Framework Using ECDH-Keyed Merkle Chains
di: Wright, Craig Steven
Pubblicazione: (2025)

Domain size asymptotics for Markov logic networks
di: Koponen, Vera
Pubblicazione: (2025)

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

Encoding Numeric Computations and Infusing Heuristic Knowledge Using Integrity Constraints in stableKanren
di: Guo, Xiangyu, et al.
Pubblicazione: (2025)

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

On piecewise hyperdefinable groups
di: Fanlo, Arturo Rodriguez
Pubblicazione: (2020)

Random expansions of trees with bounded height
di: Koponen, Vera, et al.
Pubblicazione: (2024)

Propositional Measure Logic
di: Aragão, Francisco
Pubblicazione: (2025)

Games, mobile processes, and functionss -- alternating, concurrent, and well-bracketed semantics
di: Jaber, Guilhem, et al.
Pubblicazione: (2025)

Cone-Induced Observation Congruences for Vector-Valued Quantitative Languages
di: Alpay, Faruk, et al.
Pubblicazione: (2026)

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

Logical reduction of relations: from relational databases to Peirce's reduction thesis
di: Koshkin, Sergiy
Pubblicazione: (2024)

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

Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
di: Park, Sewon, et al.
Pubblicazione: (2016)

Encoding Argumentation Frameworks to Propositional Logic Systems
di: Tang, Shuai, et al.
Pubblicazione: (2025)

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

To Be or Not To Be: Adding Integrity Constraints to stableKanren to Make a Decision
di: Guo, Xiangyu, et al.
Pubblicazione: (2024)

Improving stableKanren's Backward Compatibility
di: Guo, Xiangyu, et al.
Pubblicazione: (2024)

State Algebra for Propositional Logic
di: Lesnik, Dmitry, et al.
Pubblicazione: (2025)

Beyond Prediction -- Structuring Epistemic Integrity in Artificial Reasoning Systems
di: Wright, Craig Steven
Pubblicazione: (2025)

Quantum Random Self-Modifiable Computation
di: Fiske, Michael Stephen
Pubblicazione: (2018)

Optimal Simultaneous Byzantine Agreement, Common Knowledge and Limited Information Exchange
di: van der Meyden, Ron
Pubblicazione: (2025)

The complexity of being monitorable
di: Camerlo, Riccardo, et al.
Pubblicazione: (2026)

Refutability as Recursive as Provability
di: Cattabriga, Paola
Pubblicazione: (2024)

The Complexity of Resilience Problems via Valued Constraint Satisfaction
di: Bodirsky, Manuel, et al.
Pubblicazione: (2023)

A novel framework for systematic propositional formula simplification based on existential graphs
di: de Mas, Jordina Francès, et al.
Pubblicazione: (2024)

Fitting Ontologies and Constraints to Relational Structures
di: Hosemann, Simon, et al.
Pubblicazione: (2025)

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

Complexity of deep computations via topology of function spaces
di: Dueñez, Eduardo, et al.
Pubblicazione: (2026)

Polynomial definability in constraint languages with few subpowers
di: Bulín, Jakub, et al.
Pubblicazione: (2023)

The Representation of Meaningful Precision, and Accuracy
di: Mani, A
Pubblicazione: (2024)

On the generic information capacity of relational schemas with a single binary relation
di: Groz, Benoît, et al.
Pubblicazione: (2026)