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 50

[ total of 107 entries: 1-50 | 51-100 | 101-107 ]
[ showing 50 entries per page: fewer | more | all ]
[51]  arXiv:2101.10486 [pdf, other]
Title: Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality (Extended Abstract)
Authors: Lachlan McPheat (University College London), Mehrnoosh Sadrzadeh (University College London), Hadi Wazni (Queen Mary University London), Gijs Wijnholds (Utrecht University)
Comments: In Proceedings ACT 2020, arXiv:2101.07888. arXiv admin note: substantial text overlap with arXiv:2005.03074
Journal-ref: EPTCS 333, 2021, pp. 168-182
Subjects: Logic in Computer Science (cs.LO)
[52]  arXiv:2101.10487 [pdf, other]
Title: Proof Theory of Partially Normal Skew Monoidal Categories
Comments: In Proceedings ACT 2020, arXiv:2101.07888
Journal-ref: EPTCS 333, 2021, pp. 230-246
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[53]  arXiv:2101.10488 [pdf, other]
Title: Reverse Derivative Ascent: A Categorical Approach to Learning Boolean Circuits
Authors: Paul Wilson (University of Southampton), Fabio Zanasi (University College London)
Comments: In Proceedings ACT 2020, arXiv:2101.07888
Journal-ref: EPTCS 333, 2021, pp. 247-260
Subjects: Logic in Computer Science (cs.LO); Machine Learning (cs.LG)
[54]  arXiv:2101.10490 [pdf, other]
Title: Behavioral Mereology: A Modal Logic for Passing Constraints
Authors: Brendan Fong (MIT), David Jaz Myers (Johns Hopkins), David I. Spivak (MIT)
Comments: In Proceedings ACT 2020, arXiv:2101.07888. arXiv admin note: substantial text overlap with arXiv:1811.00420
Journal-ref: EPTCS 333, 2021, pp. 276-288
Subjects: Logic in Computer Science (cs.LO)
[55]  arXiv:2101.10493 [pdf, ps, other]
Title: Dualizing sup-preserving endomaps of a complete lattice
Comments: In Proceedings ACT 2020, arXiv:2101.07888
Journal-ref: EPTCS 333, 2021, pp. 335-346
Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM)
[56]  arXiv:2101.10494 [pdf, ps, other]
Title: Products in a Category with Only One Object
Authors: Richard Statman (Carnegie Mellon University)
Comments: In Proceedings ACT 2020, arXiv:2101.07888
Journal-ref: EPTCS 333, 2021, pp. 347-353
Subjects: Logic in Computer Science (cs.LO)
[57]  arXiv:2101.10720 [pdf, ps, other]
Title: A program logic for fresh name generation
Comments: 15 core pages accepted for publication in FSEN 2021, +60 pages of proofs included in appendix
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[58]  arXiv:2101.11479 [pdf, other]
Title: Normalization for Cubical Type Theory
Comments: LICS 2021
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[59]  arXiv:2101.11727 [pdf, ps, other]
Title: Characterising Fixed Parameter Tractability of Query Evaluation over Guarded TGDs
Authors: Cristina Feier
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Databases (cs.DB); Formal Languages and Automata Theory (cs.FL)
[60]  arXiv:2101.11730 [pdf, ps, other]
Title: Alignment Completeness for Relational Hoare Logics
Comments: Minor revision of original. To appear in LICS 2021 but this version has appendix
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[61]  arXiv:2101.12029 [pdf, other]
Title: Type-Based Analysis of Logarithmic Amortised Complexity
Comments: 35 pages. arXiv admin note: text overlap with arXiv:1807.08242
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[62]  arXiv:2101.12045 [pdf, other]
Title: Compositional Game Theory, Compositionally
Comments: In Proceedings ACT 2020, arXiv:2101.07888
Journal-ref: EPTCS 333, 2021, pp. 198-214
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[63]  arXiv:2101.12046 [pdf, other]
Title: Wiring diagrams as normal forms for computing in symmetric monoidal categories
Authors: Evan Patterson (Stanford University), David I. Spivak (MIT), Dmitry Vagner
Comments: In Proceedings ACT 2020, arXiv:2101.07888
Journal-ref: EPTCS 333, 2021, pp. 49-64
Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM)
[64]  arXiv:2101.12349 [pdf, ps, other]
Title: Logical Characterizations of Fuzzy Bisimulations in Fuzzy Modal Logics over Residuated Lattices
Authors: Linh Anh Nguyen
Subjects: Logic in Computer Science (cs.LO)
[65]  arXiv:2101.12607 [pdf, ps, other]
Title: A Symmetric Lambda-Calculus Corresponding to the Negation-Free Bilateral Natural Deduction
Subjects: Logic in Computer Science (cs.LO)
[66]  arXiv:2101.12683 [pdf, other]
Title: Inductive Synthesis for Probabilistic Programs Reaches New Horizons
Comments: Full version of TACAS'21 submission
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[67]  arXiv:2101.00003 (cross-list from cs.CC) [pdf, ps, other]
Title: Yet another argument in favour of NP=CoNP
Comments: This article puts together the results shown in arXiv:2009.09802v1 and in arXiv:2012.07833v1 to show a proof of NP=CoNP. It is need to read these article to get the details on the proof presented here
Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)
[68]  arXiv:2101.00485 (cross-list from cs.AI) [pdf, other]
Title: If You're Happy, Then You Know It: The Logic of Happiness... and Sadness
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[69]  arXiv:2101.00589 (cross-list from cs.AI) [pdf, ps, other]
Title: diff-SAT -- A Software for Sampling and Probabilistic Reasoning for SAT and Answer Set Programming
Authors: Matthias Nickles
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[70]  arXiv:2101.00718 (cross-list from cs.DS) [pdf, other]
Title: Text Searching Allowing for Non-Overlapping Adjacent Unbalanced Translocations
Comments: arXiv admin note: substantial text overlap with arXiv:1812.00421
Subjects: Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO)
[71]  arXiv:2101.00834 (cross-list from eess.SY) [pdf, other]
Title: Symbolic Control for Stochastic Systems via Parity Games
Subjects: Systems and Control (eess.SY); Logic in Computer Science (cs.LO)
[72]  arXiv:2101.00930 (cross-list from cs.PL) [pdf, ps, other]
Title: Lassie: HOL4 Tactics by Example
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[73]  arXiv:2101.01255 (cross-list from cs.FL) [pdf, ps, other]
Title: Quantitative Corner Case Feature Analysis of Hybrid Automata with ForFET$^{SMT}$
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[74]  arXiv:2101.01968 (cross-list from cs.FL) [pdf, other]
Title: Positive first-order logic on words
Authors: Denis Kuperberg
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Logic (math.LO)
[75]  arXiv:2101.02310 (cross-list from cs.FL) [pdf, ps, other]
Title: Parallel Hyperedge Replacement Grammars
Authors: Graham Campbell
Comments: 40 pages, 2021
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[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-50 | 51-100 | 101-107 ]
[ showing 50 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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