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

Logic in Computer Science

Authors and titles for recent submissions

[ total of 35 entries: 1-10 | 11-20 | 21-30 | 31-35 ]
[ showing 10 entries per page: fewer | more | all ]

Mon, 6 Jul 2020

[1]  arXiv:2007.01773 [pdf, ps, other]
Title: Supervisory Controller Synthesis for Non-terminating Processes is an Obliging Game
Subjects: Logic in Computer Science (cs.LO); Systems and Control (eess.SY)
[2]  arXiv:2007.01733 [pdf, ps, other]
Title: Probabilistic Soft Type Assignment
Comments: 33 pages
Subjects: Logic in Computer Science (cs.LO)
[3]  arXiv:2007.01709 [pdf, ps, other]
Title: Many-Sorted Hybrid Modal Languages
Comments: arXiv admin note: text overlap with arXiv:1905.05036, arXiv:1907.05029
Subjects: Logic in Computer Science (cs.LO)
[4]  arXiv:2007.01637 [pdf, ps, other]
Title: Active learning of timed automata with unobservable resets
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Machine Learning (cs.LG)
[5]  arXiv:2007.01610 [pdf, other]
Title: Logical Separability of Incomplete Data under Ontologies
Comments: Full Version of KR'20 paper
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[6]  arXiv:2007.01597 [pdf, ps, other]
Title: Living without Beth and Craig: Explicit Definitions and Interpolants in the Guarded Fragment
Subjects: Logic in Computer Science (cs.LO)
[7]  arXiv:2007.01374 [pdf, other]
Title: Smt-Switch: a solver-agnostic C++ API for SMT Solving
Comments: 11 pages, 1 figure, to be included in SMT Workshop 2020: this http URL
Subjects: Logic in Computer Science (cs.LO)
[8]  arXiv:2007.01779 (cross-list from cs.CC) [pdf, ps, other]
Title: The combined basic LP and affine IP relaxation for promise VCSPs on infinite domains
Comments: Full version of an MFCS'20 paper
Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO)

Fri, 3 Jul 2020 (showing first 2 of 7 entries)

[9]  arXiv:2007.01266 [pdf, other]
Title: Analysing Spatial Properties on Neighbourhood Spaces
Subjects: Logic in Computer Science (cs.LO)
[10]  arXiv:2007.01233 [pdf, other]
Title: "Most of" leads to undecidability: Failure of adding frequencies to LTL
Comments: A version without appendix
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[ total of 35 entries: 1-10 | 11-20 | 21-30 | 31-35 ]
[ showing 10 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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