Logic in Computer Science

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

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

Title: Bounds of MIN_NCC and MAX_NCC and filtering scheme for graph domain variables

Authors: Dimitri Justeau-Allaire, Philippe Birnbaum, Xavier Lorca

Comments: short note, 3 pages

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

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

Title: Tuple Interpretations for Higher-Order Rewriting

Authors: Deivid Vale, Cynthia Kop

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

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

Title: Simulation by Rounds of Letter-to-Letter Transducers

Authors: Antonio Abu Nassar, Shaull Almagor

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

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

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

Title: Recursion and Sequentiality in Categories of Sheaves

Authors: Cristina Matache, Sean Moss, Sam Staton

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Category Theory (math.CT)

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

Title: Human Activity Recognition Models in Ontology Networks

Authors: Luca Buoncompagni, Syed Yusha Kareem, Fulvio Mastrogiovanni

Comments: The paper has been accepted for publication in the IEEE Transactions on Cybernetics journal on April 2021 and with DOI 10.1109/TCYB.2021.3073539. It is an extension of arXiv:1707.03988v1 and it is related to the arXiv:1809.08208v1 article. It contains 20 pages, 6 figures, 4 tables and 2 Appendices

Journal-ref: IEEE Transactions on Cybernetics, 2021

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

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

Title: Operating Room (Re)Scheduling with Bed Management via ASP

Authors: Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro

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

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

[87]  arXiv:2105.02541 (cross-list from cs.PL) [pdf, ps, other]

Title: From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques

Authors: Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos

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

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

Title: A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct

Authors: Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann

Journal-ref: Logical Methods in Computer Science (January 11, 2024) lmcs:10156

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

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

Title: On Abstract Machine Semantics for Proto-Quipper-M

Authors: Andrea Colledan

Comments: 72 pages (34 without appendix), 5 figures

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

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

Title: On the Complexity of Verification of Time-Sensitive Distributed Systems: Technical Report

Authors: Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn Talcott

Comments: This Technical Report updates and subsumes the technical report arXiv:1606.07886. arXiv admin note: text overlap with arXiv:1606.07886

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