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

Logic in Computer Science

Authors and titles for recent submissions

[ total of 27 entries: 1-25 | 26-27 ]
[ showing 25 entries per page: fewer | more | all ]

Wed, 19 Feb 2020

[1]  arXiv:2002.07654 [pdf, ps, other]
Title: Integrated Information in Process Theories
Comments: 18 pages, 4 page appendix
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); Quantum Physics (quant-ph)
[2]  arXiv:2002.07218 [pdf, other]
Title: On Higher-Order Cryptography (Long Version)
Subjects: Logic in Computer Science (cs.LO); Cryptography and Security (cs.CR)
[3]  arXiv:2002.07672 (cross-list from cs.DC) [pdf, other]
Title: Structural Invariants for the Verification of Systems with Parameterized Architectures
Comments: preprint; to be published in the proceedings of TACAS20
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO)
[4]  arXiv:2002.07574 (cross-list from math.GR) [pdf, ps, other]
Title: The Post Correspondence Problem and equalisers for certain free group and monoid morphisms
Comments: 15 pages
Subjects: Group Theory (math.GR); Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[5]  arXiv:2002.07545 (cross-list from cs.FL) [pdf, other]
Title: Synthesis in Presence of Dynamic Links
Comments: 27 pages, 5 figures
Subjects: Formal Languages and Automata Theory (cs.FL); Distributed, Parallel, and Cluster Computing (cs.DC); Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)
[6]  arXiv:2002.07309 (cross-list from cs.CR) [pdf, other]
Title: Discovering ePassport Vulnerabilities using Bisimilarity
Subjects: Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO)

Tue, 18 Feb 2020

[7]  arXiv:2002.07115 [pdf, other]
Title: An SMT-Based Concolic Testing Tool for Logic Programs
Subjects: Logic in Computer Science (cs.LO)
[8]  arXiv:2002.07054 [pdf, other]
Title: When symmetries are not enough: a hierarchy of hard Constraint Satisfaction Problems
Comments: 31 pages
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Logic (math.LO)
[9]  arXiv:2002.07019 [pdf, other]
Title: Learning to Prove Theorems by Learning to Generate Theorems
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Machine Learning (stat.ML)
[10]  arXiv:2002.06784 [pdf, ps, other]
Title: Graded Algebraic Theories
Authors: Satoshi Kura
Comments: Long version of FoSSaCS'20 camera ready paper (pre-final)
Subjects: Logic in Computer Science (cs.LO)
[11]  arXiv:2002.07025 (cross-list from cs.GT) [pdf, other]
Title: Secure-by-synthesis network with active deception and temporal logic specifications
Comments: 16 pages, 9 figures
Subjects: Computer Science and Game Theory (cs.GT); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[12]  arXiv:2002.07020 (cross-list from cs.PL) [pdf, ps, other]
Title: Fractional Types: Expressive and Safe Space Management for Ancilla Bits
Comments: For the agda formalization, see this https URL
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[13]  arXiv:2002.06911 (cross-list from cs.AI) [pdf, ps, other]
Title: An ASP semantics for Constraints involving Conditional Aggregates
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[14]  arXiv:2002.06737 (cross-list from cs.FL) [pdf, other]
Title: Four-valued monitorability of $ω$-regular languages
Comments: 17 pages
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[15]  arXiv:2002.06727 (cross-list from cs.DM) [pdf, ps, other]
Title: Generating clause sequences of a CNF formula
Comments: 9 pages
Subjects: Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO)
[16]  arXiv:2002.06465 (cross-list from cs.FL) [pdf, other]
Title: Information-Flow Interfaces
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[17]  arXiv:2002.06451 (cross-list from cs.CC) [pdf, other]
Title: Symmetric Arithmetic Circuits
Comments: 24 pages
Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO)

Mon, 17 Feb 2020

[18]  arXiv:2002.06072 [pdf, ps, other]
Title: Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints
Comments: Technical report for the paper of the same title accepted to ECAI 2020
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[19]  arXiv:2002.06047 [pdf, ps, other]
Title: Flexible Coinduction in Agda
Authors: Luca Ciccone
Subjects: Logic in Computer Science (cs.LO)
[20]  arXiv:2002.05958 [pdf, ps, other]
Title: Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics
Comments: Submitted for publication. Will be revised after referees report
Subjects: Logic in Computer Science (cs.LO)
[21]  arXiv:2002.06100 (cross-list from cs.AI) [pdf, other]
Title: Analyzing Differentiable Fuzzy Logic Operators
Comments: 45 pages, 19 figures
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[22]  arXiv:2002.06000 (cross-list from cs.AI) [pdf, other]
Title: Extended Markov Games to Learn Multiple Tasks in Multi-Agent Reinforcement Learning
Comments: Long version of the correspondent ECAI 2020 paper
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA)

Fri, 14 Feb 2020

[23]  arXiv:2002.05649 [pdf, ps, other]
Title: The Abstract Machinery of Interaction (Long Version)
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[24]  arXiv:2002.05256 [pdf, other]
Title: Change actions: from incremental computation to discrete derivatives
Comments: PhD thesis, Oxford, Preliminary version, 224 pages, 24 figures
Subjects: Logic in Computer Science (cs.LO)
[25]  arXiv:2002.05406 (cross-list from cs.AI) [pdf, other]
Title: ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (system description)
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Neural and Evolutionary Computing (cs.NE); Symbolic Computation (cs.SC)
[ total of 27 entries: 1-25 | 26-27 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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