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)