Logic in Computer Science

Authors and titles for March 2024

[76] arXiv:2403.07948 (cross-list from math.LO) [pdf, html, other]

Title: A Study on Actions for Atomic Logics

Raül Espejo-Boix

Comments: Master's thesis

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

[77] arXiv:2403.08190 (cross-list from math.CT) [pdf, html, other]

Title: Generalized Chevalley criteria in simplicial homotopy type theory

Jonathan Weinberger

Comments: 19 pages. This text is based on Appendix A from author's PhD thesis arXiv:2202.13132. Comments welcome!

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

[78] arXiv:2403.09119 (cross-list from math.LO) [pdf, html, other]

Title: Generalisation of proof simulation procedures for Frege systems by M.L.~Bonet and S.R.~Buss

Daniil Kozhemiachenko

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

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

Title: Learning Algorithms for Verification of Markov Decision Processes

Tomáš Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtěch Forejt, Jan Křetínský, Marta Kwiatkowska, Tobias Meggendorfer, David Parker, Mateusz Ujma

Subjects: Systems and Control (eess.SY); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[80] arXiv:2403.09556 (cross-list from math.DS) [pdf, html, other]

Title: Memoryless concretization relation

Julien Calbert, Sébastien Mattenet, Antoine Girard, Raphaël M. Jungers

Comments: to appear in proc. of HSCC 2024

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

[81] arXiv:2403.09921 (cross-list from math.LO) [pdf, html, other]

Title: Fregean Flows

Eric Easthope

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

[82] arXiv:2403.10110 (cross-list from cs.LG) [pdf, html, other]

Title: Meta Operator for Complex Query Answering on Knowledge Graphs

Hang Yin, Zihao Wang, Yangqiu Song

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

[83] arXiv:2403.10144 (cross-list from cs.CL) [pdf, html, other]

Title: NLP Verification: Towards a General Methodology for Certifying Robustness

Marco Casadio, Tanvi Dinkar, Ekaterina Komendantskaya, Luca Arnaboldi, Matthew L. Daggitt, Omri Isac, Guy Katz, Verena Rieser, Oliver Lemon

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[84] arXiv:2403.10310 (cross-list from cs.GT) [pdf, html, other]

Title: Scaling CheckMate for Game-Theoretic Security

Sophie Rain, Lea Salome Brugger, Anja Petkovic Komel, Laura Kovacs, Michael Rawson

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

[85] arXiv:2403.10447 (cross-list from math.CT) [pdf, html, other]

Title: Free Doubly-Infinitary Distributive Categories are Cartesian Closed

Fernando Lucatelli Nunes, Matthijs Vákár

Comments: 16 pages, minor, corrected some typos, added references

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

[86] arXiv:2403.10554 (cross-list from eess.SY) [pdf, html, other]

Title: Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications

Parv Kapoor, Eunsuk Kang, Romulo Meira-Goes

Comments: Accepted to Nasa Formal Methods (NFM) 2024

Subjects: Systems and Control (eess.SY); Logic in Computer Science (cs.LO); Robotics (cs.RO)

[87] arXiv:2403.10692 (cross-list from cs.CL) [pdf, html, other]

Title: EXPLORER: Exploration-guided Reasoning for Textual Reinforcement Learning

Kinjal Basu, Keerthiram Murugesan, Subhajit Chaudhury, Murray Campbell, Kartik Talamadupula, Tim Klinger

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

[88] arXiv:2403.11779 (cross-list from cs.DM) [pdf, html, other]

Title: Home Spaces and Invariants to Analyze Parameterized Petri Nets

Gerard Memmi

Comments: 20 pages. arXiv admin note: substantial text overlap with arXiv:2306.07623

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

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

Title: Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report

Roland Kaminski, Torsten Schaub, Tran Cao Son, Jiří Švancara, Philipp Wanko

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

[90] arXiv:2403.12581 (cross-list from cs.DM) [pdf, other]

Title: An Upper Bound on the Weisfeiler-Leman Dimension

Thomas Schneider, Pascal Schweitzer

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

[91] arXiv:2403.12627 (cross-list from cs.AI) [pdf, html, other]

Title: Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code

Andreas Florath

Comments: 11 pages

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

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

Title: Small Scale Reflection for the Working Lean User

Vladimir Gladshtein, George Pîrlea, Ilya Sergey

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

[93] arXiv:2403.12869 (cross-list from cs.AI) [pdf, html, other]

Title: Regularization in Spider-Style Strategy Discovery and Schedule Construction

Filip Bártek, Karel Chvalovský, Martin Suda

Comments: 25 pages, 8 figures; updated cosmetically for publication in IJCAR 2024 proceedings

Journal-ref: Automated Reasoning. IJCAR 2024. 194-213

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

[94] arXiv:2403.13310 (cross-list from cs.IR) [pdf, html, other]

Title: A Semantic Search Engine for Mathlib4

Guoxiong Gao, Haocheng Ju, Jiedong Jiang, Zihan Qin, Bin Dong

Subjects: Information Retrieval (cs.IR); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)

[95] arXiv:2403.13457 (cross-list from cs.SC) [pdf, html, other]

Title: OSVAuto: semi-automatic verifier for functional specifications of operating systems

Yulun Wu, Bohua Zhan, Bican Xia

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

[96] arXiv:2403.13741 (cross-list from cs.MA) [pdf, other]

Title: Hyper Strategy Logic

Raven Beutner, Bernd Finkbeiner

Comments: AAMAS 2024

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

[97] arXiv:2403.13914 (cross-list from cs.DB) [pdf, html, other]

Title: Database Dependencies and Formal Concept Analysis

Jaume Baixeries

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

[98] arXiv:2403.14043 (cross-list from math.LO) [pdf, html, other]

Title: Modal logic, fundamentally

Wesley H. Holliday

Comments: Forthcoming in Advances in Modal Logic, Vol. 15

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

[99] arXiv:2403.15201 (cross-list from math.CO) [pdf, html, other]

Title: Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes

Jan Dreier, Nikolas Mählmann, Szymon Toruńczyk

Comments: v2: added section "Conclusions and Future Work"

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

[100] arXiv:2403.15961 (cross-list from cs.AI) [pdf, html, other]

Title: SAT Encoding of Partial Ordering Models for Graph Coloring Problems

Daniel Faber, Adalat Jabrayilov, Petra Mutzel

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