We gratefully acknowledge support from
the Simons Foundation and member institutions.

Logic in Computer Science

Authors and titles for recent submissions

[ total of 27 entries: 1-25 | 26-27 ]
[ showing 25 entries per page: fewer | more | all ]

Fri, 1 Mar 2024

[1]  arXiv:2402.19199 [pdf, ps, other]
Title: Rewriting and Inductive Reasoning
Subjects: Logic in Computer Science (cs.LO)
[2]  arXiv:2402.19028 [pdf, ps, other]
Title: Invariant Checking for SMT-based Systems with Quantifiers
Subjects: Logic in Computer Science (cs.LO)
[3]  arXiv:2402.18962 [pdf, ps, other]
Title: Program Synthesis in Saturation
Comments: 23 pages; this is an extended version of the published paper
Journal-ref: Automated Deduction - CADE 29. CADE 2023. Lecture Notes in Computer Science, vol 14132. Springer, Cham
Subjects: Logic in Computer Science (cs.LO)
[4]  arXiv:2402.18954 [pdf, ps, other]
Title: Getting Saturated with Induction
Comments: 26 pages; this is an extended version of the published paper
Journal-ref: Principles of Systems Design 2022, Lecture Notes in Computer Science, vol 13660. Springer, Cham
Subjects: Logic in Computer Science (cs.LO)
[5]  arXiv:2402.18708 [pdf, other]
Title: Bluebell: An Alliance of Relational Lifting and Independence For Probabilistic Reasoning
Comments: 23 pages + 53 pages of appendix
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[6]  arXiv:2402.19266 (cross-list from math.CT) [pdf, ps, other]
Title: Cauchy-completions and the rule of unique choice in relational doctrines
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO); Logic (math.LO)
[7]  arXiv:2402.19265 (cross-list from cs.AI) [pdf, other]
Title: Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach
Journal-ref: Journal of Artificial Intelligence Research, volume 79 (2024), pp. 725-776
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[8]  arXiv:2402.19012 (cross-list from cs.PL) [pdf, ps, other]
Title: Algorithmically Expressive, Always-Terminating Model for Reversible Computation
Authors: Matteo Palazzo (1), Luca Roversi (1) ((1) Università di Torino)
Comments: 16 pages, 4 figures, 2 listings
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[9]  arXiv:2402.18715 (cross-list from cs.AI) [pdf, other]
Title: Commonsense Ontology Micropatterns
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

Thu, 29 Feb 2024

[10]  arXiv:2402.18360 [pdf, ps, other]
Title: Similarity-based analogical proportions
Authors: Christian Antić
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Logic (math.LO)
[11]  arXiv:2402.17927 [pdf, ps, other]
Title: MCSat-based Finite Field Reasoning in the Yices2 SMT Solver
Subjects: Logic in Computer Science (cs.LO)
[12]  arXiv:2402.18285 (cross-list from cs.LG) [pdf, other]
Title: PiShield: A NeSy Framework for Learning with Requirements
Comments: Demo paper
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

Wed, 28 Feb 2024

[13]  arXiv:2402.17604 [pdf, ps, other]
Title: Equivariant ideals of polynomials
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[14]  arXiv:2402.17286 [pdf, other]
Title: A Constraint-based Mathematical Modeling Library in Prolog with Answer Constraint Semantics
Authors: François Fages (Lifeware)
Subjects: Logic in Computer Science (cs.LO); Mathematical Software (cs.MS); Programming Languages (cs.PL)
[15]  arXiv:2402.17693 (cross-list from quant-ph) [pdf, other]
Title: A Complete Graphical Language for Linear Optical Circuits with Finite-Photon-Number Sources and Detectors
Authors: Nicolas Heurtel
Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO)
[16]  arXiv:2402.17015 (cross-list from cs.FL) [pdf, other]
Title: Tree-Verifiable Graph Grammars
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[17]  arXiv:2402.16905 (cross-list from cs.AI) [pdf, ps, other]
Title: Enforcing Temporal Constraints on Generative Agent Behavior with Reactive Synthesis
Comments: 22 pages
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[18]  arXiv:2201.09060 (cross-list from cs.CL) [pdf, ps, other]
Title: Solvability of orbit-finite systems of linear equations
Subjects: Computation and Language (cs.CL); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

Tue, 27 Feb 2024

[19]  arXiv:2402.16540 [pdf, ps, other]
Title: Quasi Directed Jonsson Operations Imply Bounded Width (For fo-expansions of symmetric binary cores with free amalgamation)
Authors: Michal Wrona
Subjects: Logic in Computer Science (cs.LO)
[20]  arXiv:2402.16314 [pdf, other]
Title: Equational Bit-Vector Solving via Strong Gröbner Bases
Comments: 26 pages, 2 figures
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[21]  arXiv:2402.16171 [pdf, ps, other]
Title: How to avoid the commuting conversions of IPC
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[22]  arXiv:2402.16150 [pdf, other]
Title: Effective MSO-Definability for Tree-width Bounded Models of an Inductive Separation Logic of Relations
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[23]  arXiv:2402.15871 [pdf, other]
Title: Regular resolution effectively simulates resolution
Authors: Sam Buss, Emre Yolcu
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)

Mon, 26 Feb 2024 (showing first 2 of 4 entries)

[24]  arXiv:2402.15174 [pdf, other]
Title: The Flower Calculus
Authors: Pablo Donato (PARTOUT)
Subjects: Logic in Computer Science (cs.LO)
[25]  arXiv:2402.15074 [pdf, ps, other]
Title: Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
Authors: Yuta Takahashi
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[ total of 27 entries: 1-25 | 26-27 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, new, 2403, contact, help  (Access key information)