Logic in Computer Science

Authors and titles for cs.LO in Mar 2024, skipping first 50

[51]  arXiv:2403.18916 [pdf, ps, other]

Title: Modelling the Raft Distributed Consensus Protocol in mCRL2

Authors: Parth Bora (Eindhoven University of Technology), Pham Duc Minh (Eindhoven University of Technology), Tim A.C. Willemse (Eindhoven University of Technology)

Comments: In Proceedings MARS 2024, arXiv:2403.17862

Journal-ref: EPTCS 399, 2024, pp. 7-20

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

[52]  arXiv:2403.18995 [pdf, other]

Title: Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic (Technical Report)

Authors: Peter Habermehl, Vojtěch Havlena, Michal Hečko, Lukáš Holík, Ondřej Lengál

Comments: Accepted to CAV'24

Subjects: Logic in Computer Science (cs.LO)

[53]  arXiv:2403.18999 [pdf, other]

Title: Deciding Boolean Separation Logic via Small Models (Technical Report)

Authors: Tomáš Dacík, Adam Rogalewicz, Tomáš Vojnar, Florian Zuleger

Comments: An extended version of a paper accepted to TACAS 2024

Subjects: Logic in Computer Science (cs.LO)

[54]  arXiv:2403.19446 [pdf, other]

Title: EDA-Driven Preprocessing for SAT Solving

Authors: Zhengyuan Shi, Tiebing Tang, Sadaf Khan, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu

Subjects: Logic in Computer Science (cs.LO)

[55]  arXiv:2403.19639 [pdf, other]

Title: Linear Programming in Isabelle/HOL

Authors: Julian Parsert

Subjects: Logic in Computer Science (cs.LO)

[56]  arXiv:2403.20132 [pdf, ps, other]

Title: A formal specification of the jq language

Authors: Michael Färber

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

[57]  arXiv:2403.00098 (cross-list from cs.CC) [pdf, other]

Title: On the Counting Complexity of the Skolem Problem

Authors: Gorav Jindal, Joël Ouaknine

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

[58]  arXiv:2403.00497 (cross-list from cs.CC) [pdf, ps, other]

Title: Graph Homomorphism, Monotone Classes and Bounded Pathwidth

Authors: Tala Eagling-Vose, Barnaby Martin, Daniel Paulusma, Mark Siggers, Siani Smith

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

[59]  arXiv:2403.00737 (cross-list from cs.CG) [pdf, other]

Title: Happy Ending: An Empty Hexagon in Every Set of 30 Points

Authors: Marijn J.H. Heule, Manfred Scheucher

Subjects: Computational Geometry (cs.CG); Logic in Computer Science (cs.LO); Combinatorics (math.CO)

[60]  arXiv:2403.01025 (cross-list from cs.DC) [pdf, ps, other]

Title: A Sufficient Epistemic Condition for Solving Stabilizing Agreement

Authors: Giorgio Cignarale, Stephan Felber, Hugo Rincon Galeana

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

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

Title: DECIDER: A Rule-Controllable Decoding Strategy for Language Generation by Imitating Dual-System Cognitive Theory

Authors: Chen Xu, Tian Lan, Changlong Yu, Wei Wang, Jun Gao, Yu Ji, Qunxi Dong, Kun Qian, Piji Li, Wei Bi, Bin Hu

Comments: Submitted to IEEE TKDE (Major Revision), 12 pages, 6 figures

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

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

Title: VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems

Authors: Angelo Ferrando, Vadim Malvone

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

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

Title: Fuzzy Datalog$^\exists$ over Arbitrary t-Norms

Authors: Matthias Lanzinger, Stefano Sferrazza, Przemysław A. Wałęga, Georg Gottlob

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

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

Title: BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving

Authors: Sean Lamont, Michael Norrish, Amir Dezfouli, Christian Walder, Paul Montague

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

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

Title: Almost Surely Asymptotically Constant Graph Neural Networks

Authors: Sam Adam-Day, Michael Benedikt, İsmail İlkan Ceylan, Ben Finkelshtein

Comments: 9 body pages, 28 appendix pages, 9 figures

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

[66]  arXiv:2403.04017 (cross-list from cs.AI) [pdf, ps, other]

Title: Learning Guided Automated Reasoning: A Brief Survey

Authors: Lasse Blaauwbroek, David Cerna, Thibault Gauthier, Jan Jakubův, Cezary Kaliszyk, Martin Suda, Josef Urban

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Neural and Evolutionary Computing (cs.NE); Symbolic Computation (cs.SC)

[67]  arXiv:2403.04772 (cross-list from cs.AI) [pdf, ps, other]

Title: Representing Pedagogic Content Knowledge Through Rough Sets

Authors: A Mani

Comments: 15+ pages

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

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

Title: Foundational propositions of hesitant fuzzy soft $β$-covering approximation spaces

Authors: Shizhan Lu

Comments: 23 pages

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

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

Title: Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs

Authors: Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Đorđe Žikelić

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

[70]  arXiv:2403.05829 (cross-list from eess.SY) [pdf, ps, other]

Title: Measuring Robustness in Cyber-Physical Systems under Sensor Attacks

Authors: Jian Xiang, Ruggero Lanotte, Simone Tini, Stephen Chong, Massimo Merro

Comments: Preprint submitted to Elsevier

Subjects: Systems and Control (eess.SY); Cryptography and Security (cs.CR); Emerging Technologies (cs.ET); Logic in Computer Science (cs.LO)

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

Title: Towards Multiphase Clocking in Single-Flux Quantum Systems

Authors: Rassul Bairamkulov, Giovanni De Micheli

Comments: Best Paper Award nominee at the ACM/IEEE Asia South Pacific Design Automation Conference, Incheon, South Korea, 2024. 6 pages, 6 figures

Subjects: Emerging Technologies (cs.ET); Logic in Computer Science (cs.LO); Systems and Control (eess.SY)

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

Title: Perennial Semantic Data Terms of Use for Decentralized Web

Authors: Rui Zhao, Jun Zhao

Comments: This paper is accepted by International World Wide Web Conference 2024 (WWW 2024 / The Web Conf 2024)

Subjects: Artificial Intelligence (cs.AI); Computers and Society (cs.CY); Logic in Computer Science (cs.LO)

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

Title: Learning Algorithms for Verification of Markov Decision Processes

Authors: 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)

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

Title: Meta Operator for Complex Query Answering on Knowledge Graphs

Authors: Hang Yin, Zihao Wang, Yangqiu Song

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

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

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

Authors: 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)