Logic in Computer Science

Authors and titles for August 2020

[51] arXiv:2008.09231 [pdf, other]

Title: A Bunched Logic for Conditional Independence

Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva

Comments: 44 pages

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

[52] arXiv:2008.09238 [pdf, other]

Title: Logic-Induced Bisimulations

Jim de Groot, Helle Hvid Hansen, Alexander Kurz

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

[53] arXiv:2008.09546 [pdf, other]

Title: A framework for modelling Molecular Interaction Maps

Jean-Marc Alliot, Marta Cialdea Mayer, Robert Demolombe, Martín Diéguez, Luis Fariñas del Cerro

Comments: 31 pages, 12 figures

Subjects: Logic in Computer Science (cs.LO)

[54] arXiv:2008.10061 [pdf, other]

Title: An Incremental Abstraction Scheme for Solving Hard SMT-Instances over Bit-Vectors

Samuel Teuber, Marko Kleine Büning, Carsten Sinz

Subjects: Logic in Computer Science (cs.LO)

[55] arXiv:2008.10426 [pdf, other]

Title: Taming denumerable Markov decision processes with decisiveness

Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Paulin Fournier

Subjects: Logic in Computer Science (cs.LO)

[56] arXiv:2008.11066 [pdf, other]

Title: Rate Equations for Graphs

Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki

Comments: to be presented at the 18th International Conference on Computational Methods in Systems Biology (CMSB 2020)

Subjects: Logic in Computer Science (cs.LO)

[57] arXiv:2008.11094 [pdf, other]

Title: Comonadic semantics for guarded fragments

Samson Abramsky, Dan Marsden

Comments: To appear in LiCS 2021

Subjects: Logic in Computer Science (cs.LO)

[58] arXiv:2008.11168 [pdf, other]

Title: An update on Weihrauch complexity, and some open questions

Arno Pauly

Comments: Extended abstract for invited talk at CCA 2020 (this http URL)

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

[59] arXiv:2008.11499 [pdf, other]

Title: Reactive Bisimulation Semantics for a Process Algebra with Time-Outs

Rob van Glabbeek

Comments: An extended abstract of this paper appears in the proceedings of CONCUR 2020

Subjects: Logic in Computer Science (cs.LO)

[60] arXiv:2008.11585 [pdf, other]

Title: Logic Signed Petri Net

Payal, Sangita Kansal

Comments: arXiv admin note: text overlap with arXiv:2001.04374

Subjects: Logic in Computer Science (cs.LO); Distributed, Parallel, and Cluster Computing (cs.DC)

[61] arXiv:2008.11753 [pdf, other]

Title: Countdown games, and simulation on (succinct) one-counter nets

Petr Jancar, Petr Osicka, Zdenek Sawa

Journal-ref: Logical Methods in Computer Science, Volume 19, Issue 1 (February 9, 2023) lmcs:6739

Subjects: Logic in Computer Science (cs.LO)

[62] arXiv:2008.12414 [pdf, other]

Title: Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics

Ornela Dardha (University of Glasgow), Jurriaan Rot (Radboud University)

Journal-ref: EPTCS 322, 2020

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

[63] arXiv:2008.13016 [pdf, other]

Title: SOS Rules for Equivalences of Reaction Systems

Linda Brodo, Roberto Bruni, Moreno Falaschi

Comments: Part of WFLP 2020 pre-proceedings

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

[64] arXiv:2008.13355 [pdf, other]

Title: Divergence-Preserving Branching Bisimilarity

Bas Luttik (Eindhoven University of Technology)

Comments: In Proceedings EXPRESS/SOS 2020, arXiv:2008.12414

Journal-ref: EPTCS 322, 2020, pp. 3-11

Subjects: Logic in Computer Science (cs.LO)

[65] arXiv:2008.13356 [pdf, other]

Title: A process algebra with global variables

Mark Bouwman (Eindhoven University of Technology), Bas Luttik (Eindhoven University of Technology), Wouter Schols, Tim A.C. Willemse (Eindhoven University of Technology)

Comments: In Proceedings EXPRESS/SOS 2020, arXiv:2008.12414

Journal-ref: EPTCS 322, 2020, pp. 33-50

Subjects: Logic in Computer Science (cs.LO)

[66] arXiv:2008.13357 [pdf, other]

Title: Reactive Temporal Logic

Rob van Glabbeek (Data61, CSIRO)

Comments: In Proceedings EXPRESS/SOS 2020, arXiv:2008.12414

Journal-ref: EPTCS 322, 2020, pp. 51-68

Subjects: Logic in Computer Science (cs.LO)

[67] arXiv:2008.13601 [pdf, other]

Title: Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers

Cristina Borralleras, Daniel Larraz, Albert Oliveras, Enric Rodriguez-Carbonell, Albert Rubio

Subjects: Logic in Computer Science (cs.LO)

[68] arXiv:2008.13603 [pdf, other]

Title: Deciding SHACL Shape Containment through Description Logics Reasoning (Extended Version)

Martin Leinberger, Philipp Seifer, Tjitze Rienstra, Ralf Lämmel, Steffen Staab

Subjects: Logic in Computer Science (cs.LO)

[69] arXiv:2008.13610 [pdf, other]

Title: VerifyThis 2019: A Program Verification Competition (Extended Report)

Claire Dross, Carlo A. Furia, Marieke Huisman, Rosemary Monahan, Peter Müller

Subjects: Logic in Computer Science (cs.LO)

[70] arXiv:2008.00070 (cross-list from math.LO) [pdf, other]

Title: Language Models for Some Extensions of the Lambek Calculus

Max Kanovich, Stepan Kuznetsov, Andre Scedrov

Comments: Extended version of our WoLLIC 2019 paper. Submitted to Information and Computation (WoLLIC 2019 special issue)

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

[71] arXiv:2008.00097 (cross-list from eess.SY) [pdf, other]

Title: Backpropagation through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods

Karen Leung, Nikos Aréchiga, Marco Pavone

Comments: First published in the Workshop on Algorithmic Foundations of Robotics 2020, and extended version invited to a Special Issue in the International Journal of Robotics Research

Subjects: Systems and Control (eess.SY); Computation and Language (cs.CL); Logic in Computer Science (cs.LO)

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

Title: The Tactician (extended version): A Seamless, Interactive Tactic Learner and Prover for Coq

Lasse Blaauwbroek, Josef Urban, Herman Geuvers

Comments: 19 pages, 2 figures. This is an extended version of a paper published in CICM-2020. For the project website, see this https URL

Journal-ref: In CICM. volume 12236 of Lecture Notes in Computer Science, pages 271-277. Springer, 2020

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[73] arXiv:2008.00956 (cross-list from cs.CL) [pdf, other]

Title: Interactive Text Graph Mining with a Prolog-based Dialog Engine

Paul Tarau, Eduardo Blanco

Comments: Under consideration in Theory and Practice of Logic Programming (TPLP). arXiv admin note: substantial text overlap with arXiv:1909.09742

Journal-ref: Theory and Practice of Logic Programming 21 (2021) 244-263

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

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

Title: MAP Inference for Probabilistic Logic Programming

Elena Bellodi, Marco Alberti, Fabrizio Riguzzi, Riccardo Zese

Comments: Paper presented at the 36th International Conference on Logic Programming (ICLP 2020), University Of Calabria, Rende (CS), Italy, September 2020, 16 pages

Journal-ref: Theory and Practice of Logic Programming 20 (2020) 641-655

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[75] arXiv:2008.01422 (cross-list from math.LO) [pdf, other]

Title: Domain Theory in Constructive and Predicative Univalent Foundations

Tom de Jong, Martín Hötzel Escardó

Comments: A shorter version of this paper has appeared in the proceedings of CSL 2021, volume 183 of LIPIcs. doi: https://doi.org/10.4230/LIPIcs.CSL.2021.28. v4: Fixed some typos

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