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

Logic in Computer Science

Authors and titles for recent submissions

[ total of 21 entries: 1-21 ]
[ showing up to 25 entries per page: fewer | more ]

Thu, 8 Dec 2022

[1]  arXiv:2212.03553 [pdf, other]
Title: Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests
Subjects: Logic in Computer Science (cs.LO)
[2]  arXiv:2212.03349 [pdf, other]
Title: Formal Modeling and Analysis of Legal Contracts using ContractCheck
Comments: Accepted for presentation at the Workshop on Programming Languages and the Law 2023
Subjects: Logic in Computer Science (cs.LO); Computers and Society (cs.CY)
[3]  arXiv:2212.03287 [pdf, other]
Title: veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System
Comments: To appear in Proceedings of the 25th International Symposium on Formal Methods (FM)
Subjects: Logic in Computer Science (cs.LO); Machine Learning (cs.LG); Software Engineering (cs.SE); Optimization and Control (math.OC)
[4]  arXiv:2212.03284 [pdf, ps, other]
Title: Type Theories with Universe Level Judgements
Comments: This paper was presented at Types'2022 and has been submitted to its postconference proceedings
Subjects: Logic in Computer Science (cs.LO)
[5]  arXiv:2212.03687 (cross-list from cs.PL) [pdf, ps, other]
Title: revTPL: The Reversible Temporal Process Language
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[6]  arXiv:2212.03513 (cross-list from cs.LG) [pdf, other]
Title: Truthful Meta-Explanations for Local Interpretability of Machine Learning Models
Comments: 22 pages, 5 figures, 9 tables, submitted to Applied Intelligence Journal
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

Wed, 7 Dec 2022

[7]  arXiv:2212.03146 [pdf, other]
Title: Univalent Monoidal Categories
Comments: 18 pages
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[8]  arXiv:2212.03085 [pdf, ps, other]
Title: Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory
Comments: arXiv admin note: substantial text overlap with arXiv:2209.08299, arXiv:2005.06503
Subjects: Logic in Computer Science (cs.LO)
[9]  arXiv:2212.02833 (cross-list from quant-ph) [pdf, ps, other]
Title: Metalinear structures and the substructural logic of quantum measurements
Authors: Daniel Lehmann
Comments: 46 pages, draft to be submitted, comments and remarks welcomed to lehmann@cs.huji.ac.il
Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO); Logic (math.LO)

Tue, 6 Dec 2022

[10]  arXiv:2212.02494 [pdf, ps, other]
Title: Equivalence of eval-readback and eval-apply big-step evaluators by regimentation of the lambda-calculus's strategy space
Authors: Pablo Nogueira (1), Álvaro García-Pérez (2) ((1) ESNE, University School of Design, Innovation, and Technology, Madrid, Spain, (2) Université Paris-Saclay, CEA, List, Palaiseau, France)
Comments: 55 pages, 10 figures
Subjects: Logic in Computer Science (cs.LO)
[11]  arXiv:2212.02425 [pdf, other]
Title: Leroy and Blazy were right: their memory model soundness proof is automatable (Extended Version)
Comments: To be published in VSTTE'22
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[12]  arXiv:2212.02371 [pdf, ps, other]
Title: Integration in Cones
Authors: Thomas Ehrhard (IRIF (UMR\_8243)), Guillaume Geoffroy (IRIF (UMR\_8243), UPCité)
Subjects: Logic in Computer Science (cs.LO)
[13]  arXiv:2212.02317 [pdf, other]
Title: Word Equations in Synergy with Regular Constraints (Technical Report)
Comments: To appear in Proc. of FM'23
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[14]  arXiv:2212.01748 [pdf, other]
Title: Differential Testing of a Verification Framework for Compiler Optimizations (Experience Paper)
Comments: 8 pages, 6 figures
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Software Engineering (cs.SE)
[15]  arXiv:2212.01679 [pdf, other]
Title: Approximation and Semantic Tree-width of Conjunctive Regular Path Queries
Comments: Long version of a paper accepted at ICDT 2023
Subjects: Logic in Computer Science (cs.LO); Databases (cs.DB); Formal Languages and Automata Theory (cs.FL)
[16]  arXiv:2212.02267 (cross-list from quant-ph) [pdf, ps, other]
Title: symQV: Automated Symbolic Verification of Quantum Programs
Comments: This is the extended version of a paper with the same title that appeared at FM 2023. Tool available at doi.org/10.5281/zenodo.7400321
Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO)
[17]  arXiv:2212.01861 (cross-list from cs.LG) [pdf, other]
Title: Online Shielding for Reinforcement Learning
Comments: arXiv admin note: substantial text overlap with arXiv:2012.09539
Subjects: Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[18]  arXiv:2212.01838 (cross-list from cs.LG) [pdf, other]
Title: Automata Learning meets Shielding
Subjects: Machine Learning (cs.LG); Logic in Computer Science (cs.LO)

Mon, 5 Dec 2022

[19]  arXiv:2212.00916 [pdf, other]
Title: Learning Temporal Logic Properties: an Overview of Two Recent Methods
Comments: Appears in Proceedings of AAAI FSS-22 Symposium "Lessons Learned for Autonomous Assessment of Machine Abilities (LLAAMA)"
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL); Machine Learning (cs.LG)

Thu, 1 Dec 2022

[20]  arXiv:2211.17186 [pdf, other]
Title: Linear Rank Intersection Types
Subjects: Logic in Computer Science (cs.LO)
[21]  arXiv:2211.17166 [pdf, ps, other]
Title: Monitoring Arithmetic Temporal Properties on Finite Traces
Subjects: Logic in Computer Science (cs.LO)
[ total of 21 entries: 1-21 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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