:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Guo, Xiangyu, Bansal, Ajay
Format:	Preprint
Publié:	2025
Sujets:	Programming Languages 03B70, 68T27, 68T30
Accès en ligne:	https://arxiv.org/abs/2510.04049
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

To Be or Not To Be: Adding Integrity Constraints to stableKanren to Make a Decision
par: Guo, Xiangyu, et autres
Publié: (2024)

Improving stableKanren's Backward Compatibility
par: Guo, Xiangyu, et autres
Publié: (2024)

Random expansions of trees with bounded height
par: Koponen, Vera, et autres
Publié: (2024)

Computational Complexity of Preferred Subset Repairs on Data-Graphs
par: Pardal, Nina, et autres
Publié: (2024)

Encoding Argumentation Frameworks to Propositional Logic Systems
par: Tang, Shuai, et autres
Publié: (2025)

Black Box Deployed -- Functional Criteria for Artificial Moral Agents in the LLM Era
par: Brophy, Matthew E.
Publié: (2025)

Beyond Prediction -- Structuring Epistemic Integrity in Artificial Reasoning Systems
par: Wright, Craig Steven
Publié: (2025)

Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory
par: Alpay, Faruk, et autres
Publié: (2025)

Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models
par: Grosser, Marvin, et autres
Publié: (2026)

Logical Modalities within the European AI Act: An Analysis
par: Lawniczak, Lara, et autres
Publié: (2025)

Encoding argumentation frameworks with set attackers to propositional logic systems
par: Tang, Shuai, et autres
Publié: (2025)

Intersymbolic AI: Interlinking Symbolic AI and Subsymbolic AI
par: Platzer, André
Publié: (2024)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
par: Tang, Shuai
Publié: (2025)

Stemming Hallucination in Language Models Using a Licensing Oracle
par: Emanuilov, Simeon, et autres
Publié: (2025)

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

Fitting Ontologies and Constraints to Relational Structures
par: Hosemann, Simon, et autres
Publié: (2025)

Cone-Induced Observation Congruences for Vector-Valued Quantitative Languages
par: Alpay, Faruk, et autres
Publié: (2026)

XML Prompting as Grammar-Constrained Interaction: Fixed-Point Semantics, Convergence Guarantees, and Human-AI Protocols
par: Alpay, Faruk, et autres
Publié: (2025)

Higher-Order Pattern Unification Modulo Similarity Relations
par: Dundua, Besik, et autres
Publié: (2025)

Conformance Checking of Fuzzy Logs against Declarative Temporal Specifications
par: Donadello, Ivan, et autres
Publié: (2024)

$ϕ^{\infty}$: Clause Purification, Embedding Realignment, and the Total Suppression of the Em Dash in Autoregressive Language Models
par: Kilictas, Bugra, et autres
Publié: (2025)

Probabilistically stable revision and comparative probability: a representation theorem and applications
par: Mierzewski, Krzysztof
Publié: (2025)

Optimal Simultaneous Byzantine Agreement, Common Knowledge and Limited Information Exchange
par: van der Meyden, Ron
Publié: (2025)

State Algebra for Propositional Logic
par: Lesnik, Dmitry, et autres
Publié: (2025)

Temporal Lifting as Latent-Space Regularization for Continuous-Time Flow Models in AI Systems
par: Camlin, Jeffrey
Publié: (2025)

O-Forge: An LLM + Computer Algebra Framework for Asymptotic Analysis
par: Khaitan, Ayush, et autres
Publié: (2025)

The Tactician's Web of Large-Scale Formal Knowledge
par: Blaauwbroek, Lasse
Publié: (2024)

Hilbert-Geo: Solving Solid Geometric Problems by Neural-Symbolic Reasoning
par: Xu, Ruoran, et autres
Publié: (2026)

A Novel Kuhnian Ontology for Epistemic Classification of STM Scholarly Articles
par: Saqr, Khalid M.
Publié: (2020)

$\mathbb{N}$-polyregular functions arise from well-quasi-orderings
par: Lopez, Aliaume
Publié: (2024)

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

Which are the True Defeasible Logics?
par: Maher, Michael J.
Publié: (2024)

Computing Distinguishing Formulae for Threshold-Based Behavioural Distances
par: Forster, Jonas, et autres
Publié: (2026)

Deconstructed Proto-Quipper: A Rational Reconstruction
par: Kavanagh, Ryan, et autres
Publié: (2025)

Games, mobile processes, and functionss -- alternating, concurrent, and well-bracketed semantics
par: Jaber, Guilhem, et autres
Publié: (2025)

Normative Conditional Reasoning as a Fragment of HOL
par: Parent, Xavier, et autres
Publié: (2023)

A Unary-to-Nonunary Transition in the Accepting-State Spectrum of Right Quotient for Permutation Automata
par: German, Samuel
Publié: (2026)

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

Normalization properties of $λμ$-calculus using realizability semantics
par: Battyanyi, Peter, et autres
Publié: (2023)

A novel framework for systematic propositional formula simplification based on existential graphs
par: de Mas, Jordina Francès, et autres
Publié: (2024)