Logic in Computer Science

Authors and titles for cs.LO in Sep 2022, skipping first 75

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

Title: Staged Compilation with Two-Level Type Theory

Authors: András Kovács

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

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

Title: A Hierarchy of Nondeterminism

Authors: Bader Abu Radi, Orna Kupferman, Ofer Leshkowitz

Comments: 27 pages, 6 figures, added a section about MDPs and GFM automata

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

[78]  arXiv:2209.10278 (cross-list from cs.SE) [pdf, ps, other]

Title: An Automatically Verified Prototype of the Android Permissions System

Authors: Maximiliano Cristiá, Guido De Luca, Carlos Luna

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

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

Title: LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning

Authors: Hosein Hasanbeig, Daniel Kroening, Alessandro Abate

Comments: Evaluated and Accepted by the 19th International Conference on Quantitative Evaluation of Systems 2022

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

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

Title: Uniform Reliability for Unbounded Homomorphism-Closed Graph Queries

Authors: Antoine Amarilli

Comments: Full version with proofs of the ICDT'23 article

Subjects: Databases (cs.DB); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO)

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

Title: Decomposition horizons and a characterization of stable hereditary classes of graphs

Authors: Samuel Braunfeld, Jaroslav Nešetřil, Patrice Ossona de Mendez, Sebastian Siebertz

Subjects: Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Combinatorics (math.CO); Logic (math.LO)

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

Title: Twin-width V: linear minors, modular counting, and matrix multiplication

Authors: Édouard Bonnet, Ugo Giocanti, Patrice Ossona de Mendez, Stéphan Thomassé

Comments: 45 pages, 9 figures

Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Combinatorics (math.CO)

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

Title: Characterising memory in infinite games

Authors: Antonio Casares, Pierre Ohlmann

Comments: 52 pages, 21 figures

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

[84]  arXiv:2209.12301 (cross-list from cs.DS) [pdf, other]

Title: Constant-delay enumeration for SLP-compressed documents

Authors: Martín Muñoz, Cristian Riveros

Comments: 27 pages

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

[85]  arXiv:2209.12655 (cross-list from cs.AI) [pdf, ps, other]

Title: Deontic Meta-Rules

Authors: Francesco Olivieri, Guido Governatori, Matteo Cristani, Antonino Rotolo, Abdul Sattar

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

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

Title: Focusing on Refinement Typing

Authors: Dimitrios J. Economou, Neel Krishnaswami, Jana Dunfield

Comments: 61 pages + appendix with proofs, Just Accepted version of paper (with new title) at ACM Transactions on Programming Languages and Systems

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

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

Title: An Application of a Runtime Epistemic Probabilistic Event Calculus to Decision-making in e-Health Systems

Authors: Fabio Aurelio D'Asaro, Luca Raggioli, Salim Malek, Marco Grazioso, Silvia Rossi

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

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

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

Title: Explainable Global Fairness Verification of Tree-Based Classifiers

Authors: Stefano Calzavara, Lorenzo Cazzaro, Claudio Lucchese, Federico Marcuzzi

Comments: 15 pages with 7 figures

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

[89]  arXiv:2209.13220 (cross-list from cs.RO) [pdf, other]

Title: Exploiting Transformer in Sparse Reward Reinforcement Learning for Interpretable Temporal Logic Motion Planning

Authors: Hao Zhang, Hao Wang, Zhen Kan

Comments: IEEE Robotics and Automation Letters

Journal-ref: IEEE Robotics and Automation Letters, 2023

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

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

Title: Embedding Hindsight Reasoning in Separation Logic

Authors: Roland Meyer, Thomas Wies, Sebastian Wolff

Journal-ref: Proc. ACM Program. Lang. 7, PLDI, Article 182 (June 2023), 24 pages

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

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

Title: Argumentative Reward Learning: Reasoning About Human Preferences

Authors: Francis Rhys Ward, Francesco Belardinelli, Francesca Toni

Comments: 4 pages, ICML HMCaT workshop

Subjects: Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC); Machine Learning (cs.LG)

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

Title: From Specification Models to Explanation Models: An Extraction and Refinement Process for Timed Automata

Authors: Maike Schwammberger (University of Oldenburg), Verena Klös (TU Berlin)

Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181

Journal-ref: EPTCS 371, 2022, pp. 20-37

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

[93]  arXiv:2209.14042 (cross-list from cs.MA) [pdf, ps, other]

Title: Generating Safe Autonomous Decision-Making in ROS

Authors: Yi Yang (imec-DistriNet, Dept. of Computer Science, KU Leuven), Tom Holvoet (imec-DistriNet, Dept. of Computer Science, KU Leuven)

Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181

Journal-ref: EPTCS 371, 2022, pp. 184-192

Subjects: Multiagent Systems (cs.MA); Logic in Computer Science (cs.LO); Robotics (cs.RO)

[94]  arXiv:2209.14662 (cross-list from cs.DS) [pdf, ps, other]

Title: A dichotomy for succinct representations of homomorphisms

Authors: Christoph Berkholz, Harry Vinall-Smeeth

Comments: 24 pages, 2 figures, full version of paper accepted for ICALP 2023

Subjects: Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO)

[95]  arXiv:2209.01197 (cross-list from math.LO) [pdf, ps, other]

Title: Models of $VTC^0$ as exponential integer parts

Authors: Emil Jeřábek

Comments: 22 pages

Journal-ref: Mathematical Logic Quarterly 69 (2023), no. 2, pp. 244--260

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

[96]  arXiv:2209.02287 (cross-list from math.LO) [pdf, ps, other]

Title: A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations

Authors: Kees van Berkel, Tim S. Lyon, Matteo Pascucci

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

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

Title: Apartness relations between propositions

Authors: Zoltan A. Kocsis

Comments: 17 pages, 1 figure; expanded section on how results apply to univalent logic (props-as-some-types)

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

[98]  arXiv:2209.06603 (cross-list from q-bio.GN) [pdf, other]

Title: Typesafe Coordinate Systems in High-Throughput Sequencing Applications

Authors: Charles Thomas Gregory, James S. Blachly

Comments: 14 pages, 3 figures. Code available at this https URL

Subjects: Genomics (q-bio.GN); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[99]  arXiv:2209.08566 (cross-list from math.LO) [pdf, ps, other]

Title: Algebraic semantics for one-variable lattice-valued logics

Authors: Petr Cintula, George Metcalfe, Naomi Tokuda

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

[100]  arXiv:2209.08911 (cross-list from math.LO) [pdf, ps, other]

Title: Universal Proof Theory: Feasible Admissibility in Intuitionistic Modal Logics

Authors: Amirhossein Akbar Tabatabai, Raheleh Jalali

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