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

Logic in Computer Science

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

[ total of 100 entries: 1-25 | 26-50 | 51-75 | 76-100 ]
[ showing 25 entries per page: fewer | more | all ]
[76]  arXiv:2206.05070 (cross-list from cs.LG) [pdf, ps, other]
Title: Fundamental Limits in Formal Verification of Message-Passing Neural Networks
Subjects: Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[77]  arXiv:2206.05438 (cross-list from cs.CR) [pdf, other]
Title: Guaranteeing Timed Opacity using Parametric Timed Model Checking
Comments: This is the author version of the manuscript of the same name published in ACM Transactions on Software Engineering and Methodology (ToSEM). This work is partially supported by the ANR national research program PACS (ANR-14-CE28-0002), by the ANR-NRF research program ProMiS (ANR-19-CE25-0015), and by ERATO HASUO Metamathematics for Systems Design Project (No. JPMJER1603), JST. arXiv admin note: substantial text overlap with arXiv:1907.00537
Journal-ref: ACM Transactions on Software Engineering and Methodology (ToSEM), Volume 31(4), 2022
Subjects: Cryptography and Security (cs.CR); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[78]  arXiv:2206.07180 (cross-list from cs.SE) [pdf, ps, other]
Title: Integrating deduction and model finding in a language independent setting
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
[79]  arXiv:2206.07504 (cross-list from cs.DB) [pdf, ps, other]
Title: On the complexity of finding set repairs for data-graphs
Comments: 35 pages , including Appendix
Subjects: Databases (cs.DB); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[80]  arXiv:2206.07586 (cross-list from cs.AI) [pdf, ps, other]
Title: Pragmatic Theory of Machine Learning
Authors: Marina Sapir
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[81]  arXiv:2206.08760 (cross-list from cs.PL) [pdf, other]
Title: A Novel Loop Fission Technique Inspired by Implicit Computational Complexity
Authors: Clément Aubert, Thomas Rubiano (UP13), Neea Rusch, Thomas Seiller (CNRS, UP13)
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[82]  arXiv:2206.08955 (cross-list from cs.CL) [pdf, ps, other]
Title: Making first order linear logic a generating grammar
Authors: Sergey Slavnov
Comments: arXiv admin note: substantial text overlap with arXiv:2112.15253
Subjects: Computation and Language (cs.CL); Logic in Computer Science (cs.LO); Logic (math.LO)
[83]  arXiv:2206.09546 (cross-list from cs.LG) [pdf, other]
Title: Policy Optimization with Linear Temporal Logic Constraints
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[84]  arXiv:2206.09551 (cross-list from cs.AI) [pdf, other]
Title: Eliminating The Impossible, Whatever Remains Must Be True
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[85]  arXiv:2206.09758 (cross-list from cs.DB) [pdf, ps, other]
Title: Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Technical Report)
Comments: Extended version of a paper accepted at 35th International Workshop on Description Logics (DL 2022). Preliminary proceedings are available at this https URL
Subjects: Databases (cs.DB); Logic in Computer Science (cs.LO)
[86]  arXiv:2206.11061 (cross-list from cs.DB) [pdf, other]
Title: An Ontological Approach to Analysing Social Service Provisioning
Comments: Update: corrected email, header text
Subjects: Databases (cs.DB); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[87]  arXiv:2206.11265 (cross-list from cs.AI) [pdf, other]
Title: On Fuzzy Cardinal Semantic Transformations
Comments: 18 pages, 6 figures
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[88]  arXiv:2206.12164 (cross-list from cs.CC) [pdf, ps, other]
Title: Elementary analytic functions in $VTC^0$
Authors: Emil Jeřábek
Comments: 55 pages
Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Logic (math.LO)
[89]  arXiv:2206.12252 (cross-list from cs.LG) [pdf, ps, other]
Title: Indecision Trees: Learning Argument-Based Reasoning under Quantified Uncertainty
Comments: 13 pages, no imagery
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[90]  arXiv:2206.13998 (cross-list from cs.AI) [pdf, other]
Title: Learning Symmetric Rules with SATNet
Comments: 27 pages, 10 figures, the first two authors contributed equally to this work, accepted at NeurIPS'22
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Group Theory (math.GR)
[91]  arXiv:2206.14509 (cross-list from cs.DM) [pdf, other]
Title: Combinatorial and Algorithmic Aspects of Monadic Stability
Subjects: Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Combinatorics (math.CO); Logic (math.LO)
[92]  arXiv:2206.14590 (cross-list from cs.FL) [pdf, ps, other]
Title: Monitoring Timed Properties (Revisited)
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[93]  arXiv:2206.15225 (cross-list from cs.AI) [pdf, other]
Title: Are Hitting Formulas Hard for Resolution?
Subjects: Artificial Intelligence (cs.AI); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO)
[94]  arXiv:2206.03868 (cross-list from math.CT) [pdf, other]
Title: Open dynamical systems as coalgebras for polynomial functors, with application to predictive processing
Comments: 14 pages (plus 8 page appendix). Accepted at Applied Category Theory 2022. Comments welcome
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO); Dynamical Systems (math.DS)
[95]  arXiv:2206.04814 (cross-list from quant-ph) [pdf, ps, other]
Title: Universal Properties of Partial Quantum Maps
Comments: 17 pages, accepted for QPL 2022
Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO); Category Theory (math.CT); Operator Algebras (math.OA)
[96]  arXiv:2206.06866 (cross-list from math.LO) [pdf, ps, other]
Title: EXPTIME-hardness of higher-dimensional Minkowski spacetime
Comments: 15 pages
Journal-ref: Advances in Modal Logic, Volume 14 (2022) College Publications, 491-506
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[97]  arXiv:2206.11412 (cross-list from math.DS) [pdf, other]
Title: What's Decidable about Discrete Linear Dynamical Systems?
Subjects: Dynamical Systems (math.DS); Logic in Computer Science (cs.LO)
[98]  arXiv:2206.12721 (cross-list from math.LO) [pdf, ps, other]
Title: On the computational properties of the uncountability of the real numbers
Authors: Sam Sanders
Comments: To appear in the proceedings of WoLLIC2022 (LNCS, Springer)
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[99]  arXiv:2206.13643 (cross-list from math.LO) [pdf, ps, other]
Title: Definable and Non-definable Notions of Structure
Authors: Andrew W. Swan
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO); Category Theory (math.CT)
[100]  arXiv:2206.14484 (cross-list from math.LO) [pdf, ps, other]
Title: On the relation of order theory and computation in terms of denumerability
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[ total of 100 entries: 1-25 | 26-50 | 51-75 | 76-100 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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