Copertina

To Be or Not To Be: Adding Integrity Constraints to stableKanren to Make a Decision

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Guo, Xiangyu, Bansal, Ajay
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages 03B70, 68T27, 68T30 D.3.0
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

Multi-Language Benchmark Generation via L-Systems
di: da Silva, Vinícius Francisco, et al.
Pubblicazione: (2025)

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

RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing
di: Guo, Jinyao, et al.
Pubblicazione: (2025)

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

Intersymbolic AI: Interlinking Symbolic AI and Subsymbolic AI
di: Platzer, André
Pubblicazione: (2024)

Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations
di: Zhong, Zhiyao, et al.
Pubblicazione: (2025)

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

Logical Modalities within the European AI Act: An Analysis
di: Lawniczak, Lara, et al.
Pubblicazione: (2025)

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

LLMDFA: Analyzing Dataflow in Code with Large Language Models
di: Wang, Chengpeng, et al.
Pubblicazione: (2024)

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

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

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

The Significance of Symbolic Logic for Scientific Education
di: Platzer, André
Pubblicazione: (2024)

Solovay reducibility implies S2a-reducibility
di: Titov, Ivan
Pubblicazione: (2024)

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

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

Structure and Destructure: Dual Forces in the Making of Knowledge Engines
di: Chen, Yihong
Pubblicazione: (2025)

A total Solovay reducibility and totalizing of the notion of speedability
di: Merkle, Wolfgang, et al.
Pubblicazione: (2024)

Algebraic Proof Theory for Infinitary Action Logic
di: Fussner, Wesley, et al.
Pubblicazione: (2025)

Regainingly approximable numbers and sets
di: Hertling, Peter, et al.
Pubblicazione: (2023)

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking
di: Oza, Neeva, et al.
Pubblicazione: (2025)

Deconstructed Proto-Quipper: A Rational Reconstruction
di: Kavanagh, Ryan, et al.
Pubblicazione: (2025)

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

Hilbert-Geo: Solving Solid Geometric Problems by Neural-Symbolic Reasoning
di: Xu, Ruoran, et al.
Pubblicazione: (2026)

There is a deep 1-generic set
di: Li, Ang
Pubblicazione: (2024)

Strong Kurtz Randomness and Binary Expansions of Reordered Computable Numbers
di: Hertling, Peter, et al.
Pubblicazione: (2025)

Information vs Dimension -- an Algorithmic Perspective
di: Reimann, Jan
Pubblicazione: (2024)

Generalized Samorodnitsky noisy function inequalities, with applications to error-correcting codes
di: Abawonse, Olakunle S., et al.
Pubblicazione: (2025)

SocialX: A Modular Platform for Multi-Source Big Data Research in Indonesia
di: Saputra, Muhammad Apriandito Arya, et al.
Pubblicazione: (2026)

The Optimizer Quotient and the Certification Trilemma
di: Simas, Tristan
Pubblicazione: (2026)

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

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

Remarks on Primitive Regulation
di: Rosko, Milan
Pubblicazione: (2026)

Novel Fuzzy Centrality Measures in Vague Social Networks
di: Porreca, Annamaria, et al.
Pubblicazione: (2024)

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

When Many-Shot Prompting Fails: An Empirical Study of LLM Code Translation
di: Oskooei, Amirkia Rafiei, et al.
Pubblicazione: (2025)

Fixed-Point Traps and Identity Emergence in Educational Feedback Systems
di: Alpay, Faruk
Pubblicazione: (2025)