Logic in Computer Science

Authors and titles for August 2021

[51] arXiv:2108.10700 [pdf, other]

Title: Scalar actions in Lean's mathlib

Eric Wieser

Comments: 6 pages, 2 figures. For associated conference presentation slides, see this https URL

Journal-ref: Workshop Papers of the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Timisoara, Romania, July 26 - 31, 2021, https://ceur-ws.org/Vol-3377/fmm11.pdf

Subjects: Logic in Computer Science (cs.LO)

[52] arXiv:2108.10718 [pdf, other]

Title: Convexity via Weak Distributive Laws

Filippo Bonchi, Alessio Santamaria

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

Journal-ref: Logical Methods in Computer Science, Volume 18, Issue 4 (November 23, 2022) lmcs:8389

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

[53] arXiv:2108.10728 [pdf, other]

Title: What is an Algorithm?: a Modern View

Keehang Kwon

Comments: 6 pages

Subjects: Logic in Computer Science (cs.LO)

[54] arXiv:2108.10848 [pdf, other]

Title: On Encoding LF in a Predicate Logic over Simply-Typed Lambda Terms

Gopalan Nadathur, Mary Southern

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

[55] arXiv:2108.10865 [pdf, other]

Title: On Specialization of a Program Model of Naive Pattern Matching in Strings (Extended Abstract)

Andrei P. Nemytykh (Program Systems Institute of Russian Academy of Sciences)

Comments: Pre-proceedings paper presented at the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021), Tallinn, Estonia, and Virtual, September 7-8, 2021 (arXiv:2107.10160)

Subjects: Logic in Computer Science (cs.LO); Data Structures and Algorithms (cs.DS); Programming Languages (cs.PL); Software Engineering (cs.SE)

[56] arXiv:2108.10868 [pdf, other]

Title: Towards Formalising Schutz' Axioms for Minkowski Spacetime in Isabelle/HOL

Richard Schmoetten (1), Jake E. Palmer (1), Jacques D. Fleuriot (1) ((1) The University of Edinburgh)

Comments: 45 pages, 7 figures, submitted to Journal of Automated Reasoning. V2: updated title page

Subjects: Logic in Computer Science (cs.LO); General Relativity and Quantum Cosmology (gr-qc)

[57] arXiv:2108.11226 [pdf, other]

Title: Minimal Translations from Synchronous Communication to Synchronizing Locks

Manfred Schmidt-Schauß (Goethe-Universität Frankfurt am Main), David Sabel (LMU München)

Comments: In Proceedings EXPRESS/SOS 2021, arXiv:2108.09624. Author version at 2107.14651

Journal-ref: EPTCS 339, 2021, pp. 59-75

Subjects: Logic in Computer Science (cs.LO)

[58] arXiv:2108.11699 [pdf, other]

Title: P$\rho$Log: a system for rule-based programming

Besik Dundua

Comments: 6 pages, 9th International Symposium on Symbolic Computation in Software Science (SCSS 2021)

Subjects: Logic in Computer Science (cs.LO)

[59] arXiv:2108.12003 [pdf, other]

Title: Automata Linear Dynamic Logic on Finite Traces

Kevin W.Smith, Moshe Y. Vardi

Subjects: Logic in Computer Science (cs.LO)

[60] arXiv:2108.12239 [pdf, other]

Title: Geometric Models for (Temporally) Attributed Description Logics

Camille Bourgaux, Ana Ozaki, Jeff Z. Pan

Comments: Long version of a DL 2021 paper. 24 pages

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

[61] arXiv:2108.12331 [pdf, other]

Title: Revising Ontologies via Models: The ALC-formula Case

Jandson S. Ribeiro, Ricardo Guimarães, Ana Ozaki

Comments: 26 pages, 0 figures, submitted to the International Workshop on Description Logics 2021 (DL 2021); acknowledgements corrected

Subjects: Logic in Computer Science (cs.LO)

[62] arXiv:2108.12552 [pdf, other]

Title: Cirquent calculus in a nutshell

Giorgi Japaridze, Bikal Lamichhane

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

[63] arXiv:2108.12774 [pdf, other]

Title: An Upper Bound for Provenance in ELHr

Rafael Peñaloza

Comments: Full version of paper appearing in the Description Logic Workshop 2021

Subjects: Logic in Computer Science (cs.LO)

[64] arXiv:2108.13104 [pdf, other]

Title: A Coinductive Version of Milner's Proof System for Regular Expressions Modulo Bisimilarity

Clemens Grabmayer

Comments: 32 pages (16 pages article, 1 page bibliography, and 15 pages appendix); v2: improved motivation coinductive proofs; v3: corrections and adaptations made for final LIPIcs version (CALCO proceedings)

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

[65] arXiv:2108.13365 [pdf, other]

Title: Representation and Processing of Instantaneous and Durative Temporal Phenomena

Manolis Pitsikalis, Alexei Lisitsa, Shan Luo

Comments: Pre-proceedings paper presented at the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021), Tallinn, Estonia, and Virtual, September 7-8, 2021 (arXiv:2107.10160)

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

[66] arXiv:2108.13660 [pdf, other]

Title: Formalizing the Gromov-Hausdorff space

Sébastien Gouëzel (IRMAR)

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

[67] arXiv:2108.00903 (cross-list from cs.DB) [pdf, other]

Title: Extending Sticky-Datalog+/- via Finite-Position Selection Functions: Tractability, Algorithms, and Optimization

Leopoldo Bertossi, Mostafa Milani

Comments: Journal submission

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

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

Title: OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems

Chelsea Sidrane, Amir Maleki, Ahmed Irfan, Mykel J. Kochenderfer

Comments: 44 pages, under review

Journal-ref: Journal of Machine Learning Research 23 (2022) 1-45

Subjects: Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Systems and Control (eess.SY)

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

Title: Proceedings of the 6th Workshop on Formal Integrated Development Environment

José Proença (Polytechnic Institute of Porto, Portugal), Andrei Paskevich (Paris-Saclay University, France)

Journal-ref: EPTCS 338, 2021

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

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

Title: I-DLV-sr: A Stream Reasoning System based on I-DLV

Francesco Calimeri, Marco Manna, Elena Mastria, Maria Concetta Morelli, Simona Perri, Jessica Zangari

Comments: Paper presented at the 37th International Conference on Logic Programming (ICLP 2021), 16 pages

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

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

Title: Disjunctive Delimited Control

Alexander Vandenbroucke, Tom Schrijvers

Comments: Pre-proceedings paper presented at the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021), Tallinn, Estonia, and Virtual, September 7-8, 2021 (arXiv:2107.10160). arXiv admin note: substantial text overlap with arXiv:2009.04909

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

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

Title: Extracting functional programs from Coq, in Coq

Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen, Bas Spitters

Comments: 57 pages; Coq development: this https URL. arXiv admin note: substantial text overlap with arXiv:2012.09138

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

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

Title: Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs

Viktor Besin, Markus Hecher, Stefan Woltran

Comments: Paper presented at the 37th International Conference on Logic Programming (ICLP 2021), 16 pages

Subjects: Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO); Logic (math.LO)

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

Title: Towards a Semantics for Hybrid ASP systems

Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko

Comments: 29 pages

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

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

Title: Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures

Loris Bozzato, Thomas Eiter, Rafael Kiesel

Comments: Paper presented at the 37th International Conference on Logic Programming (ICLP 2021). 32 pages, 17 pages are appendix. (v2 updates: updated acknowledgements, added journal reference and DOI)

Journal-ref: Theory and Practice of Logic Programming, 21(5):593-609, 2021

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