本文介绍了关系机器演算（RMC）：一个简单的一阶关系编程基础模型。RMC源于泛函机器微积分（FMC），泛化了lambda-Calculus及其标准的call-by-。。。

继所谓的代数方法成功地研究了决策约束满足问题（CSP）、有值CSP的精确优化以及最近的承诺CSP之后，我们提出了一个有值承诺CSP的代数框架。

收件人。。。

我们为承诺约束满足问题（PCSP）提供了一个模板，该问题为NP-hard，但不满足当前最先进的硬度条件[ACMTCT'21]。我们引入了一个新的基于光滑版本的“内射”条件。。。

布尔CNF公式的三分之一和非所有方程的可满足性问题是两个众所周知的NP难问题。相比之下承诺三取一vs.非全质量问题可以在多项式时间内解决。在目前的工作中，我们调查了这一点。。。

我们研究了使用局部一致性方法作为约束满足问题（CSP）之间的约简及其promise版本，目的是以与代数方法分类小工具约简类似的方式对这些约简进行分类。。。

我们提出了一种新的基于SAT的图形生成方法。我们的方法利用CDCL SAT解算器和特殊对称传播器之间的交互，其中SAT解算器运行在所需图形属性的编码上。对称传播算子。。。

近年来，机器学习（ML）技术在嵌入式系统中的应用不断增长，尤其是黑盒ML技术（如人工神经网络、ANN）。然而，尽管ML的成功运用。。。

在顺序决策（SDM）领域，有两种范式在历史上争霸：自动规划（AP）和强化学习（RL）。本着和解的精神，本文回顾了AP、RL和混合方法（例如，新的学习方法。。。

基于意图的网络（IBN）旨在自动驱动网络配置和操作，以实现基础设施提供商和应用程序运营商指定的高级意图。正在将虚拟网络功能（VNF）链部署到。。。

本文概述了在不确定性条件下描述和形式化分析自然语言文本知识的方法。我们考虑一系列基于它们的经典属性语言和逻辑，它们的属性、问题和解决工具。。。

本文综述了次一致注释证据逻辑（PAL）E类τ） 研究。这种非经典逻辑在几个实际应用中得到了关注，包括机器人、智能控制、决策系统、模式。。。

• 对PAL Et之前的次协调逻辑进行简要历史回顾。
• PAL-Et概念、数学和基本算法。
• 由PAL Et开发的系统，包括Para-Analyzer、PAN、ParaExtrCTR、PANet、PAL2v Filter和PNN。
• PAL Et工程。。。

答案集编程（ASP）是一种著名的声明式编程范式，最近在流程挖掘中发现了实际应用，尤其是在涉及业务流程声明性规范的任务中。声明是最流行的。。。${}_{}$${}_{}$

答案集编程（ASP）是在非单调推理领域发展起来的一种声明形式主义，被公认为知识表示和推理的强大工具。ASP功能在流推理领域也显示出潜力。。。

可满足性和综合是线性时序逻辑的两个基本问题，这两个问题都可以在由输入公式构造的自动机上解决。一般来说，在理论和实践中，可满足性比综合更容易实现。。。

Batz等人最近引入了加权程序（Proc.ACM Program.Lang.2022），作为概率程序的泛化，概率程序也可以表示优化问题，通常，执行轨迹带有某种排序的程序。。。

本文从程序操作和程序转换开发的早期就提出了一些想法。将特别强调函数编程和……领域的程序转换技术。。。

将神经网络的健壮性与符号方法的表达性相结合的目标重新点燃了人们对神经符号人工智能的兴趣。已开发出深度概率编程语言（DPPLs），用于概率逻辑编程以。。。

优势破缺是一种通过去除带有附加约束的可证明次优解来提高约束优化问题（COP）求解效率的强大技术。虽然打破支配地位在一系列实际中是有效的。。。

由于数据日志的表现力和易用性，它在程序分析中占有重要地位。它在关系域上的通用不动点解析算法简化了许多复杂分析的表达。…的性能和可扩展性问题。。。