Logic in Computer Science

Authors and titles for cs.LO in May 2021, skipping first 70

[71]  arXiv:2105.14183 [pdf, other]

Title: Verified Quadratic Virtual Substitution for Real Arithmetic

Authors: Matias Scharager, Katherine Cordwell, Stefan Mitsch, André Platzer

Comments: FM 2021

Subjects: Logic in Computer Science (cs.LO)

[72]  arXiv:2105.14247 [pdf, ps, other]

Title: Causality-Based Game Solving

Authors: Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber

Comments: 33rd International Conference on Computer-Aided Verification (CAV 2021)

Subjects: Logic in Computer Science (cs.LO)

[73]  arXiv:2105.14261 [pdf, other]

Title: Computing with Infinite Objects: the Gray Code Case

Authors: Dieter Spreen, Ulrich Berger

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

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

[74]  arXiv:2105.14311 [pdf, other]

Title: Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming

Authors: Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen

Comments: To be published in Proc. of CAV 2021

Subjects: Logic in Computer Science (cs.LO)

[75]  arXiv:2105.14452 [pdf, other]

Title: A unified logical framework for explanations in classifier systems

Authors: Xinghan Liu, Emiliano Lorini

Comments: 36 pages

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

[76]  arXiv:2105.14579 [pdf, ps, other]

Title: Intensional Kleene and Rice Theorems for Abstract Program Semantics

Authors: Paolo Baldan, Francesco Ranzato, Linpeng Zhang

Comments: 42 pages. Journal paper submitted to Information and Computation

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

[77]  arXiv:2105.14697 [pdf, other]

Title: An Automated Approach to the Collatz Conjecture

Authors: Emre Yolcu, Scott Aaronson, Marijn J.H. Heule

Subjects: Logic in Computer Science (cs.LO)

[78]  arXiv:2105.14887 [pdf, other]

Title: Parameterised Complexity of Propositional Inclusion and Independence Logic

Authors: Yasir Mahmood, Jonni Virtema

Comments: A revised version

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

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

Title: A structural operational semantics for interactions with a look at loops

Authors: Erwan Mahe, Christophe Gaston, Pascale Le Gall

Comments: 14 pages of contents, 9 additional pages with 1 for references and 8 for appendices, 5 figures

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

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

Title: Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics (Extended Version)

Authors: Patrick Koopmann

Comments: Extended version of a paper accepted at IJCAI-2021, 20 pages, 3 figures

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