Logic in Computer Science

Authors and titles for January 2022

[51] arXiv:2201.01978 (cross-list from cs.LG) [pdf, other]

Title: An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks

Matan Ostrovsky, Clark Barrett, Guy Katz

Subjects: Machine Learning (cs.LG); Computer Vision and Pattern Recognition (cs.CV); Logic in Computer Science (cs.LO)

[52] arXiv:2201.02496 (cross-list from math.LO) [pdf, other]

Title: Tower-Complete Problems in Contraction-Free Substructural Logics

Hiromi Tanaka

Comments: The full version of the paper accepted to CSL 2023

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

[53] arXiv:2201.03698 (cross-list from cs.AI) [pdf, other]

Title: Verified Probabilistic Policies for Deep Reinforcement Learning

Edoardo Bacci, David Parker

Comments: NFM 2022

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)

[54] arXiv:2201.03702 (cross-list from cs.AI) [pdf, other]

Title: Learning Logic Programs From Noisy Failures

John Wahlig

Comments: Thesis for MSc in Computer Science

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[55] arXiv:2201.05021 (cross-list from cs.DB) [pdf, other]

Title: Robustness against Read Committed for Transaction Templates with Functional Constraints

Brecht Vandevoort, Bas Ketsman, Christoph Koch, Frank Neven

Journal-ref: Logical Methods in Computer Science, Volume 19, Issue 4 (December 25, 2023) lmcs:10173

Subjects: Databases (cs.DB); Logic in Computer Science (cs.LO)

[56] arXiv:2201.05050 (cross-list from cs.OH) [pdf, other]

Title: Dimensional Complexity and Algorithmic Efficiency

Alexander Ngu

Comments: 10 pages, 7 figures, 1 table

Journal-ref: International Journal of Modern Nonlinear Theory and Application, 11, 1-10 (2022)

Subjects: Other Computer Science (cs.OH); Logic in Computer Science (cs.LO)

[57] arXiv:2201.05129 (cross-list from cs.DB) [pdf, other]

Title: Rewriting with Acyclic Queries: Mind Your Head

Gaetano Geck, Jens Keppeler, Thomas Schwentick, Christopher Spinrath

Journal-ref: Logical Methods in Computer Science, Volume 19, Issue 4 (November 29, 2023) lmcs:10166

Subjects: Databases (cs.DB); Logic in Computer Science (cs.LO)

[58] arXiv:2201.05218 (cross-list from cs.CC) [pdf, other]

Title: The Ideal Membership Problem and Abelian Groups

Andrei A. Bulatov, Akbar Rafiey

Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO); Commutative Algebra (math.AC); Algebraic Geometry (math.AG)

[59] arXiv:2201.05710 (cross-list from cs.AI) [pdf, other]

Title: Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework

Thanh Hai Nguyen, Matthew Bundas, Tran Cao Son, Marcello Balduccini, Kathleen Campbell Garwood, Edward R. Griffor

Comments: Under consideration in Theory and Practice of Logic Programming (TPLP)

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[60] arXiv:2201.05860 (cross-list from cs.PL) [pdf, other]

Title: View-Based Owicki-Gries Reasoning for Persistent x86-TSO (Extended Version)

Eleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav, Azalea Raad, John Wickerson

Comments: Extended version of the paper published in ESOP 2022

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[61] arXiv:2201.05911 (cross-list from quant-ph) [pdf, other]

Title: Wigner's quasidistribution and Dirac's kets

Andreas Blass, Yuri Gurevich, Alexander Volberg

Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO); Mathematical Physics (math-ph)

[62] arXiv:2201.06626 (cross-list from math.NA) [pdf, other]

Title: Neural Network Compression of ACAS Xu Early Prototype is Unsafe: Closed-Loop Verification through Quantized State Backreachability

Stanley Bak, Hoang-Dung Tran

Subjects: Numerical Analysis (math.NA); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[63] arXiv:2201.07098 (cross-list from math.LO) [pdf, html, other]

Title: Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics

Wesley H. Holliday

Comments: Clarified in Proposition 3.15(i) that $φ$ is a lattice embedding and fixed typo in Proposition 2.15 swapping 0 and 1

Journal-ref: Advances in Modal Logic, Vol. 14, eds. D. Fernandez-Duque, A. Palmigiano, and S. Pinchinat, College Publications, 2022, 507-529

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

[64] arXiv:2201.07280 (cross-list from cs.SE) [pdf, other]

Title: Causality in Configurable Software Systems

Clemens Dubslaff, Kallistos Weis, Christel Baier, Sven Apel

Comments: This is a preprint of the corresponding paper accepted at ICSE'22. The updated version provides more explanations, adds references to the artifact, and aligns with the camera-ready version of the publication

Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)

[65] arXiv:2201.08275 (cross-list from cs.PL) [pdf, other]

Title: The Different Shades of Infinite Session Types

Simon J. Gay, Diogo Poças, Vasco T. Vasconcelos

Comments: 51 pages, 12 figures

Subjects: Programming Languages (cs.PL); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[66] arXiv:2201.08772 (cross-list from cs.AI) [pdf, other]

Title: Under-Approximating Expected Total Rewards in POMDPs

Alexander Bork, Joost-Pieter Katoen, Tim Quatmann

Comments: Technical report for TACAS 2022 paper with the same title

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[67] arXiv:2201.08895 (cross-list from cs.CC) [pdf, other]

Title: On the Satisfaction Probabilities of $k$-CNF Formulas

Till Tantau

Comments: 47 pages, version updated after the presentation of the results at the CCC 2022 conference and after further reviewing

Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)

[68] arXiv:2201.09060 (cross-list from cs.CL) [pdf, other]

Title: Solvability of orbit-finite systems of linear equations

Arka Ghosh, Piotr Hofman, Sławomir Lasota

Subjects: Computation and Language (cs.CL); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[69] arXiv:2201.09361 (cross-list from quant-ph) [pdf, other]

Title: Quantum Expectation Transformers for Cost Analysis

Martin Avanzini, Georg Moser, Romain Péchoux, Simon Perdrix, Vladimir Zamdzhiev

Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[70] arXiv:2201.09702 (cross-list from cs.GT) [pdf, other]

Title: Correlated Equilibria and Fairness in Concurrent Stochastic Games

Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos

Subjects: Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)

[71] arXiv:2201.09919 (cross-list from cs.AI) [pdf, other]

Title: Faithiful Embeddings for EL++ Knowledge Bases

Bo Xiong, Nico Potyka, Trung-Kien Tran, Mojtaba Nayyeri, Steffen Staab

Comments: Published in ISWC'22

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)

[72] arXiv:2201.10200 (cross-list from quant-ph) [pdf, other]

Title: The multiplicative complexity of interval checking

Thomas Häner, Mathias Soeken

Comments: 7 pages

Subjects: Quantum Physics (quant-ph); Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO)

[73] arXiv:2201.10266 (cross-list from cs.AI) [pdf, other]

Title: Combining Commonsense Reasoning and Knowledge Acquisition to Guide Deep Learning in Robotics

Mohan Sridharan, Tiago Mota

Comments: 37 pages, 17 figures, 5 tables

Subjects: Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Robotics (cs.RO)

[74] arXiv:2201.10267 (cross-list from cs.FL) [pdf, other]

Title: On the Translation of Automata to Linear Temporal Logic

Udi Boker, Karoliina Lehtinen, Salomon Sickert

Comments: Full version with appendix of a chapter with the same title that appears in the FoSSaCS 2022 conference proceedings

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[75] arXiv:2201.10516 (cross-list from cs.SC) [pdf, other]

Title: Boosting Isomorphic Model Filtering with Invariants

João Araújo, Choiwah Chow, Mikoláš Janota

Subjects: Symbolic Computation (cs.SC); Logic in Computer Science (cs.LO)

[76] arXiv:2201.10531 (cross-list from cs.CR) [pdf, other]

Title: HOLL: Program Synthesis for Higher OrderLogic Locking

Gourav Takhar, Ramesh Karri, Christian Pilato, Subhajit Roy

Comments: Accepted in TACAS-22 conference. 24 pages llncs format (without references), 11 figures, 5 tables

Subjects: Cryptography and Security (cs.CR); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[77] arXiv:2201.10825 (cross-list from cs.GT) [pdf, html, other]

Title: Different Strokes in Randomised Strategies: Revisiting Kuhn's Theorem under Finite-Memory Assumptions

James C. A. Main, Mickael Randour

Comments: Extended version, preprint of Information and Computation article, 36 pages

Subjects: Computer Science and Game Theory (cs.GT); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[78] arXiv:2201.10998 (cross-list from cs.PL) [pdf, other]

Title: Polarized Subtyping

Zeeshan Lakhani, Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning

Comments: 54 pages, 8 figures, to be published in the European Symposium on Programming (2022)

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[79] arXiv:2201.11165 (cross-list from cs.AI) [pdf, other]

Title: First-Order Context-Specific Likelihood Weighting in Hybrid Probabilistic Logic Programs

Nitesh Kumar, Ondrej Kuzelka, Luc De Raedt

Comments: arXiv admin note: text overlap with arXiv:2101.09791

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[80] arXiv:2201.11250 (cross-list from cs.LG) [pdf, other]

Title: Neuro-Symbolic Entropy Regularization

Kareem Ahmed, Eric Wang, Kai-Wei Chang, Guy Van den Broeck

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Machine Learning (stat.ML)

[81] arXiv:2201.11619 (cross-list from cs.FL) [pdf, other]

Title: Positive First-order Logic on Words and Graphs

Denis Kuperberg

Comments: arXiv admin note: substantial text overlap with arXiv:2101.01968

Journal-ref: Logical Methods in Computer Science, Volume 19, Issue 3 (July 25, 2023) lmcs:9081

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Logic (math.LO)

[82] arXiv:2201.11978 (cross-list from cs.AR) [pdf, other]

Title: Testable Array Multipliers for a Better Utilization of C-Testability and Bijectivity

Fatemeh Sheikh Shoaei, Alireza Nahvy, Zainalabedin Navabi

Comments: 6 pages,8 figures

Subjects: Hardware Architecture (cs.AR); Logic in Computer Science (cs.LO)

[83] arXiv:2201.13351 (cross-list from cs.LG) [pdf, other]

Title: LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions

Brandon Paulsen, Chao Wang

Comments: Published as a conference paper at TACAS 2022

Subjects: Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Numerical Analysis (math.NA)