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

Logic in Computer Science

Authors and titles for recent submissions

[ total of 15 entries: 1-10 | 11-15 ]
[ showing 10 entries per page: fewer | more | all ]

Fri, 13 Dec 2019

[1]  arXiv:1912.06110 [pdf, other]
Title: Finite models and the theory of concatenation
Subjects: Logic in Computer Science (cs.LO); Databases (cs.DB); Formal Languages and Automata Theory (cs.FL)
[2]  arXiv:1912.05828 [pdf, ps, other]
Title: Formal Verification of Debates in Argumentation Theory
Comments: Accepted for publication as full paper at the 35th ACM/SIGAPP Symposium On Applied Computing (SAC2020), KRR track
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[3]  arXiv:1912.05793 [pdf, ps, other]
Title: The Extended HOA Format for Synthesis
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[4]  arXiv:1912.05616 [pdf, ps, other]
Title: Ensuring Liveness Properties of Distributed Systems: Open Problems
Authors: Rob van Glabbeek
Comments: An earlier version of this paper appeared as arXiv:1711.04240
Subjects: Logic in Computer Science (cs.LO)
[5]  arXiv:1912.05906 (cross-list from cs.AI) [pdf, ps, other]
Title: Prioritized Unit Propagation with Periodic Resetting is (Almost) All You Need for Random SAT Solving
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)

Thu, 12 Dec 2019

[6]  arXiv:1912.05364 (cross-list from eess.SY) [pdf, other]
Title: Breaking the Limits of Redundancy Systems Analysis
Comments: This paper is a preprint of the corresponding ESREL'19 conference publication
Subjects: Systems and Control (eess.SY); Logic in Computer Science (cs.LO); Performance (cs.PF)
[7]  arXiv:1912.05063 (cross-list from cs.AI) [pdf, other]
Title: Completion Reasoning Emulation for the Description Logic EL+
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Neural and Evolutionary Computing (cs.NE)

Wed, 11 Dec 2019

[8]  arXiv:1912.04496 [pdf, ps, other]
Title: Continuous Domains in Formal Concept Analysis
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[9]  arXiv:1912.04513 (cross-list from cs.DC) [pdf, other]
Title: Cross-Chain Payment Protocols with Success Guarantees
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO)

Tue, 10 Dec 2019 (showing first 1 of 2 entries)

[10]  arXiv:1912.03841 [pdf, ps, other]
Title: Logarithmic-Bounded Second-Order Quantifiers and Limited Nondeterminism
Comments: 15 pages. This article was reported in National Conference on Modern Logic 2019, on November 9 in Beijing
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Logic (math.LO)
[ total of 15 entries: 1-10 | 11-15 ]
[ showing 10 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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