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

Logic in Computer Science

Authors and titles for cs.LO in Jan 2021, skipping first 75

[ total of 107 entries: 1-25 | 26-50 | 51-75 | 76-100 | 101-107 ]
[ showing 25 entries per page: fewer | more | all ]
[76]  arXiv:2101.02466 (cross-list from cs.DB) [pdf, ps, other]
Title: On the Interaction of Functional and Inclusion Dependencies with Independence Atoms
Subjects: Databases (cs.DB); Logic in Computer Science (cs.LO)
[77]  arXiv:2101.02516 (cross-list from cs.AI) [pdf, ps, other]
Title: Merging with unknown reliability
Authors: Paolo Liberatore
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[78]  arXiv:2101.02547 (cross-list from cs.LG) [pdf, ps, other]
Title: On the Convergence of Tsetlin Machines for the XOR Operator
Comments: 31 pages, 3 figures
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[79]  arXiv:2101.05418 (cross-list from cs.RO) [pdf, other]
Title: Enclosing the Sliding Surfaces of a Controlled Swing
Authors: Luc Jaulin (Robex, Lab-STICC), Benoît Desrochers (DGA-TN)
Comments: In Proceedings SNR 2020, arXiv:2101.05256
Journal-ref: EPTCS 331, 2021, pp. 43-55
Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[80]  arXiv:2101.06015 (cross-list from cs.NI) [pdf, ps, other]
Title: Deadlock in packet switching networks
Comments: This is a version with full proofs of the preprint that was submitted to FSEN 2021, and accepted for publication in that conference (to appear in Springer LNCS)
Subjects: Networking and Internet Architecture (cs.NI); Logic in Computer Science (cs.LO)
[81]  arXiv:2101.06223 (cross-list from cs.LG) [pdf, other]
Title: LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning
Comments: 16 pages
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[82]  arXiv:2101.06240 (cross-list from cs.DB) [pdf, ps, other]
Title: Towards Approximate Query Enumeration with Sublinear Preprocessing Time
Subjects: Databases (cs.DB); Logic in Computer Science (cs.LO)
[83]  arXiv:2101.06644 (cross-list from cs.CV) [pdf, other]
Title: HySTER: A Hybrid Spatio-Temporal Event Reasoner
Comments: Preprint accepted by the 35th AAAI Conference on Artificial Intelligence (AAAI-21) Workshop on Hybrid Artificial Intelligence (HAI)
Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Logic in Computer Science (cs.LO)
[84]  arXiv:2101.06757 (cross-list from cs.PL) [pdf, ps, other]
Title: Higher Order Automatic Differentiation of Higher Order Functions
Comments: 34 pages, 5 figures, submitted at LMCS 2020. arXiv admin note: substantial text overlap with arXiv:2001.02209
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[85]  arXiv:2101.06989 (cross-list from cs.GT) [pdf, other]
Title: Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP
Subjects: Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)
[86]  arXiv:2101.07038 (cross-list from cs.FL) [pdf, ps, other]
Title: Computability of Data-Word Transductions over Different Data Domains
Comments: Extended version of arxiv:2002.08203
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[87]  arXiv:2101.07202 (cross-list from cs.AI) [pdf, other]
Title: dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts
Journal-ref: TACAS (2) (pp. 326-345). Springer. 2021
Subjects: Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL); Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Systems and Control (eess.SY)
[88]  arXiv:2101.07495 (cross-list from cs.CC) [pdf, ps, other]
Title: Tameness and the power of programs over monoids in DA
Authors: Nathan Grosshans, Pierre Mckenzie (DIRO), Luc Segoufin (VALDA, DI-ENS)
Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[89]  arXiv:2101.08011 (cross-list from cs.FL) [pdf, other]
Title: One-way resynchronizability of word transducers
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[90]  arXiv:2101.08181 (cross-list from cs.PL) [pdf, ps, other]
Title: Fair Refinement for Asynchronous Session Types (extended version)
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[91]  arXiv:2101.09032 (cross-list from cs.PL) [pdf, other]
Title: Checking Robustness Between Weak Transactional Consistency Models
Comments: 38 pages, 7 figures, 2 tables, extended version of ESOP 2021 conference paper
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[92]  arXiv:2101.09038 (cross-list from cs.PL) [pdf, ps, other]
Title: A Decentralized Analysis of Multiparty Protocols
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[93]  arXiv:2101.10479 (cross-list from cs.PL) [pdf, other]
Title: A Monad for Probabilistic Point Processes
Authors: Swaraj Dash (University of Oxford), Sam Staton (University of Oxford)
Comments: In Proceedings ACT 2020, arXiv:2101.07888
Journal-ref: EPTCS 333, 2021, pp. 19-32
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[94]  arXiv:2101.10907 (cross-list from cs.DM) [pdf]
Title: Exploring Rulial Space: The Case of Turing Machines
Authors: Stephen Wolfram
Subjects: Discrete Mathematics (cs.DM); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)
[95]  arXiv:2101.11320 (cross-list from cs.PL) [pdf, ps, other]
Title: Tutorial on implementing Hoare logic for imperative programs in Haskell
Authors: Boro Sitnikovski
Comments: Added sample implementation for H-Consequence, H-While, and another example; Added CoI section, tweaks to labels for 'boptimize'; Improved Hoare logic implementation by relying on actual Propositional calculus and Number theory systems, rather than toy optimization functions; improve formula printer; small tweak updates. Associated files are available at this https URL
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[96]  arXiv:2101.11351 (cross-list from cs.PL) [pdf, other]
Title: Compositional Semantics for Probabilistic Programs with Exact Conditioning
Comments: 16 pages, 5 figures
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Category Theory (math.CT); Probability (math.PR)
[97]  arXiv:2101.11707 (cross-list from cs.CL) [pdf, other]
Title: Knowledge-driven Natural Language Understanding of English Text and its Applications
Comments: Preprint. Accepted by the 35th AAAI Conference (AAAI-21) Main Tracks
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[98]  arXiv:2101.11996 (cross-list from cs.FL) [pdf, ps, other]
Title: Continuous One-Counter Automata
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[99]  arXiv:2101.00127 (cross-list from math.CO) [pdf, ps, other]
Title: Formalizing Hall's Marriage Theorem in Lean
Comments: 15 pages
Subjects: Combinatorics (math.CO); Logic in Computer Science (cs.LO)
[100]  arXiv:2101.07701 (cross-list from math.DS) [pdf, other]
Title: Computing the exact number of periodic orbits for planar flows
Subjects: Dynamical Systems (math.DS); Logic in Computer Science (cs.LO); Logic (math.LO)
[ total of 107 entries: 1-25 | 26-50 | 51-75 | 76-100 | 101-107 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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