Logic in Computer Science

Authors and titles for August 2024

[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)