Logic in Computer Science

Authors and titles for August 2024

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