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

Logic in Computer Science

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

[ total of 135 entries: 1-25 | 26-50 | 51-75 | 76-100 | 101-125 | 126-135 ]
[ showing 25 entries per page: fewer | more | all ]
[76]  arXiv:2105.14579 [pdf, ps, other]
Title: Intensional Kleene and Rice Theorems for Abstract Program Semantics
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, ps, other]
Title: An Automated Approach to the Collatz Conjecture
Subjects: Logic in Computer Science (cs.LO)
[78]  arXiv:2105.14887 [pdf, ps, other]
Title: Parameterised Complexity of Propositional Inclusion and Independence Logic
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
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)
[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
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
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
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
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
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
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
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
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
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)
[91]  arXiv:2105.03693 (cross-list from cs.DM) [pdf, other]
Title: Discrepancy and Sparsity
Comments: Submitted version
Subjects: Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Combinatorics (math.CO); Logic (math.LO)
[92]  arXiv:2105.04692 (cross-list from cs.AI) [pdf, other]
Title: Budget-Constrained Coalition Strategies with Discounting
Subjects: Artificial Intelligence (cs.AI); Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO); Logic (math.LO)
[93]  arXiv:2105.06001 (cross-list from cs.AI) [pdf, other]
Title: Sufficient reasons for classifier decisions in the presence of constraints
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[94]  arXiv:2105.06024 (cross-list from cs.PL) [pdf, ps, other]
Title: Type-Based Termination for Futures
Comments: 21 pages. Extended version
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[95]  arXiv:2105.06319 (cross-list from cs.CR) [pdf, ps, other]
Title: The Inductive Approach to Verifying Cryptographic Protocols
Journal-ref: J. Computer Security 6 (1998), 85-128
Subjects: Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO)
[96]  arXiv:2105.06424 (cross-list from cs.PL) [pdf, other]
Title: Stateless Model Checking under a Reads-Value-From Equivalence
Comments: Full technical report of the CAV2021 work
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[97]  arXiv:2105.06686 (cross-list from cs.GT) [pdf, other]
Title: Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives
Comments: Full version of CONCUR 2021 conference paper, 36 pages
Subjects: Computer Science and Game Theory (cs.GT); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[98]  arXiv:2105.06782 (cross-list from cs.AI) [pdf, other]
Title: SAT-Based Rigorous Explanations for Decision Lists
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[99]  arXiv:2105.07525 (cross-list from cs.CC) [pdf, ps, other]
Title: Monomial-size vs. Bit-complexity in Sums-of-Squares and Polynomial Calculus
Authors: Tuomas Hakoniemi
Comments: To appear in the Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2021)
Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)
[100]  arXiv:2105.07648 (cross-list from cs.AI) [pdf, other]
Title: A Formal Framework for Reasoning about Agents' Independence in Self-organizing Multi-agent Systems
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA)
[ total of 135 entries: 1-25 | 26-50 | 51-75 | 76-100 | 101-125 | 126-135 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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