计算机科学中的逻辑

最近提交的作者和标题

• 2025年08月06日， 星期三
• 2025年08月05日， 星期二
• 2025年08月04日， 星期一
• 2025年08月01日， 星期五
• 2025年07月31日， 星期四

查看今天的 新的 变化

2025年08月06日， 星期三 (展示 6 之 6 条目 )

[1] arXiv:2508.03574 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 算术逻辑的分析 显示英文标题

标题： Analysis of logics with arithmetic

Michael Benedikt, Chia-Hsuan Lu, Tony Tan

主题： 计算机科学中的逻辑 (cs.LO)

[2] arXiv:2508.02774 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 用于强人工智能机器人的贝纳普双值逻辑的意图一阶逻辑 显示英文标题

标题： Intensional FOL over Belnap's Billatice for Strong-AI Robotics

Zoran Majkic

评论： 28页

主题： 计算机科学中的逻辑 (cs.LO)

[3] arXiv:2508.02764 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 什么时候两个算法是相同的？ 朝着解决希尔伯特第24问题的方向 显示英文标题

标题： When are two algorithms the same? Towards addressing Hilbert's 24th problem

Konstantin Doubrovinski

主题： 计算机科学中的逻辑 (cs.LO)

[4] arXiv:2508.03432 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 带有算子的差-限制代数 显示英文标题

标题： Difference-restriction algebras with operators

Célia Borlido, Ganna Kudryavtseva, Brett McLean

评论： 35页

主题： 逻辑 (math.LO) ; 计算机科学中的逻辑 (cs.LO)

[5] arXiv:2508.03418 (交叉列表自 cs.DC) [中文pdf, pdf, html, 其他]

标题： 最优同时拜占庭协议、共同知识和有限信息交换 显示英文标题

标题： Optimal Simultaneous Byzantine Agreement, Common Knowledge and Limited Information Exchange

Ron van der Meyden

主题： 分布式、并行与集群计算 (cs.DC) ; 计算机科学中的逻辑 (cs.LO)

[6] arXiv:2508.01263 (交叉列表自 cs.CL) [中文pdf, pdf, html, 其他]

标题： 将LLMs与教育问答系统中的符号推理相结合：来自IJCNN 2025 XAI挑战的见解 显示英文标题

标题： Bridging LLMs and Symbolic Reasoning in Educational QA Systems: Insights from the XAI Challenge at IJCNN 2025

Long S. T. Nguyen, Khang H. N. Vo, Thu H. A. Nguyen, Tuan C. Bui, Duc Q. Nguyen, Thanh-Tung Tran, Anh D. Nguyen, Minh L. Nguyen, Fabien Baldacci, Thang H. Bui, Emanuel Di Nardo, Angelo Ciaramella, Son H. Le, Ihsan Ullah, Lorenzo Di Rocco, Tho T. Quan

评论： XAI挑战赛 @ TRNS-AI 工作坊，IJCNN 2025：教育问答的可解释人工智能。网站：https://sites.google.com/view/trns-ai/challenge/

主题： 计算与语言 (cs.CL)

2025年08月05日， 星期二 (展示 9 之 9 条目 )

[7] arXiv:2508.02301 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 监控观察到和构造的轨迹上的超属性 显示英文标题

标题： Monitoring Hyperproperties over Observed and Constructed Traces

Marek Chalupa, Thomas A. Henzinger, Ana Oliveira da Costa

主题： 计算机科学中的逻辑 (cs.LO)

[8] arXiv:2508.01866 (交叉列表自 cs.LO) [中文pdf, pdf, 其他]

标题： 通过层论的通用资源分离逻辑 显示英文标题

标题： Separation Logic of Generic Resources via Sheafeology

Berend van Starkenburg, Henning Basold, Chase Ford

评论： 55页，包括附录

主题： 计算机科学中的逻辑 (cs.LO)

[9] arXiv:2508.01758 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 因果关系与决策制定：系统和安全建模的逻辑框架 显示英文标题

标题： Causality and Decision-making: A Logical Framework for Systems and Security Modelling

Pinaki Chakraborty, Tristan Caulfield, David Pym

评论： 28页

主题： 计算机科学中的逻辑 (cs.LO) ; 多智能体系统 (cs.MA)

[10] arXiv:2508.01535 (交叉列表自 cs.LO) [中文pdf, pdf, 其他]

标题： 不正确性分离逻辑的相对完备性 显示英文标题

标题： Relative Completeness of Incorrectness Separation Logic

Yeonseok Lee, Koji Nakazawa

评论： 这是发表于2024年亚洲编程语言与系统研讨会(APLAS)的论文的扩展版本：Lee, Y., Nakazawa, K. “错误分离逻辑的相对完备性。”载于Kiselyov, O.(编)《编程语言与系统》。《计算机科学讲座笔记》，第15194卷。Springer，新加坡。DOI: 10.1007/978-981-97-8943-6_13

主题： 计算机科学中的逻辑 (cs.LO)

[11] arXiv:2508.01067 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 通过逻辑的图变换器的表达能力 显示英文标题

标题： Expressive Power of Graph Transformers via Logic

Veeti Ahvonen, Maurice Funk, Damian Heiman, Antti Kuusisto, Carsten Lutz

主题： 计算机科学中的逻辑 (cs.LO) ; 人工智能 (cs.AI)

[12] arXiv:2508.01763 (交叉列表自 cs.AI) [中文pdf, pdf, html, 其他]

标题： 推理系统作为结构化过程：基础、失败和形式准则 显示英文标题

标题： Reasoning Systems as Structured Processes: Foundations, Failures, and Formal Criteria

Saleh Nikooroo, Thomas Engel

主题： 人工智能 (cs.AI) ; 计算机科学中的逻辑 (cs.LO)

[13] arXiv:2508.00944 (交叉列表自 math.DS) [中文pdf, pdf, html, 其他]

标题： 几乎线性递归序列的正性 显示英文标题

标题： Positivity of Nearly Linearly Recurrent Sequences

Amaury Pouly, Mahsa Shirmohammadi, James Worrell

主题： 动力系统 (math.DS) ; 计算机科学中的逻辑 (cs.LO)

[14] arXiv:2508.00853 (交叉列表自 cs.AI) [中文pdf, pdf, 其他]

标题： 一种“状态”定义的形式化框架：分层表示与元宇宙解释 显示英文标题

标题： A Formal Framework for the Definition of 'State': Hierarchical Representation and Meta-Universe Interpretation

Kei Itoh

评论： 43ページ、8図、8表、英語、日本語

主题： 人工智能 (cs.AI) ; 计算机科学中的逻辑 (cs.LO)

[15] arXiv:2302.06506 (交叉列表自 cs.FL) [中文pdf, pdf, html, 其他]

标题： 一个广义自动机的Myhill-Nerode定理，及其在模式匹配和压缩中的应用 显示英文标题

标题： A Myhill-Nerode Theorem for Generalized Automata, with Applications to Pattern Matching and Compression

Nicola Cotumaccio

主题： 形式语言与自动机理论 (cs.FL) ; 数据结构与算法 (cs.DS) ; 计算机科学中的逻辑 (cs.LO)

2025年08月04日， 星期一 (展示 14 之 14 条目 )

[16] arXiv:2508.00653 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 将视角纳入OWL [sic]：通过计数二元一阶逻辑上的单调S5实现本体语言的复杂性中立视角推理（附录扩展版） 显示英文标题

标题： Putting Perspective into OWL [sic]: Complexity-Neutral Standpoint Reasoning for Ontology Languages via Monodic S5 over Counting Two-Variable First-Order Logic (Extended Version with Appendix)

Lucía Gómez Álvarez, Sebastian Rudolph

主题： 计算机科学中的逻辑 (cs.LO)

[17] arXiv:2508.00613 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 参数化无限状态反应合成 显示英文标题

标题： Parameterized Infinite-State Reactive Synthesis

Benedikt Maderbacher, Roderick Bloem

主题： 计算机科学中的逻辑 (cs.LO)

[18] arXiv:2508.00575 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 使用形式文法分析描述逻辑中的时间推理 显示英文标题

标题： Analysing Temporal Reasoning in Description Logics Using Formal Grammars

Camille Bourgaux, Anton Gnatenko, Michaël Thomazo

评论： 这是发表于第28届欧洲人工智能大会（ECAI 2025）的论文的扩展版本。20页

主题： 计算机科学中的逻辑 (cs.LO) ; 人工智能 (cs.AI)

[19] arXiv:2508.00419 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 循环不变式生成：一种优化的LLM与SMT求解器混合框架 显示英文标题

标题： Loop Invariant Generation: A Hybrid Framework of Reasoning optimised LLMs and SMT Solvers

Varun Bharti, Shashwat Jha, Dhruv Kumar, Pankaj Jalote

评论： 待审核

主题： 计算机科学中的逻辑 (cs.LO) ; 机器学习 (cs.LG) ; 编程语言 (cs.PL)

[20] arXiv:2508.00151 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 序数折叠指数：自指语义的可计算度量 显示英文标题

标题： Ordinal Folding Index: A Computable Metric for Self-Referential Semantics

Faruk Alpay, Hamdi Al Alakkad

评论： 13页，2图。介绍序数折叠指数，这是一种可计算的序数深度度量，用于自指陈述，将固定点逻辑与无限博弈论统一起来。

主题： 计算机科学中的逻辑 (cs.LO) ; 计算机科学与博弈论 (cs.GT)

[21] arXiv:2508.00021 (交叉列表自 cs.LO) [中文pdf, pdf, 其他]

标题： 对齐监控 显示英文标题

标题： Alignment Monitoring

Thomas A. Henzinger, Konstantin Kueffner, Vasu Singh, I Sun

主题： 计算机科学中的逻辑 (cs.LO)

[22] arXiv:2508.00017 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 生成逻辑：用于确定性推理和知识生成的新计算机架构 显示英文标题

标题： Generative Logic: A New Computer Architecture for Deterministic Reasoning and Knowledge Generation

Nikolai Sergeev

评论： 19页，5图。代码和交互式HTML证明图已永久存档在Zenodo（DOI：10.5281/zenodo.16408441）

主题： 计算机科学中的逻辑 (cs.LO) ; 人工智能 (cs.AI) ; 硬件架构 (cs.AR)

[23] arXiv:2508.00015 (交叉列表自 cs.LO) [中文pdf, pdf, 其他]

标题： 扩展摘要：部分封装及其在ACL2中对浮点运算的支持 显示英文标题

标题： Extended Abstract: Partial-encapsulate and Its Support for Floating-point Operations in ACL2

Matt Kaufmann, J Strother Moore

评论： 在ACL2 2025会议论文集中，arXiv:2507.18567

期刊参考： EPTCS 423，2025，第56-59页

主题： 计算机科学中的逻辑 (cs.LO) ; 数学软件 (cs.MS)

[24] arXiv:2508.00014 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 确定两个时钟的几乎非震颤加权定时游戏的值 显示英文标题

标题： Deciding the Value of Two-Clock Almost Non-Zeno Weighted Timed Games

Isa Vialard

主题： 计算机科学中的逻辑 (cs.LO)

[25] arXiv:2508.00004 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 不确定条件下的捉迷藏游戏推理 显示英文标题

标题： Reasoning under uncertainty in the game of Cops and Robbers

Dazhu Li, Sujata Ghosh, Fenrong Liu

主题： 计算机科学中的逻辑 (cs.LO) ; 逻辑 (math.LO)

[26] arXiv:2508.00003 (交叉列表自 cs.LO) [中文pdf, pdf, 其他]

标题： 构建现实世界的大图 显示英文标题

标题： Building Bigraphs of the real world

Kang Rong Roy Ang

评论： 提交以部分满足剑桥大学计算机科学三一学院第二部分的要求

主题： 计算机科学中的逻辑 (cs.LO)

[27] arXiv:2508.00633 (交叉列表自 math.CT) [中文pdf, pdf, 其他]

标题： 自由转向的动态与相干性对于协议选择 显示英文标题

标题： Dynamics and Coherence for the Free Cornering with Protocol Choice

Chad Nester, Niels Voorneveld

评论： 24页，正在同行评审中

主题： 范畴论 (math.CT) ; 计算机科学中的逻辑 (cs.LO)

[28] arXiv:2508.00106 (交叉列表自 cs.AI) [中文pdf, pdf, 其他]

标题： 超属性约束的安全强化学习 显示英文标题

标题： Hyperproperty-Constrained Secure Reinforcement Learning

Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque

评论： 已被IEEE/ACM MEMOCODE 2025接收

主题： 人工智能 (cs.AI) ; 机器学习 (cs.LG) ; 计算机科学中的逻辑 (cs.LO) ; 系统与控制 (eess.SY)

[29] arXiv:2508.00016 (交叉列表自 cs.PL) [中文pdf, pdf, 其他]

标题： 扩展摘要：具有多种实现的可变对象 显示英文标题

标题： Extended Abstract: Mutable Objects with Several Implementations

Matt Kaufmann, Yahya Sohail, Warren A. Hunt Jr

评论： 在ACL2 2025会议论文集中，arXiv:2507.18567

期刊参考： EPTCS 423，2025，第60-64页

主题： 编程语言 (cs.PL) ; 计算机科学中的逻辑 (cs.LO)

2025年08月01日， 星期五 (展示 2 之 2 条目 )

[30] arXiv:2507.23603 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 无限状态安全屏蔽不可实现的解释 显示英文标题

标题： Explanations for Unrealizability of Infinite-State Safety Shields

Andoni Rodriguez, Irfansha Shaik, Davide Corsi, Roy Fox, Cesar Sanchez

主题： 计算机科学中的逻辑 (cs.LO)

[31] arXiv:2507.23151 (交叉列表自 cs.PL) [中文pdf, pdf, html, 其他]

标题： 序列、函数和算子的抽象 显示英文标题

标题： Abstractions of Sequences, Functions and Operators

Louis Rustenholz, Pedro Lopez-Garcia, Manuel V. Hermenegildo

评论： 正在考虑发表于STTT

主题： 编程语言 (cs.PL) ; 计算机科学中的逻辑 (cs.LO)

2025年07月31日， 星期四 (展示 5 之 5 条目 )

[32] arXiv:2507.22705 (交叉列表自 cs.LO) [中文pdf, pdf, 其他]

标题： 基于模拟的多方计算协议的安全性边界 显示英文标题

标题： Concrete Security Bounds for Simulation-Based Proofs of Multi-Party Computation Protocols

Kristina Sojakova, Mihai Codescu, Joshua Gancher

主题： 计算机科学中的逻辑 (cs.LO)

[33] arXiv:2507.22536 (交叉列表自 cs.LO) [中文pdf, pdf, 其他]

标题： 无限迹线通过终性：一种层论方法 显示英文标题

标题： Infinite Traces by Finality: a Sheaf-Theoretic Approach

Marco Peressotti

主题： 计算机科学中的逻辑 (cs.LO)

[34] arXiv:2507.22876 (交叉列表自 cs.AI) [中文pdf, pdf, html, 其他]

标题： 使用大型语言模型在复杂SAT求解器中自动发现启发式方法 显示英文标题

标题： Automatically discovering heuristics in a complex SAT solver with large language models

Yiwen Sun, Furong Ye, Zhihan Chen, Ke Wei, Shaowei Cai

主题： 人工智能 (cs.AI) ; 计算机科学中的逻辑 (cs.LO)

[35] arXiv:2507.22760 (交叉列表自 eess.SY) [中文pdf, pdf, html, 其他]

标题： 良好恶魔与坏天使：在有限精度下保证安全控制 显示英文标题

标题： Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision

Samuel Teuber, Debasmita Lohar, Bernhard Beckert

评论： 15页，3图，1表；已被FMCAD 2025接收

主题： 系统与控制 (eess.SY) ; 人工智能 (cs.AI) ; 机器学习 (cs.LG) ; 计算机科学中的逻辑 (cs.LO)

[36] arXiv:2507.22687 (交叉列表自 cs.NI) [中文pdf, pdf, html, 其他]

标题： Bifröst：基于大图的空间网络 显示英文标题

标题： Bifröst: Spatial Networking with Bigraphs

Josh Millar, Ryan Gibb, Roy Ang, Anil Madhavapeddy, Hamed Haddadi

评论： 提交至 HotNets 2025

主题： 网络与互联网架构 (cs.NI) ; 人工智能 (cs.AI) ; 计算机科学中的逻辑 (cs.LO) ; 多智能体系统 (cs.MA)