We gratefully acknowledge support from
the Simons Foundation
and member institutions

Logic in Computer Science

Authors and titles for recent submissions

[ total of 14 entries: 1-14 ]
[ showing up to 25 entries per page: fewer | more ]

Thu, 23 Nov 2017

[1]  arXiv:1711.08191 [pdf, other]
Title: Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison
Subjects: Logic in Computer Science (cs.LO)
[2]  arXiv:1711.08076 [pdf, ps, other]
Title: Schur Number Five
Comments: accepted by AAAI 2018
Subjects: Logic in Computer Science (cs.LO); Distributed, Parallel, and Cluster Computing (cs.DC); Discrete Mathematics (cs.DM)

Wed, 22 Nov 2017

[3]  arXiv:1711.07786 [pdf, ps, other]
Title: Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?
Subjects: Logic in Computer Science (cs.LO)

Tue, 21 Nov 2017

[4]  arXiv:1711.07358 [pdf, other]
Title: Lattices and Their Consistent Quantification
Authors: Kevin H. Knuth
Comments: 22 pages, 8 figures, submitted to Annalen der Physik
Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[5]  arXiv:1711.07023 [pdf, ps, other]
Title: Verification of PCP-Related Computational Reductions in Coq
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[6]  arXiv:1711.07320 (cross-list from cs.CC) [pdf, ps, other]
Title: Proof Complexity Meets Algebra
Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)

Mon, 20 Nov 2017

[7]  arXiv:1711.06542 [pdf, ps, other]
Title: Mechanizing Principia Logico-Metaphysica in Functional Type Theory
Comments: 10 pages
Subjects: Logic in Computer Science (cs.LO)
[8]  arXiv:1711.06541 [pdf]
Title: Logic Bug Detection and Localization Using Symbolic Quick Error Detection
Subjects: Logic in Computer Science (cs.LO)
[9]  arXiv:1711.06361 [pdf, ps, other]
Title: Eliminating the unit constant in the Lambek calculus with brackets
Authors: Stepan Kuznetsov
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[10]  arXiv:1711.06501 (cross-list from cs.SY) [pdf, ps, other]
Title: A Supervisory Control Algorithm Based on Property-Directed Reachability
Comments: 16 pages; presented at Haifa Verification Conference 2017, the final publication is available at Springer via this https URL
Journal-ref: Strichman O., Tzoref-Brill R. (eds) Hardware and Software: Verification and Testing. HVC 2017. Lecture Notes in Computer Science, vol 10629. Springer, Cham
Subjects: Systems and Control (cs.SY); Logic in Computer Science (cs.LO)

Fri, 17 Nov 2017

[11]  arXiv:1711.06120 [pdf, ps, other]
Title: Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata
Comments: This paper extends and strengthens a preliminary version from FSTTCS'12
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[12]  arXiv:1711.06202 (cross-list from cs.AI) [pdf, ps, other]
Title: A Robust Genetic Algorithm for Learning Temporal Specifications from Data
Comments: 6 pages, 1 figure
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[13]  arXiv:1711.06128 (cross-list from cs.AI) [pdf, ps, other]
Title: Enabling Reasoning with LegalRuleML
Comments: 22 pages. Under consideration for publication in Theory and Practice of Logic Programming (TPLP)
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[14]  arXiv:1711.05816 (cross-list from cs.AI) [pdf, ps, other]
Title: K3, L3, LP, RM3, A3, FDE: How to Make Many-Valued Logics Work for You
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[ total of 14 entries: 1-14 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)