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

Logic in Computer Science

Authors and titles for recent submissions

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

Mon, 3 Jun 2024

[1]  arXiv:2405.20842 [pdf, ps, other]
Title: Compositional Reversible Computation
Authors: Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry
Comments: 18 pages
Journal-ref: Reversible Computation, LNCS 14680:10-27, 2024
Subjects: Logic in Computer Science (cs.LO)
[2]  arXiv:2405.20745 [pdf, other]
Title: Practical Modelling with Bigraphs
Authors: Blair Archibald, Muffy Calder, Michele Sevegnani
Comments: 34 pages
Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC); Software Engineering (cs.SE)
[3]  arXiv:2405.20917 (cross-list from cs.CL) [pdf, other]
Title: Learning to Estimate System Specifications in Linear Temporal Logic using Transformers and Mamba
Authors: İlker Işık, Ebru Aydin Gol, Ramazan Gokberk Cinbis
Comments: 20 pages, 15 figures
Subjects: Computation and Language (cs.CL); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[4]  arXiv:2405.20804 (cross-list from cs.GT) [pdf, ps, other]
Title: Reachability and Safety Games under TSO Semantics (Extended Version)
Authors: Stephan Spengler
Comments: 22 pages, 8 figures, accepted and to be presented at GandALF 2024
Subjects: Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)

Fri, 31 May 2024

[5]  arXiv:2405.20083 [pdf, other]
Title: Tachis: Higher-Order Separation Logic with Credits for Expected Costs
Authors: Philipp G. Haselwarter, Kwing Hei Li, Markus de Medeiros, Simon Oddershede Gregersen, Alejandro Aguirre, Joseph Tassarotti, Lars Birkedal
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[6]  arXiv:2405.20057 [pdf, ps, other]
Title: A General Automata Model for First-Order Temporal Logics (Extended Version)
Authors: Luca Geatti, Alessandro Gianola, Nicola Gigante
Subjects: Logic in Computer Science (cs.LO)
[7]  arXiv:2405.19968 [pdf, ps, other]
Title: A Dynamic Logic for Information Evaluation in Intelligence
Authors: Benjamin Icard
Subjects: Logic in Computer Science (cs.LO)
[8]  arXiv:2405.20263 (cross-list from math.CO) [pdf, ps, other]
Title: An algebraic proof of the graph orientation problem dichotomy for forbidden tournaments
Authors: Roman Feller, Michael Pinsker
Comments: 17 pages
Subjects: Combinatorics (math.CO); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Rings and Algebras (math.RA)
[9]  arXiv:2405.19787 (cross-list from cs.CL) [pdf, other]
Title: From Symbolic Tasks to Code Generation: Diversification Yields Better Task Performers
Authors: Dylan Zhang, Justin Wang, Francois Charton
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[10]  arXiv:2405.19354 (cross-list from math.GM) [pdf, ps, other]
Title: Rotations of Gödel algebras with modal operators
Authors: Tommaso Flaminio, Lluis Godo, Paula Menchón, Ricardo O. Rodriguez
Subjects: General Mathematics (math.GM); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

Thu, 30 May 2024

[11]  arXiv:2405.19270 [pdf, other]
Title: Formalising the Local Compactness of the Adele Ring
Authors: Salvatore Mercuri
Subjects: Logic in Computer Science (cs.LO); Number Theory (math.NT)
[12]  arXiv:2405.19157 [pdf, ps, other]
Title: Which are the True Defeasible Logics?
Authors: Michael J. Maher
Subjects: Logic in Computer Science (cs.LO)
[13]  arXiv:2405.19096 [pdf, other]
Title: The Precise Complexity of Reasoning in $\mathcal{ALC}$ with $ω$-Admissible Concrete Domains (Extended Version)
Authors: Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann
Comments: This is the extended version of a paper presented at DL 2024: 37th International Workshop on Description Logics
Subjects: Logic in Computer Science (cs.LO)
[14]  arXiv:2405.19095 [pdf, ps, other]
Title: Groupoidal Realizability for Intensional Type Theory
Authors: Sam Speight
Comments: 43 pages, accepted for publication in Mathematical Structures in Computer Science special issue Advances in Homotopy Type Theory
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); Logic (math.LO)
[15]  arXiv:2405.18942 [pdf, other]
Title: Verifiably Robust Conformal Prediction
Authors: Linus Jeary, Tom Kuipers, Mehran Hosseini, Nicola Paoletti
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[16]  arXiv:2405.18548 [pdf, other]
Title: The Computational Complexity of Formal Reasoning for Encoder-Only Transformers
Authors: Marco Sälzer, Eric Alsmann, Martin Lange
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Machine Learning (cs.LG)
[17]  arXiv:2405.19304 (cross-list from cs.CC) [pdf, ps, other]
Title: Set Descriptive Complexity of Solvable Functions
Authors: Gozzi Riccardo, Bournez Olivier
Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Dynamical Systems (math.DS)
[18]  arXiv:2405.19040 (cross-list from cs.PL) [pdf, other]
Title: Finite-Choice Logic Programming
Authors: Robert J. Simmons, Michael Arntzenius, Chris Martens
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[19]  arXiv:2405.19037 (cross-list from cs.CC) [pdf, ps, other]
Title: On the formalization of the notion of an interactive algorithm
Authors: C. A. Middelburg
Comments: 16 pages, in Sections 2 and 3 there is text overlap with arXiv:2401.08366
Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO)
[20]  arXiv:2405.18650 (cross-list from cs.AI) [pdf, other]
Title: Approximating Human Models During Argumentation-based Dialogues
Authors: Yinxu Tang, Stylianos Loukas Vasileiou, William Yeoh
Subjects: Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC); Logic in Computer Science (cs.LO)

Wed, 29 May 2024

[21]  arXiv:2405.18388 [pdf, ps, other]
Title: Natural numbers from integers
Authors: Christian Sattler, David Wärn
Comments: 9 pages. To appear in LiCS 2024
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[22]  arXiv:2405.18182 [pdf, other]
Title: Drawing with Distance
Authors: Bart Jacobs
Subjects: Logic in Computer Science (cs.LO); Probability (math.PR)
[23]  arXiv:2405.17595 [pdf, other]
Title: Element-Free Probability Distributions and Random Partitions
Authors: Victor Blanchi, Hugo Paquet
Comments: To appear at LICS 2024
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); Probability (math.PR); Statistics Theory (math.ST)
[24]  arXiv:2405.18181 (cross-list from cs.DB) [pdf, other]
Title: Towards Practicable Algorithms for Rewriting Graph Queries beyond DL-Lite
Authors: Bianca Löhnert, Nikolaus Augsten, Cem Okulmus, Magdalena Ortiz
Comments: submitted to DL 2024 workshop
Subjects: Databases (cs.DB); Logic in Computer Science (cs.LO)

Tue, 28 May 2024 (showing first 1 of 17 entries)

[25]  arXiv:2405.17304 [pdf, ps, other]
Title: Stochastic Omega-Regular Verification and Control with Supermartingales
Authors: Alessandro Abate, Mirco Giacobbe, Diptarko Roy
Comments: The conference version of this manuscript appeared at CAV'24
Subjects: Logic in Computer Science (cs.LO); Systems and Control (eess.SY)
[ total of 41 entries: 1-25 | 26-41 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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