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

Logic in Computer Science

Authors and titles for recent submissions, skipping first 25

[ total of 24 entries: 0-24 ]
[ showing up to 25 entries per page: fewer | more ]
[0]  arXiv:2405.01178 (cross-list from cs.FL) [pdf, other]
Title: A Direct Translation from LTL with Past to Deterministic Rabin Automata
Authors: Shaun Azzopardi, David Lidell, Nir Piterman
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

Mon, 13 May 2024

[1]  arXiv:2405.06491 [pdf, ps, other]
Title: A Note on an Inferentialist Approach to Resource Semantics
Authors: Alexander V. Gheorghiu, Tao Gu, David J. Pym
Comments: An abstract of conference paper 'Inferentialist Resource Semantics' (Accepted at MFPS 2024) that was presented at SLSS 2024. arXiv admin note: substantial text overlap with arXiv:2402.09217
Subjects: Logic in Computer Science (cs.LO); Computers and Society (cs.CY); Distributed, Parallel, and Cluster Computing (cs.DC)
[2]  arXiv:2405.06127 [pdf, other]
Title: Efficiently Synthesizing Lowest Cost Rewrite Rules for Instruction Selection
Authors: Ross Daly, Caleb Donovick, Caleb Terrill, Jackson Melchert, Priyanka Raina, Clark Barrett, Pat Hanrahan
Subjects: Logic in Computer Science (cs.LO); Hardware Architecture (cs.AR)
[3]  arXiv:2405.06052 (cross-list from eess.SY) [pdf, ps, other]
Title: Composition and Merging of Assume-Guarantee Contracts Are Tensor Products
Authors: Inigo Incer
Subjects: Systems and Control (eess.SY); Logic in Computer Science (cs.LO)

Fri, 10 May 2024

[4]  arXiv:2405.05690 [pdf, other]
Title: Restructuring a concurrent refinement algebra
Authors: Ian J. Hayes, Larissa A. Meinicke, Naso Evangelou-Oost
Subjects: Logic in Computer Science (cs.LO)
[5]  arXiv:2405.05670 [pdf, ps, other]
Title: Between proof construction and SAT-solving
Authors: Aleksy Schubert, Paweł Urzyczyn, Konrad Zdanowski
Subjects: Logic in Computer Science (cs.LO)
[6]  arXiv:2405.05546 [pdf, other]
Title: Data reification in a concurrent rely-guarantee algebra
Authors: Larissa A. Meinicke, Ian J. Hayes, Cliff B. Jones
Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[7]  arXiv:2405.05962 (cross-list from cs.LG) [pdf, other]
Title: Age Aware Scheduling for Differentially-Private Federated Learning
Authors: Kuan-Yu Lin, Hsuan-Yin Lin, Yu-Pin Hsu, Yu-Chih Huang
Comments: "Paper accepted to the 2024 IEEE International Symposium on Information Theory (ISIT)"
Subjects: Machine Learning (cs.LG); Cryptography and Security (cs.CR); Distributed, Parallel, and Cluster Computing (cs.DC)
[8]  arXiv:2405.05774 (cross-list from math.CT) [pdf, ps, other]
Title: Monoidal bicategories, differential linear logic, and analytic functors
Authors: M. Fiore, N. Gambino, M. Hyland
Comments: v1. 46 pages. Comments welcome
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO); Logic (math.LO)

Thu, 9 May 2024

[9]  arXiv:2405.04998 [pdf, ps, other]
Title: Axiomatization of approximate exclusion
Authors: Matilda Häggblom
Comments: 11 pages
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[10]  arXiv:2405.04872 (cross-list from cs.CL) [pdf, other]
Title: Logical Negation Augmenting and Debiasing for Prompt-based Methods
Authors: Yitian Li, Jidong Tian, Hao He, Yaohui Jin
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[11]  arXiv:2405.04697 (cross-list from cs.CC) [pdf, other]
Title: The Existential Theory of the Reals with Summation Operators
Authors: Markus Bläser, Julian Dörfler, Maciej Liskiewicz, Benito van der Zander
Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)

Wed, 8 May 2024

[12]  arXiv:2405.04157 [pdf, other]
Title: Two-dimensional Kripke Semantics I: Presheaves
Authors: G. A. Kavvos
Journal-ref: LIPIcs, Volume 299, FSCD 2024, article 11
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); Logic (math.LO)
[13]  arXiv:2405.04015 (cross-list from cs.AI) [pdf, ps, other]
Title: Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties
Authors: S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Đorđe Žikelić
Comments: Extended version of a paper accepted at IJCAI 2024
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

Tue, 7 May 2024

[14]  arXiv:2405.03669 [pdf, other]
Title: IMELL Cut Elimination with Linear Overhead
Authors: Beniamino Accattoli, Claudio Sacerdoti Coen
Comments: Version with proofs of the FSCD 2024 paper with the same title
Subjects: Logic in Computer Science (cs.LO)
[15]  arXiv:2405.03536 [pdf, other]
Title: Extensional and Non-extensional Functions as Processes
Authors: Ken Sakayori, Davide Sangiorgi
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[16]  arXiv:2405.03367 [pdf, ps, other]
Title: On the (In-)Completeness of Destructive Equality Resolution in the Superposition Calculus
Authors: Uwe Waldmann
Comments: 22 pages; shortened version to appear in Proc. IJCAR 2024, Springer
Subjects: Logic in Computer Science (cs.LO)
[17]  arXiv:2405.03264 [pdf, other]
Title: Delooping generated groups in homotopy type theory
Authors: Camil Champin, Samuel Mimram, Emile Oleon
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[18]  arXiv:2405.03057 [pdf, ps, other]
Title: Verifying SQL Queries using Theories of Tables and Relations
Authors: Mudathir Mohamed, Andrew Reynolds, Cesare Tinelli, Clark Barrett
Subjects: Logic in Computer Science (cs.LO)
[19]  arXiv:2405.02420 [pdf, ps, other]
Title: Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification
Authors: Jose Meseguer
Comments: Submitted for publication
Subjects: Logic in Computer Science (cs.LO)
[20]  arXiv:2405.03511 (cross-list from cs.DB) [pdf, ps, other]
Title: Extremal Separation Problems for Temporal Instance Queries
Authors: Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Comments: Accepted for IJCAI 2024
Subjects: Databases (cs.DB); Logic in Computer Science (cs.LO)
[21]  arXiv:2405.02606 (cross-list from cs.DC) [pdf, ps, other]
Title: Communication Modalities
Authors: Roman Kuznets
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA)
[22]  arXiv:2405.02342 (cross-list from cs.DM) [pdf, other]
Title: The Birkhoff completion of finite lattices
Authors: Mohammad Abdulla, Johannes Hirth, Gerd Stumme
Subjects: Discrete Mathematics (cs.DM); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[23]  arXiv:2405.02318 (cross-list from cs.CL) [pdf, other]
Title: NL2FOL: Translating Natural Language to First-Order Logic for Logical Fallacy Detection
Authors: Abhinav Lalwani, Lovish Chopra, Christopher Hahn, Caroline Trippel, Zhijing Jin, Mrinmaya Sachan
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[24]  arXiv:2405.01178 (cross-list from cs.FL) [pdf, other]
Title: A Direct Translation from LTL with Past to Deterministic Rabin Automata
Authors: Shaun Azzopardi, David Lidell, Nir Piterman
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[ total of 24 entries: 0-24 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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