Logic in Computer Science

Authors and titles for cs.LO in Nov 2018, skipping first 50

[51]  arXiv:1811.11123 [pdf, other]

Title: Integrating Topological Proofs with Model Checking to Instrument Iterative Design

Authors: Claudio Menghi, Alessandro Maria Rizzi, Anna Bernasconi

Subjects: Logic in Computer Science (cs.LO)

[52]  arXiv:1811.11129 [pdf, ps, other]

Title: Descriptive Unions. A Fibre Bundle Characterization of the Union of Descriptively Near Sets

Authors: M.Z. Ahmad, J.F. Peters

Comments: 19 pages, 6 figures

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO); Metric Geometry (math.MG)

[53]  arXiv:1811.11961 [pdf, other]

Title: Course-of-Value Induction in Cedille

Authors: Denis Firsov, Larry Diehl, Christopher Jenkins, Aaron Stump

Subjects: Logic in Computer Science (cs.LO)

[54]  arXiv:1811.12377 [pdf, ps, other]

Title: Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics

Authors: Stefan Haar, Juraj Kolčák, Loïc Paulevé

Comments: Proceedings paper of VMCAI 2019 conference

Subjects: Logic in Computer Science (cs.LO)

[55]  arXiv:1811.12576 [pdf, ps, other]

Title: Parametric Timed Broadcast Protocols

Authors: Étienne André, Benoît Delahaye, Paulin Fournier, Didier Lime

Comments: This is the author (and extended) version of the manuscript of the same name published in the proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2019). This version contains additional examples and all proofs

Subjects: Logic in Computer Science (cs.LO)

[56]  arXiv:1811.00192 (cross-list from cs.PL) [pdf, ps, other]

Title: Decidable Verification of Uninterpreted Programs

Authors: Umang Mathur, P. Madhusudan, Mahesh Viswanathan

Subjects: Programming Languages (cs.PL); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[57]  arXiv:1811.00796 (cross-list from cs.LG) [pdf, other]

Title: Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement Learning

Authors: Mitsuru Kusumoto, Keisuke Yahata, Masahiro Sakai

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Machine Learning (stat.ML)

[58]  arXiv:1811.00970 (cross-list from cs.CC) [pdf, ps, other]

Title: Algebraic approach to promise constraint satisfaction

Authors: Libor Barto, Jakub Bulín, Andrei Krokhin, Jakub Opršal

Comments: Extended version (73 pages). Preliminary versions of parts of this paper were published in the proceedings of STOC 2019 and LICS 2019

Journal-ref: J. ACM 68, 4, Article 28 (July 2021), 66 pages

Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Logic (math.LO)

[59]  arXiv:1811.01351 (cross-list from cs.CC) [pdf, ps, other]

Title: Size-Degree Trade-Offs for Sums-of-Squares and Positivstellensatz Proofs

Authors: Albert Atserias, Tuomas Hakoniemi

Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)

[60]  arXiv:1811.02005 (cross-list from cs.SE) [pdf, ps, other]

Title: A Toolbox For Property Checking From Simulation Using Incremental SAT (Extended Abstract)

Authors: Rob Sumners (Centaur Technology)

Comments: In Proceedings ACL2 2018, arXiv:1810.03762

Journal-ref: EPTCS 280, 2018, pp. 95-97

Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)

[61]  arXiv:1811.02133 (cross-list from cs.PL) [pdf, other]

Title: On the Termination Problem for Probabilistic Higher-Order Recursive Programs

Authors: Naoki Kobayashi, Ugo Dal Lago, Charles Grellois

Journal-ref: Logical Methods in Computer Science, Volume 16, Issue 4 (October 2, 2020) lmcs:5919

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[62]  arXiv:1811.02446 (cross-list from cs.AI) [pdf, other]

Title: Knowledge and Blameworthiness

Authors: Pavel Naumov, Jia Tao

Subjects: Artificial Intelligence (cs.AI); Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)

[63]  arXiv:1811.02536 (cross-list from cs.CR) [pdf, other]

Title: A Bisimilarity Congruence for the Applied pi-Calculus Sufficiently Coarse to Verify Privacy Properties

Authors: Ross Horne

Subjects: Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO)

[64]  arXiv:1811.03167 (cross-list from cs.FL) [pdf, other]

Title: Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations

Authors: Taolue Chen, Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[65]  arXiv:1811.03276 (cross-list from cs.CL) [pdf, ps, other]

Title: Classical Copying versus Quantum Entanglement in Natural Language: The Case of VP-ellipsis

Authors: Gijs Wijnholds (Queen Mary University of London), Mehrnoosh Sadrzadeh (Queen Mary University of London)

Comments: In Proceedings CAPNS 2018, arXiv:1811.02701

Journal-ref: EPTCS 283, 2018, pp. 103-119

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[66]  arXiv:1811.03678 (cross-list from cs.PL) [pdf, other]

Title: Embracing the Laws of Physics: Three Reversible Models of Computation

Authors: Jacques Carette, Roshan P. James, Amr Sabry

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Category Theory (math.CT); Quantum Physics (quant-ph)

[67]  arXiv:1811.04313 (cross-list from cs.CC) [pdf, ps, other]

Title: Uniform, Integral and Feasible Proofs for the Determinant Identities

Authors: Iddo Tzameret, Stephen A. Cook

Comments: 76 pages

Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Logic (math.LO)

[68]  arXiv:1811.04801 (cross-list from cs.DM) [pdf, ps, other]

Title: On Weisfeiler-Leman Invariance: Subgraph Counts and Related Graph Properties

Authors: V. Arvind, Frank Fuhlbrück, Johannes Köbler, Oleg Verbitsky

Comments: The results on fractional graph parameters are excluded from this version and will appear as a separate paper

Subjects: Discrete Mathematics (cs.DM); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)

[69]  arXiv:1811.04826 (cross-list from cs.CC) [pdf, other]

Title: Compliance in Real Time Multiset Rewriting Models

Authors: Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn Talcott

Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)

[70]  arXiv:1811.05879 (cross-list from cs.SE) [pdf, other]

Title: Lemma Functions for Frama-C: C Programs as Proofs

Authors: Grigoriy Volkov, Mikhail Mandrykin, Denis Efremov

Comments: 8 pages, 2 tables, 7 listings. To appear in the "ISPRAS Open 2018" conference proceedings

Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)

[71]  arXiv:1811.06787 (cross-list from cs.CC) [pdf, ps, other]

Title: On the power of euclidean division: Lower bounds for algebraic machines, semantically

Authors: Thomas Seiller, Luc Pellissier, Ulysse Léchine

Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)

[72]  arXiv:1811.06936 (cross-list from cs.CR) [pdf, other]

Title: Deciding Indistinguishability

Authors: Adrien Koutsos

Subjects: Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO)

[73]  arXiv:1811.07146 (cross-list from cs.GT) [pdf, ps, other]

Title: The Impatient May Use Limited Optimism to Minimize Regret

Authors: Michaël Cadilhac, Guillermo A. Pérez, Marie van den Bogaard

Subjects: Computer Science and Game Theory (cs.GT); Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[74]  arXiv:1811.08061 (cross-list from cs.SE) [pdf, other]

Title: Model and Integrate Medical Resource Available Times and Relationships in Verifiably Correct Executable Medical Best Practice Guideline Models (Extended Version)

Authors: Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha

Comments: full version, 12 pages

Journal-ref: ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS), 2018

Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Systems and Control (eess.SY)

[75]  arXiv:1811.08064 (cross-list from cs.SE) [pdf, other]

Title: Model and Integrate Medical Resource Availability into Verifiably Correct Executable Medical Guidelines - Technical Report

Authors: Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha

Comments: full version, 8 pages. arXiv admin note: substantial text overlap with arXiv:1811.08061

Journal-ref: IEEE/ACM 36th International Conference on Computer-Aided Design (ICCAD), 2017

Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Systems and Control (eess.SY)