Logic in Computer Science

Authors and titles for March 2020

[1] arXiv:2003.00409 [pdf, other]

Title: Solving Satisfiability of Polynomial Formulas By Sample-Cell Projection

Haokun Li, Bican Xia

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

[2] arXiv:2003.00473 [pdf, other]

Title: Process algebra, process scheduling, and mutual exclusion

C. A. Middelburg

Comments: 15 pages, there is noticeable text overlap with earlier papers (arXiv:1912.10041, arXiv:1703.06822); 15 pages, Section 3.2 improved; 15 pages, minor improvements including replacement of reference at end Section 3.2

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

[3] arXiv:2003.00644 [pdf, other]

Title: Descriptive complexity of real computation and probabilistic independence logic

Miika Hannula, Juha Kontinen, Jan Van den Bussche, Jonni Virtema

Journal-ref: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2020. Association for Computing Machinery, New York, NY, USA, 550-563

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

[4] arXiv:2003.01491 [pdf, other]

Title: A Cubical Language for Bishop Sets

Jonathan Sterling, Carlo Angiuli, Daniel Gratzer

Journal-ref: Logical Methods in Computer Science, Volume 18, Issue 1 (March 29, 2022) lmcs:9069

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

[5] arXiv:2003.01696 [pdf, other]

Title: Sparse Tiling through Overlap Closures for Termination of String Rewriting

Alfons Geser, Dieter Hofbauer, Johannes Waldmann

Subjects: Logic in Computer Science (cs.LO)

[6] arXiv:2003.02087 [pdf, other]

Title: An effective version of definability in metric model theory

Nazanin Roshandel Tavana

Comments: It was not accepted

Subjects: Logic in Computer Science (cs.LO)

[7] arXiv:2003.02521 [pdf, other]

Title: Finite Open-World Query Answering with Number Restrictions

Antoine Amarilli, Michael Benedikt

Comments: 70 pages. Extended journal version of arXiv:1505.04216. This article is the same as what will be published in ToCL, except for publisher-induced changes, minor changes, and reordering of the material (in the ToCL version some detailed proofs are moved from the article body to an appendix)

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

[8] arXiv:2003.02718 [pdf, other]

Title: Towards a Better Understanding of (Partial Weighted) MaxSAT Proof Systems

Javier Larrosa, Emma Rollon

Subjects: Logic in Computer Science (cs.LO)

[9] arXiv:2003.02882 [pdf, other]

Title: Static Symmetry Breaking in Many-Sorted Finite Model Finding

Joseph Poremba

Comments: 34 pages, 1 figure. Undergraduate thesis for the University of Waterloo. Supervised by Prof. Nancy Day

Subjects: Logic in Computer Science (cs.LO)

[10] arXiv:2003.03332 [pdf, other]

Title: Boosting Answer Set Optimization with Weighted Comparator Networks

Jori Bomanson (1), Tomi Janhunen (1 and 2) ((1) Aalto University, (2) Tampere University)

Comments: 36 pages

Journal-ref: Theory and Practice of Logic Programming 20 (2020) 512-551

Subjects: Logic in Computer Science (cs.LO)

[11] arXiv:2003.03514 [pdf, other]

Title: Quantum Random Access Stored-Program Machines

Qisheng Wang, Mingsheng Ying

Comments: Final version. 69 pages, 1 figure, 6 tables, 7 algorithms

Journal-ref: Journal of Computer and System Sciences, 131: 13-63, 2023

Subjects: Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)

[12] arXiv:2003.03729 [pdf, other]

Title: Formal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper)

Adnan Rashid, Umair Siddique, Sofiene Tahar

Comments: 15 Pages, Seventh International Workshop on Formal Techniques for Safety-Critical Systems, Shenzhen, China

Subjects: Logic in Computer Science (cs.LO)

[13] arXiv:2003.03867 [pdf, html, other]

Title: Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them

Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk

Subjects: Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA)

[14] arXiv:2003.04176 [pdf, other]

Title: A Uniform Treatment of Aggregates and Constraints in Hybrid ASP

Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko

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

[15] arXiv:2003.04218 [pdf, other]

Title: Teaching Temporal Logics to Neural Networks

Christopher Hahn, Frederik Schmitt, Jens U. Kreber, Markus N. Rabe, Bernd Finkbeiner

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

[16] arXiv:2003.04225 [pdf, other]

Title: Are You Satisfied by This Partial Assignment?

Roberto Sebastiani

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

[17] arXiv:2003.04604 [pdf, other]

Title: Hilbert's Tenth Problem in Coq (Extended Version)

Dominique Larchey-Wendling, Yannick Forster

Journal-ref: Logical Methods in Computer Science, Volume 18, Issue 1 (March 1, 2022) lmcs:6195

Subjects: Logic in Computer Science (cs.LO)

[18] arXiv:2003.04627 [pdf, other]

Title: SCL with Theory Constraints

Martin Bromberger, Alberto Fiori, Christoph Weidenbach

Comments: 22 pages

Subjects: Logic in Computer Science (cs.LO)

[19] arXiv:2003.04712 [pdf, other]

Title: Dialectica Fuzzy Petri Nets

Valeria de Paiva, Apostolos Syropoulos

Comments: arXiv admin note: substantial text overlap with arXiv:1107.2513

Subjects: Logic in Computer Science (cs.LO)

[20] arXiv:2003.04728 [pdf, html, other]

Title: Module checking of pushdown multi-agent systems

Laura Bozzelli, Aniello Murano, Adriano Peron

Comments: arXiv admin note: substantial text overlap with arXiv:1709.02107

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

[21] arXiv:2003.04730 [pdf, other]

Title: Strategy Logic with Imperfect Information

Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Vardi

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

Subjects: Logic in Computer Science (cs.LO)

[22] arXiv:2003.04791 [pdf, other]

Title: An Under-Approximate Relational Logic: Heralding Logics of Insecurity, Incorrect Implementation & More

Toby Murray

Subjects: Logic in Computer Science (cs.LO)

[23] arXiv:2003.04803 [pdf, other]

Title: Beyond sets with atoms: definability in first order logic

Michał R. Przybyłek

Subjects: Logic in Computer Science (cs.LO)

[24] arXiv:2003.04952 [pdf, other]

Title: Interval Temporal Logic Decision Tree Learning

Andrea Brunello, Guido Sciavicco, Ionel Eduard Stan

Subjects: Logic in Computer Science (cs.LO)

[25] arXiv:2003.05081 [pdf, other]

Title: Animated Logic: Correct Functional Conversion to Conjunctive Normal Form

Pedro Barroso, Mário Pereira, António Ravara

Comments: 24 pages

Subjects: Logic in Computer Science (cs.LO)

[26] arXiv:2003.05213 [pdf, other]

Title: The Sequent Calculus of Skew Monoidal Categories

Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger

Comments: This article is a revised and extended version of a paper presented at MFPS 2018

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

[27] arXiv:2003.05386 [pdf, other]

Title: Local Local Reasoning: A BI-Hyperdoctrine for Full Ground Store

Miriam Polzer, Sergey Goncharov

Comments: version with appendix

Subjects: Logic in Computer Science (cs.LO)

[28] arXiv:2003.05746 [pdf, html, other]

Title: Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation

Meghyn Bienvenu, Camille Bourgaux

Comments: This is an extended version of a paper appearing at the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020). This version corrects the statement of Theorem 43 (missing hypothesis). 27 pages

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

[29] arXiv:2003.05898 [pdf, other]

Title: On monotonic determinacy and rewritability for recursive queries and views

Michael Benedikt, Stanislav Kikot, Piotr Ostropolski-Nalewaja, Miguel Romero

Subjects: Logic in Computer Science (cs.LO)

[30] arXiv:2003.06077 [pdf, other]

Title: Reachability is Tower Complete

Yuxi Fu, Qizhe Yang

Comments: We apply to with draw this paper because there is a fatal error. At the moment we do not know how correct the mistake

Subjects: Logic in Computer Science (cs.LO)

[31] arXiv:2003.06203 [pdf, other]

Title: Experimental Evaluation of a Method to Simplify Expressions

Baudouin Le Charlier

Comments: Paper rejected at IJCAR 2020

Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)

[32] arXiv:2003.06214 [pdf, other]

Title: Comb Diagrams for Discrete-Time Feedback

Mario Román

Comments: 15 pages

Subjects: Logic in Computer Science (cs.LO)

[33] arXiv:2003.06267 [pdf, other]

Title: Causal Unfoldings and Disjunctive Causes

Marc de Visme, Glynn Winskel

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

Journal-ref: Logical Methods in Computer Science, Volume 19, Issue 2 (April 20, 2023) lmcs:6202

Subjects: Logic in Computer Science (cs.LO)

[34] arXiv:2003.06458 [pdf, other]

Title: QED at Large: A Survey of Engineering of Formally Verified Software

Talia Ringer, Karl Palmskog, Ilya Sergey, Milos Gligoric, Zachary Tatlock

Comments: 183 pages, for errata see this https URL

Journal-ref: Foundations and Trends in Programming Languages, Vol. 5, No. 2-3 (Sept. 2019), pp. 102-281

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

[35] arXiv:2003.06488 [pdf, other]

Title: Patch Graph Rewriting (Extended Version)

Roy Overbeek, Jörg Endrullis

Comments: Accepted to The International Conference on Graph Transformation 2020 (ICGT 2020). Here with an Appendix. 25 pages

Subjects: Logic in Computer Science (cs.LO)

[36] arXiv:2003.08164 [pdf, other]

Title: Counting Bounded Tree Depth Homomorphisms

Martin Grohe

Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM); Combinatorics (math.CO)

[37] arXiv:2003.08298 [pdf, other]

Title: Axiom Pinpointing

Rafael Peñaloza

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

[38] arXiv:2003.08877 [pdf, other]

Title: Abstraction, Up-to Techniques and Games for Systems of Fixpoint Equations

Paolo Baldan, Barbara König, Tommaso Padoan

Subjects: Logic in Computer Science (cs.LO)

[39] arXiv:2003.09134 [pdf, other]

Title: MCC: a Tool for Unfolding Colored Petri Nets in PNML Format

Silvano Dal Zilio (LAAS-VERTICS)

Journal-ref: 41st International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2020, Paris, France

Subjects: Logic in Computer Science (cs.LO)

[40] arXiv:2003.09340 [pdf, other]

Title: Ordered Functional Decision Diagrams: A Functional Semantics For Binary Decision Diagrams

Joan Thibault, Khalil Ghorbal

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

[41] arXiv:2003.09395 [pdf, other]

Title: Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics

Nicolas Behr, Jean Krivine

Comments: 18+6 pages, LNCS style; ICGT 2020 conference paper extended version

Subjects: Logic in Computer Science (cs.LO)

[42] arXiv:2003.09453 [pdf, other]

Title: Cartesian bicategories with choice

Filippo Bonchi, Jens Seeber, Pawel Sobocinski

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

[43] arXiv:2003.09508 [pdf, other]

Title: Temporal Conjunctive Query Answering in the Extended DL-Lite Family

Stefan Borgwardt, Veronika Thost

Subjects: Logic in Computer Science (cs.LO)

[44] arXiv:2003.09667 [pdf, html, other]

Title: Partial Quantifier Elimination By Certificate Clauses

Eugene Goldberg

Subjects: Logic in Computer Science (cs.LO)

[45] arXiv:2003.09993 [pdf, other]

Title: A Trustful Monad for Axiomatic Reasoning with Probability and Nondeterminism

Reynald Affeldt, Jacques Garrigue, David Nowak, Takafumi Saikawa

Comments: 28 pages, submitted

Journal-ref: Journal of Functional Programming, 31(E17), 2021

Subjects: Logic in Computer Science (cs.LO)

[46] arXiv:2003.10209 [pdf, other]

Title: A CSP implementation of the directed bigraph embedding problem

Alessio Chiapperini, Marino Miculan, Marco Peressotti

Comments: arXiv admin note: substantial text overlap with arXiv:1412.1042

Subjects: Logic in Computer Science (cs.LO)

[47] arXiv:2003.10623 [pdf, other]

Title: Computer-Assisted Verification of Four Interval Arithmetic Operators

Daisuke Ishii, Tomohito Yabu

Comments: 15 pages, 5 figures, 2 tables

Journal-ref: Journal of Computational and Applied Mathematics 377, 112893 (2020)

Subjects: Logic in Computer Science (cs.LO)

[48] arXiv:2003.10935 [pdf, other]

Title: Deep Weisfeiler Leman

Martin Grohe, Pascal Schweitzer, Daniel Wiebking

Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)

[49] arXiv:2003.11010 [pdf, other]

Title: Efficient Computation of Graph Overlaps for Rule Composition: Theory and Z3 Prototyping

Nicolas Behr (Université de Paris, France), Reiko Heckel (University of Leicester, UK), Maryam Ghaffari Saadat (University of Leicester, UK)

Comments: In Proceedings GCM 2020, arXiv:2012.01181

Journal-ref: EPTCS 330, 2020, pp. 126-144

Subjects: Logic in Computer Science (cs.LO)

[50] arXiv:2003.11331 [pdf, other]

Title: A Formalization of SQL with Nulls

Wilmer Ricciotti, James Cheney

Subjects: Logic in Computer Science (cs.LO)