Logic in Computer Science

Authors and titles for August 2024

[1] arXiv:2408.00262 [pdf, html, other]

Title: Semantical Analysis of Intuitionistic Modal Logics between CK and IK

Jim de Groot, Ian Shillito, Ranald Clouston

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

[2] arXiv:2408.01109 [pdf, html, other]

Title: Characterizing Data Dependencies Then and Now

Phokion G. Kolaitis, Andreas Pieris

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

[3] arXiv:2408.01245 [pdf, other]

Title: CHTW-systems with resource-depended parameters. CHTW(R)-systems

Alexander Yu. Chunikhin

Comments: 10 pages, 2 figures. arXiv admin note: substantial text overlap with arXiv:2310.01587

Subjects: Logic in Computer Science (cs.LO)

[4] arXiv:2408.02388 [pdf, html, other]

Title: Extension preservation on dense graph classes

Ioannis Eleftheriadis

Comments: 21 pages

Subjects: Logic in Computer Science (cs.LO)

[5] arXiv:2408.02460 [pdf, html, other]

Title: Fast Robust Monitoring for Signal Temporal Logic with Value Freezing Operators (STL*)

Bassem Ghorbel, Vinayak S. Prabhu

Comments: Full version of MEMOCODE 2024 paper

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

[6] arXiv:2408.03244 [pdf, other]

Title: Modular assurance of an Autonomous Ferry using Contract-Based Design and Simulation-based Verification Principles

Jon Arne Glomsrud, Stephanie Kemna, Chanjei Vasanthan, Luman Zhao, Dag McGeorge, Tom Arne Pedersen, Tobias Rye Torben, Børge Rokseth, Dong Trong Nguyen

Comments: 12 pages, 3 figures, final draft submitted to ICMASS/MTEC 2024 conference

Subjects: Logic in Computer Science (cs.LO)

[7] arXiv:2408.03334 [pdf, other]

Title: Unconventional Universal Computation in Babbage's Analytical Engine

Raul Rojas

Comments: 6 pages, 1 figure

Subjects: Logic in Computer Science (cs.LO); Hardware Architecture (cs.AR)

[8] arXiv:2408.03796 [pdf, html, other]

Title: PolyHorn: A Polynomial Horn Clause Solver

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Milad Saadat, Maximilian Seeliger, Đorđe Žikelić

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

[9] arXiv:2408.03955 [pdf, html, other]

Title: Computational Modelling for Combinatorial Game Strategies

Răzvan Diaconescu

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

[10] arXiv:2408.04486 [pdf, other]

Title: The Complexity of Learning Temporal Properties

Benjamin Bordais, Daniel Neider, Rajarshi Roy

Subjects: Logic in Computer Science (cs.LO)

[11] arXiv:2408.04902 [pdf, html, other]

Title: Algorithms for Markov Binomial Chains

Alejandro Alarcón Gonzalez, Niel Hens, Tim Leys, Guillermo A. Pérez

Subjects: Logic in Computer Science (cs.LO)

[12] arXiv:2408.05012 [pdf, other]

Title: Complete Dynamic Logic of Communicating Hybrid Programs

Marvin Brieger, Stefan Mitsch, André Platzer

Subjects: Logic in Computer Science (cs.LO)

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

Title: Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy

Borzoo Bonakdarpour, Anik Momtaz, Dejan Ničković, N. Ege Saraç

Comments: Full version of the paper to appear in RV 2024

Subjects: Logic in Computer Science (cs.LO)

[14] arXiv:2408.06035 [pdf, html, other]

Title: Syntax-Guided Automated Program Repair for Hyperproperties

Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner

Comments: CAV 2024

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

[15] arXiv:2408.06196 [pdf, html, other]

Title: On Categories of Nested Conditions

Arend Rensink, Andrea Corradini

Subjects: Logic in Computer Science (cs.LO)

[16] arXiv:2408.06768 [pdf, html, other]

Title: Annotated Dependency Pairs for Full Almost-Sure Termination of Probabilistic Term Rewriting

Jan-Christoph Kassing, Jürgen Giesl

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

Subjects: Logic in Computer Science (cs.LO)

[17] arXiv:2408.06988 [pdf, html, other]

Title: Catamorphic Abstractions for Constrained Horn Clause Satisfiability

Emanuele De Angelis (1), Fabio Fioravanti (2), Alberto Pettorossi (3), Maurizio Proietti (1) ((1) IASI-CNR, Rome, Italy, (2) DEc, University 'G. d'Annunzio', Chieti-Pescara, Italy, (3) DICII, University of Rome 'Tor Vergata', Italy)

Comments: Under consideration in Theory and Practice of Logic Programming (TPLP)

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

[18] arXiv:2408.07059 [pdf, html, other]

Title: Model Counting in the Wild

Arijit Shaw, Kuldeep S. Meel

Comments: Full version of conference paper accepted at KR 2024

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

[19] arXiv:2408.07283 [pdf, html, other]

Title: Queries With Exact Truth Values in Paraconsistent Description Logics

Meghyn Bienvenu, Camille Bourgaux, Daniil Kozhemiachenko

Comments: This is an extended version of a paper with the same title appearing at the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024)

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

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

Title: Abductive Reasoning in a Paraconsistent Framework

Meghyn Bienvenu, Katsumi Inoue, Daniil Kozhemiachenko

Comments: This is an extended version of a paper with the same title appearing at the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024)

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

[21] arXiv:2408.07886 [pdf, html, other]

Title: Physically Aware Synthesis Revisited: Guiding Technology Mapping with Primitive Logic Gate Placement

Hongyang Pan, Cunqing Lan, Yiting Liu, Zhiang Wang, Li Shang, Xuan Zeng, Fan Yang, Keren Zhu

Comments: 9 pages, 8 figures, 2 tables

Journal-ref: 2024 International Conference on Computer-Aided Design, New Jersey, NY, USA, Oct 2024

Subjects: Logic in Computer Science (cs.LO)

[22] arXiv:2408.07915 [pdf, other]

Title: On the Expressivity of Typed Concurrent Calculi

Joseph William Neal Paulus

Comments: Doctoral thesis

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

[23] arXiv:2408.07980 [pdf, html, other]

Title: Efficiently grounding FOL using bit vectors

Lucas Van Laer, Simon Vandevelde, Joost Vennekens

Comments: Short version published at LPNMR 2024

Subjects: Logic in Computer Science (cs.LO)

[24] arXiv:2408.08236 [pdf, other]

Title: Derivatives on Graphs for the Positive Calculus of Relations with Transitive Closure

Yoshiki Nakamura

Subjects: Logic in Computer Science (cs.LO)

[25] arXiv:2408.08557 [pdf, html, other]

Title: Computational Complexity of Standpoint LTL

Stéphane Demri, Przemysław Andrzej Wałęga

Subjects: Logic in Computer Science (cs.LO)

[26] arXiv:2408.08817 [pdf, html, other]

Title: A Unified Automata-Theoretic Approach to LTLf Modulo Theories (Extended Version)

Marco Faella, Gennaro Parlato

Comments: Published at ECAI'24 (Extended Version)

Subjects: Logic in Computer Science (cs.LO)

[27] arXiv:2408.09002 [pdf, html, other]

Title: Message complexity for unary multiautomata systems

Christian Choffrut

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

[28] arXiv:2408.09516 [pdf, other]

Title: A Logic for Policy Based Resource Exchanges in Multiagent Systems

Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta, Luca Viganò

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

[29] arXiv:2408.09590 [pdf, html, other]

Title: L\"ob-Safe Logics for Reflective Agents

Seth Ahrenbach

Subjects: Logic in Computer Science (cs.LO)

[30] arXiv:2408.09909 [pdf, other]

Title: Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming

Ondřej Vašíček, Joaquin Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Křena, Brian Larson, Sarat Chandra Varanasi, Tomáš Vojnar

Comments: Accepted for ICLP 2024

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

[31] arXiv:2408.10117 [pdf, other]

Title: Branching Bisimilarity for Processes with Time-outs

Gaspard Reghem, Rob van Glabbeek

Comments: An extended abstract of this paper appears in Proc. CONCUR'24, see this https URL

Subjects: Logic in Computer Science (cs.LO)

[32] arXiv:2408.10211 [pdf, other]

Title: G\"odel Incompleteness Theorem for PAC Learnable Theory

Zhifeng Ma, Tianyi Wu, Zhangang Han

Comments: 24 pages

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

[33] arXiv:2408.10563 [pdf, html, other]

Title: The Stable Model Semantics for Higher-Order Logic Programming

Bart Bogaerts, Angelos Charalambidis, Giannos Chatziagapis, Babis Kostopoulos, Samuele Pollaci, Panos Rondogiannis

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

[34] arXiv:2408.10637 [pdf, html, other]

Title: Variations on distributed belief

John Lindqvist, Fernando R. Velázquez-Quesada, Thomas Ågotnes

Subjects: Logic in Computer Science (cs.LO)

[35] arXiv:2408.10685 [pdf, html, other]

Title: Proving Cutoff Bounds for Safety Properties in First-Order Logic

Raz Lotan, Eden Frenkel, Sharon Shoham

Comments: 28 pages, 6 figures, 1 table

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

[36] arXiv:2408.11501 [pdf, html, other]

Title: Formalizing equivalences without tears

Tom de Jong

Comments: v3: Minor and funding changes only

Subjects: Logic in Computer Science (cs.LO)

[37] arXiv:2408.11502 [pdf, html, other]

Title: CTL* Verification and Synthesis using Existential Horn Clauses

Mishel Carelli, Orna Grumberg

Subjects: Logic in Computer Science (cs.LO)

[38] arXiv:2408.11530 [pdf, other]

Title: Scalable Knowledge Refactoring using Constrained Optimisation

Minghao Liu, David M. Cerna, Filipe Gouveia, Andrew Cropper

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

[39] arXiv:2408.11651 [pdf, html, other]

Title: Boolean basis, formula size, and number of modal operators

Christoph Berkholz, Dietrich Kuske, Christian Schwarz

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

[40] arXiv:2408.11699 [pdf, html, other]

Title: Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP

Anitha Murugesan, Isaac Wong, Joaquín Arias, Robert Stroud, Srivatsan Varadarajan, Elmer Salazar, Gopal Gupta, Robin Bloomfield, John Rushby

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

[41] arXiv:2408.11712 [pdf, html, other]

Title: A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory (Extended Version)

Samuele Pollaci, Babis Kostopoulos, Marc Denecker, Bart Bogaerts

Comments: 24 pages, 0 figures, extended version of the paper "A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory" accepted for LPNMR 2024

Subjects: Logic in Computer Science (cs.LO)

[42] arXiv:2408.12240 [pdf, other]

Title: The Bright Side of Timed Opacity

Étienne André, Sarah Dépernet, Engel Lefaucheux

Comments: This is the author (and extended) version of the manuscript of the same name published in the proceedings of the 25th International Conference on Formal Engineering Methods (ICFEM 2024)

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

[43] arXiv:2408.12623 [pdf, html, other]

Title: On Woolhouse's Cotton-Spinning Problem

Jan Friso Groote, Tim A.C. Willemse

Comments: 11 pages

Subjects: Logic in Computer Science (cs.LO)

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

Title: Input-based Framework for Three-valued Abstraction Refinement

Jan Onderka

Comments: 18 pages, 5 figures

Subjects: Logic in Computer Science (cs.LO)

[45] arXiv:2408.13297 [pdf, other]

Title: An Overview and Comparison of Axiomatization Structures Regarding Inconsistency Indices' Properties in Pairwise Comparisons Methods

Sangeeta Pant, Anuj Kumar, Jiří Mazurek

Comments: 21 pages, 2 figures

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

[46] arXiv:2408.13487 [pdf, html, other]

Title: Towards Automatic Linearization via SMT Solving

Jian Cao, Liyong Lin, Lele Li

Comments: 4 pages, conference

Subjects: Logic in Computer Science (cs.LO); Systems and Control (eess.SY); Optimization and Control (math.OC)

[47] arXiv:2408.13840 [pdf, html, other]

Title: Model-checking positive equality free logic on a fixed structure (direttissima)

Manuel Bodirsky, Marcin Kozik, Florent Madelaine, Barnaby Martin, Michal Wrona

Subjects: Logic in Computer Science (cs.LO)

[48] arXiv:2408.14314 [pdf, html, other]

Title: Logic interpretations of ANN partition cells

Ingo Schmitt

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

[49] arXiv:2408.14443 [pdf, html, other]

Title: Temporal Ensemble Logic

Guo-Qiang Zhang

Comments: 47 pages, 2 figures

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

[50] arXiv:2408.14563 [pdf, other]

Title: Non-deterministic, probabilistic, and quantum effects through the lens of event structures (Technical report)

Vítor Fernandes, Marc de Visme, Benoît Valiron

Subjects: Logic in Computer Science (cs.LO)

[51] arXiv:2408.14621 [pdf, html, other]

Title: Instrumenting Transaction Trace Properties in Smart Contracts: Extending the EVM for Real-Time Security

Zhiyang Chen, Jan Gorzny, Martin Derka

Comments: 14 pages, 2 figures

Subjects: Logic in Computer Science (cs.LO); Cryptography and Security (cs.CR)

[52] arXiv:2408.14701 [pdf, other]

Title: A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming

Robin Piedeleu, Mateo Torres-Ruiz, Alexandra Silva, Fabio Zanasi

Comments: 41 pages

Subjects: Logic in Computer Science (cs.LO)

[53] arXiv:2408.14999 [pdf, html, other]

Title: The equational theory of the Weihrauch lattice with (iterated) composition

Cécilia Pradic

Comments: 31 pages - fixed typos from v1

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

[54] arXiv:2408.15087 [pdf, html, other]

Title: Quantum Bisimilarity is a Congruence under Physically Admissible Schedulers

Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi

Subjects: Logic in Computer Science (cs.LO)

[55] arXiv:2408.15180 [pdf, html, other]

Title: Formalizing Mason-Stothers Theorem and its Corollaries in Lean 4

Jineon Baek, Seewoo Lee

Subjects: Logic in Computer Science (cs.LO); Rings and Algebras (math.RA)

[56] arXiv:2408.15817 [pdf, html, other]

Title: Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL

Simon Foster, Chung-Kil Hur, Jim Woodcock

Comments: 41 pages, accepted for publication in ACM TOSEM. Journal extension of arXiv:2105.05133

Subjects: Logic in Computer Science (cs.LO)

[57] arXiv:2408.16102 [pdf, other]

Title: Parallel and algebraic lambda-calculi in intuitionistic propositional logic

Alejandro Díaz-Caro, Octavio Malherbe

Comments: 18 pages plus appendix

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

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

Title: Formal Ethical Obligations in Reinforcement Learning Agents: Verification and Policy Updates

Colin Shea-Blymyer, Houssam Abbas

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

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

Title: A SAT-based approach to rigorous verification of Bayesian networks

Ignacy Stępka, Nicholas Gisolfi, Artur Dubrawski

Comments: Workshop on Explainable and Robust AI for Industry 4.0 & 5.0 (X-RAI) at European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (2024)

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

[60] arXiv:2408.01787 (cross-list from cs.CR) [pdf, other]

Title: Towards an ontology of state actors in cyberspace

Giacomo De Colle

Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

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

Title: Meta-Modelling in Formal Concept Analysis

Yingjian Wang

Comments: 27 pages, 3 figures

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

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

Title: Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages

Andrea Colledan, Ugo Dal Lago

Comments: 26 pages, 13 figures

Subjects: Programming Languages (cs.PL); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)

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

Title: Recomposition: A New Technique for Efficient Compositional Verification

Ian Dardik, April Porter, Eunsuk Kang

Comments: 14 pages, 7 figures

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

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

Title: Mapping the Provenance Ontology to Basic Formal Ontology

Tim Prudhomme, Giacomo De Colle, Austin Liebers, Alec Sculley, Peihong (Karl)Xie, Sydney Cohen, John Beverley

Comments: 28 pages, 10 figures

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

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

Title: Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation

Guy Amir, Shahaf Bassan, Guy Katz

Comments: To appear in ECAI 2024

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

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

Title: Modelling Recursion and Probabilistic Choice in Guarded Type Theory

Philipp Jan Andries Stassen, Rasmus Ejlers Møgelberg, Maaike Zwart, Alejandro Aguirre, Lars Birkedal

Comments: 61 pages

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

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

Title: Knowledge Base Embeddings: Semantics and Theoretical Properties

Camille Bourgaux, Ricardo Guimarães, Raoul Koudijs, Victor Lacerda, Ana Ozaki

Comments: This is an extended version of a paper appearing at the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024). 17 pages

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

[68] arXiv:2408.05113 (cross-list from quant-ph) [pdf, other]

Title: Proceedings of the 21st International Conference on Quantum Physics and Logic

Alejandro Díaz-Caro, Vladimir Zamdzhiev

Journal-ref: EPTCS 406, 2024

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

[69] arXiv:2408.05316 (cross-list from cond-mat.mtrl-sci) [pdf, html, other]

Title: Towards Verifying Exact Conditions for Implementations of Density Functional Approximations

Sameerah Helal, Zhe Tao, Cindy Rubio-González, Francois Gygi, Aditya V. Thakur

Comments: Accepted paper at Correctness 2024

Subjects: Materials Science (cond-mat.mtrl-sci); Logic in Computer Science (cs.LO)

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

Title: On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts

Shengping Xiao, Yongkang Li, Shufang Zhu, Jun Sun, Jianwen Li, Geguang Pu, Moshe Y. Vardi

Comments: 32 pages, 3 figures, 3 tables

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

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

Title: A Quantum-Inspired Analysis of Human Disambiguation Processes

Daphne Wang

Comments: PhD thesis

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)

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

Title: Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming

Matteo Cardellini, Carmine Dodaro, Marco Maratea, Mauro Vallati

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

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

Title: Fast Inference for Probabilistic Answer Set Programs via the Residual Program

Damiano Azzolini, Fabrizio Riguzzi

Comments: The paper has been accepted at the ICLP2024 conference and under consideration in Theory and Practice of Logic Programming (TPLP)

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

[74] arXiv:2408.07591 (cross-list from quant-ph) [pdf, html, other]

Title: Verification of Quantum Circuits through Discrete-Time Barrier Certificates

Marco Lewis, Sadegh Soudjani, Paolo Zuliani

Comments: 20 pages, 6 figures

Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO); Systems and Control (eess.SY)

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

Title: DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search

Huajian Xin, Z.Z. Ren, Junxiao Song, Zhihong Shao, Wanjia Zhao, Haocheng Wang, Bo Liu, Liyue Zhang, Xuan Lu, Qiushi Du, Wenjun Gao, Qihao Zhu, Dejian Yang, Zhibin Gou, Z.F. Wu, Fuli Luo, Chong Ruan

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

[76] arXiv:2408.08188 (cross-list from cs.RO) [pdf, other]

Title: Scaling Up Natural Language Understanding for Multi-Robots Through the Lens of Hierarchy

Shaojun Xu, Xusheng Luo, Yutong Huang, Letian Leng, Ruixuan Liu, Changliu Liu

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

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

Title: Symbolic Parameter Learning in Probabilistic Answer Set Programming

Damiano Azzolini, Elisabetta Gentili, Fabrizio Riguzzi

Comments: The paper has been accepted at the ICLP2024 conference and is under consideration in Theory and Practice of Logic Programming (TPLP)

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

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

Title: PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks

Xiyue Zhang, Benjie Wang, Marta Kwiatkowska, Huan Zhang

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

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

[79] arXiv:2408.09488 (cross-list from math.LO) [pdf, other]

Title: An Introduction to Categorical Proof Theory

Amirhossein Akbar Tabatabai

Comments: 130 pages

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

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

Title: Learning Brave Assumption-Based Argumentation Frameworks via ASP

Emanuele De Angelis (1), Maurizio Proietti (1), Francesca Toni (2) ((1) CNR-IASI, Rome, Italy, (2) Imperial, London, UK)

Comments: Extended version of the paper accepted at the 27th European Conference on Artificial Intelligence (ECAI 2024); Paper ID: M1488 (this https URL)

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

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

Title: Relational Graph Convolutional Networks Do Not Learn Sound Rules

Matthew Morris, David J. Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks

Comments: Full version (with appendices) of paper accepted to KR 2024 (21st International Conference on Principles of Knowledge Representation and Reasoning)

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

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

Title: Query languages for neural networks

Martin Grohe, Christoph Standke, Juno Steegmans, Jan Van den Bussche

Comments: To appear at ICDT 2025

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

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

Title: Boolean Matrix Logic Programming

Lun Ai, Stephen H. Muggleton

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

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

Title: Hologram Reasoning for Solving Algebra Problems with Geometry Diagrams

Litian Huang, Xinguo Yu, Feng Xiong, Bin He, Shengbing Tang, Jiawen Fu

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

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

Title: Rejection in Abstract Argumentation: Harder Than Acceptance?

Johannes K. Fichte, Markus Hecher, Yasir Mahmood, Arne Meier

Comments: accepted version as ECAI24

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

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

Title: Extending the Quantitative Pattern-Matching Paradigm

Sandra Alves, Delia Kesner, Miguel Ramos

Comments: APLAS 2024, full version (including complete proofs)

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

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

Title: SubgoalXL: Subgoal-based Expert Learning for Theorem Proving

Xueliang Zhao, Lin Zheng, Haige Bo, Changran Hu, Urmish Thakker, Lingpeng Kong

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

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

Title: Solving Decision Theory Problems with Probabilistic Answer Set Programming

Damiano Azzolini, Elena Bellodi, Rafael Kiesel, Fabrizio Riguzzi

Comments: Under consideration in Theory and Practice of Logic Programming (TPLP)

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

[89] arXiv:2408.11627 (cross-list from cs.FL) [pdf, html, other]

Title: Runtime Verification via Rational Monitor with Imperfect Information

Angelo Ferrando, Vadim Malvone

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

[90] arXiv:2408.11908 (cross-list from cs.FL) [pdf, html, other]

Title: Invariants for One-Counter Automata with Disequality Tests

Dmitry Chistikov, Jérôme Leroux, Henry Sinclair-Banks, Nicolas Waldburger

Comments: Extended version of CONCUR 2024 paper

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

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

Title: Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games

Karan Muvvala, Qi Heng Ho, Morteza Lahijanian

Comments: TL;DR: This paper relaxes the notion of winning strategies by introducing Admissible and Admissible Winning strategies for quantitative reachability games, providing existence proofs and synthesis algorithms with applications in robotics

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

[92] arXiv:2408.13507 (cross-list from cs.CR) [pdf, html, other]

Title: Tatami Printer: Physical ZKPs for Tatami Puzzles

Suthee Ruangwises

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

Subjects: Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO)

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

Title: Machine Learning for Quantifier Selection in cvc5

Jan Jakubův, Mikoláš Janota, Jelle Piepenbrock, Josef Urban

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

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

Title: Precision on Demand: Propositional Logic for Event-Trigger Threshold Regulation

Valdemar Tang, Claudio Gomes, Daniel Lucani

Comments: 17 pages, 7 figures

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

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

Title: Enhancing Analogical Reasoning in the Abstraction and Reasoning Corpus via Model-Based RL

Jihwan Lee, Woochang Sim, Sejin Kim, Sundong Kim

Comments: Accepted to IJCAI 2024 IARML Workshop

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

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

Title: Verifying Solutions to Semantics-Guided Synthesis Problems

Charlie Murphy, Keith Johnson, Thomas Reps, Loris D'Antoni

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

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

Title: Weak Distributive Laws between Monads of Continuous Valuations and of Non-Deterministic Choice

Jean Goubault-Larrecq

Comments: 77 pages; in v2, credit now given to G. Böhm for weak distributive laws; in the Appendix, new example of an inner regular, non-locally finite measure with finite values on the compact sets; in v3, fixed Remarks 4.3, 7.4, 10.3, 10.5 and 11.7, which were faulty; mentioned Quentin Aristote's work, if very briefly

Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO); General Topology (math.GN); Probability (math.PR)

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

Title: Logic-Enhanced Language Model Agents for Trustworthy Social Simulations

Agnieszka Mensfelt, Kostas Stathis, Vince Trencsenyi

Comments: Source code: this https URL

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

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

Title: Collapsing Constructive and Intuitionistic Modal Logics

Leonardo Pacheco

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

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

Title: Inductive Learning of Logical Theories with LLMs: A Complexity-graded Analysis

João Pedro Gandarela, Danilo S. Carvalho, André Freitas

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