:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Glaze, Sean, Inclezan, Daniela
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Artificial Intelligence D.1.6; D.3
Online Access:	https://arxiv.org/abs/2502.09215
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Implementing the First-Order Logic of Here and There
by: Otten, Jens, et al.
Published: (2026)

ASP-driven User-interaction with Clinguin
by: Beiser, Alexander, et al.
Published: (2025)

Visual Graph Question Answering with ASP and LLMs for Language Parsing
by: Bauer, Jakob Johannes, et al.
Published: (2025)

Implementing backjumping by means of exception handling
by: Drabent, Włodzimierz
Published: (2023)

A Fuzzy Supervisor Agent Design for Clinical Reasoning Assistance in a Multi-Agent Educational Clinical Scenario Simulation
by: Zheng, Weibing, et al.
Published: (2025)

Effect-Transparent Governance for AI Workflow Architectures: Semantic Preservation, Expressive Minimality, and Decidability Boundaries
by: McCann, Alan L.
Published: (2026)

LLM-as-a-Fuzzy-Judge: Fine-Tuning Large Language Models as a Clinical Evaluation Judge with Fuzzy Logic
by: Zheng, Weibing, et al.
Published: (2025)

Optimal matching for sharing and linearity analysis
by: Amato, Gianluca, et al.
Published: (2024)

On systematic construction of correct logic programs
by: Drabent, Włodzimierz
Published: (2025)

plingo: A system for probabilistic reasoning in clingo based on lpmln
by: Hahn, Susana, et al.
Published: (2022)

Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries
by: McCann, Alan L.
Published: (2026)

A note on occur-check (extended report)
by: Drabent, Włodzimierz
Published: (2022)

Investigating the Grounding Bottleneck for a Large-Scale Configuration Problem: Existing Tools and Constraint-Aware Guessing
by: Semmelrock, Veronika, et al.
Published: (2026)

OWLOOP: Interfaces for Mapping OWL Axioms into OOP Hierarchies
by: Buoncompagni, Luca, et al.
Published: (2024)

GPU accelerated program synthesis: Enumerate semantics, not syntax!
by: Berger, Martin, et al.
Published: (2025)

(Towards a) Statistical Probabilistic Lazy Lambda Calculus
by: Jagadeesan, Radha
Published: (2024)

A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing
by: Heuvel, Bas van den, et al.
Published: (2024)

CBCL: Safe Self-Extending Agent Communication
by: O'Connor, Hugo
Published: (2026)

Uniform Algebras: Models and constructive Completeness for Full, Simply Typed λProlog
by: Amato, Gianluca, et al.
Published: (2024)

Modal Verification Patterns for Systems Software
by: Kuru, Ismail, et al.
Published: (2025)

BedreFlyt: Improving Patient Flows through Hospital Wards with Digital Twins
by: Sieve, Riccardo, et al.
Published: (2025)

Baking for Dafny: A CakeML Backend for Dafny
by: Nezamabadi, Daniel, et al.
Published: (2025)

Reasoning about distributive laws in a concurrent refinement algebra
by: Meinicke, Larissa A., et al.
Published: (2024)

Restructuring a concurrent refinement algebra
by: Hayes, Ian J., et al.
Published: (2024)

An example of goal-directed, calculational proof
by: Backhouse, Roland, et al.
Published: (2023)

Bounded Modal Logic
by: Murase, Yuito, et al.
Published: (2026)

Context-Dependent Effects and Concurrency in Guarded Interaction Trees
by: Stepanenko, Sergei, et al.
Published: (2025)

Uniqueness is Separation
by: O'Connor, Liam, et al.
Published: (2026)

(How) Do Large Language Models Understand High-Level Message Sequence Charts?
by: Mousavi, Mohammad Reza
Published: (2026)

Complementing an imperative process algebra with a rely/guarantee logic
by: Middelburg, C. A.
Published: (2025)

Probabilistic imperative process algebra
by: Middelburg, C. A.
Published: (2026)

Constrained LTL Specification Learning from Examples
by: Zhang, Changjian, et al.
Published: (2024)

Towards a Neural Lambda Calculus: Neurosymbolic AI Applied to the Foundations of Functional Programming
by: Flach, João, et al.
Published: (2023)

Strong Dinatural Transformations and Generalised Codensity Monads
by: Piróg, Maciej, et al.
Published: (2025)

A formal specification of the jq language
by: Färber, Michael
Published: (2024)

Categorical Message Passing Language (CaMPL) for programmers
by: Hashimoto, Daniel Kiyoshi, et al.
Published: (2026)

Well-Scoped Locally Nameless Representation of Syntax
by: Pitts, Andrew M.
Published: (2026)

The Denotational Semantics of SSA
by: Ghalayini, Jad Elkhaleq, et al.
Published: (2024)

Loops, Inverse Limits and Non-Determinism
by: Brattka, Vasco
Published: (2025)

VSS Challenge Problem: Verifying the Correctness of AllReduce Algorithms in the MPICH Implementation of MPI
by: Hovland, Paul D.
Published: (2025)