arXiv cs.LO Logic in Computer Science

HuanYu Yang, Fengming Zhu, YangFan Wu, Jianmin Ji: Diminution: On Reducing the Size of Grounding ASP Programs https://arxiv.org/abs/2508.08633 https://arxiv.org/pdf/2508.08633 https://arxiv.org/html/2508.08633

Aryan Gulati, Brando Miranda, Eric Chen, Emily Xia, Kai Fronsdal, Bruno Dumont, Elyas Obbad, Sanmi Koyejo: Putnam-AXIOM: A Functional and Static Benchmark https://arxiv.org/abs/2508.08292 https://arxiv.org/pdf/2508.08292 https://arxiv.org/html/2508.08292

Klaus-Dieter Schewe, Flavio Ferrarotti: Behavioural Theory of Reflective Algorithms II: Reflective Parallel Algorithms https://arxiv.org/abs/2508.09053 https://arxiv.org/pdf/2508.09053 https://arxiv.org/html/2508.09053

Mudathir Mohamed, Nick Feng, Andrew Reynolds, Cesare Tinelli, Clark Barrett, Marsha Chechik: Solving Set Constraints with Comprehensions and Bounded Quantifiers https://arxiv.org/abs/2508.08496 https://arxiv.org/pdf/2508.08496 https://arxiv.org/html/2508.08496

[2025-08-13 Wed (UTC), 2 new articles found for csLO Logic in Computer Science]

Vincent Perreault, Katsumi Inoue, Richard Labib, Alain Hertz: Neural Logic Networks for Interpretable Classification https://arxiv.org/abs/2508.08172 https://arxiv.org/pdf/2508.08172 https://arxiv.org/html/2508.08172

Alessandro Abate, Thom Badings, Giuseppe De Giacomo, Francesco Fabiano: Best-Effort Policies for Robust Markov Decision Processes https://arxiv.org/abs/2508.07790 https://arxiv.org/pdf/2508.07790 https://arxiv.org/html/2508.07790

Alexander V. Gheorghiu, David J. Pym: Proof-theoretic Semantics for Second-order Logic https://arxiv.org/abs/2508.07786 https://arxiv.org/pdf/2508.07786 https://arxiv.org/html/2508.07786

Stefano Fioravanti, Michael Kompatscher, Bernardo Rossi, Albert Vucaj: Mal'cev clones over a three-element set up to minor-equivalence https://arxiv.org/abs/2508.06918 https://arxiv.org/pdf/2508.06918 https://arxiv.org/html/2508.06918

Blair Johnson, Clayton Kerce, Faramarz Fekri: GLIDR: Graph-Like Inductive Logic Programming with Differentiable Reasoning https://arxiv.org/abs/2508.06716 https://arxiv.org/pdf/2508.06716 https://arxiv.org/html/2508.06716

Jaikrishna Manojkumar Patil, Nathaniel Lee, Al Mehdi Saadat Chowdhury, YooJung Choi, Paulo Shakarian: Probabilistic Circuits for Knowledge Graph Completion with Reduced Rule Sets https://arxiv.org/abs/2508.06706 https://arxiv.org/pdf/2508.06706 https://arxiv.org/html/2508.06706

Javier Esparza, Vincent Fischer: Runtime Verification for LTL in Stochastic Systems https://arxiv.org/abs/2508.07963 https://arxiv.org/pdf/2508.07963 https://arxiv.org/html/2508.07963

Meghyn Bienvenu, Camille Bourgaux, Katsumi Inoue, Robin Jean: A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases https://arxiv.org/abs/2508.07742 https://arxiv.org/pdf/2508.07742 https://arxiv.org/html/2508.07742

Fabio Vitali: From Knowledge to Conjectures: A Modal Framework for Reasoning about Hypotheses https://arxiv.org/abs/2508.07304 https://arxiv.org/pdf/2508.07304 https://arxiv.org/html/2508.07304

S. Akshay, A. R. Balasubramanian, Supratik Chakraborty, Georg Zetzsche: Presburger Functional Synthesis: Complexity and Tractable Normal Forms https://arxiv.org/abs/2508.07207 https://arxiv.org/pdf/2508.07207 https://arxiv.org/html/2508.07207

Rongshuan Geng, Wantao Ning: On the fault diameter and wide diameter of the exchanged 3-ary $n$-cube https://arxiv.org/abs/2508.07174 https://arxiv.org/pdf/2508.07174 https://arxiv.org/html/2508.07174

[2025-08-12 Tue (UTC), 5 new articles found for csLO Logic in Computer Science]

Randal E. Bryant: Numerical Considerations in Weighted Model Counting https://arxiv.org/abs/2508.06264 https://arxiv.org/pdf/2508.06264 https://arxiv.org/html/2508.06264

Evgenii E. Vityaev, Andrei Mantsivoda: Don't Forget Imagination! https://arxiv.org/abs/2508.06062 https://arxiv.org/pdf/2508.06062 https://arxiv.org/html/2508.06062

Aditi Kabra, Jonathan Laurent, Stefan Mitsch, Andr\'e Platzer: Hybrid Game Control Envelope Synthesis https://arxiv.org/abs/2508.05997 https://arxiv.org/pdf/2508.05997 https://arxiv.org/html/2508.05997

Kittiphon Phalakarn, Yun Chen Tsai, Ichiro Hasuo: Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games https://arxiv.org/abs/2508.06088 https://arxiv.org/pdf/2508.06088 https://arxiv.org/html/2508.06088

Yuri Gurevich: Basic interactive algorithms: Preview https://arxiv.org/abs/2508.05798 https://arxiv.org/pdf/2508.05798 https://arxiv.org/html/2508.05798

[2025-08-11 Mon (UTC), 2 new articles found for csLO Logic in Computer Science]

Federica Di Stefano, Quentin Mani\`ere, Magdalena Ortiz, Mantas \v{S}imkus: Minimal Model Reasoning in Description Logics: Don't Try This at Home! https://arxiv.org/abs/2508.05350 https://arxiv.org/pdf/2508.05350 https://arxiv.org/html/2508.05350

Thom Badings, Alessandro Abate: Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems https://arxiv.org/abs/2508.05062 https://arxiv.org/pdf/2508.05062 https://arxiv.org/html/2508.05062

[2025-08-08 Fri (UTC), no new articles found for csLO Logic in Computer Science]

Titouan Carette, Daniela Cojocaru, Renaud Vilmart: The decohered ZX-calculus https://arxiv.org/abs/2508.04296 https://arxiv.org/pdf/2508.04296 https://arxiv.org/html/2508.04296

Hasra Dodampegama, Mohan Sridharan: Generic-to-Specific Reasoning and Learning for Scalable Ad Hoc Teamwork https://arxiv.org/abs/2508.04163 https://arxiv.org/pdf/2508.04163 https://arxiv.org/html/2508.04163

Mark Chevallier, Filip Smola, Richard Schmoetten, Jacques D. Fleuriot: GradSTL: Comprehensive Signal Temporal Logic for Neurosymbolic Reasoning and Learning https://arxiv.org/abs/2508.04438 https://arxiv.org/pdf/2508.04438 https://arxiv.org/html/2508.04438

Vishnu Murali, Mohammed Adib Oumer, Majid Zamani: Control Closure Certificates https://arxiv.org/abs/2508.03947 https://arxiv.org/pdf/2508.03947 https://arxiv.org/html/2508.03947