A primer on Answer Set Programming
Alessandro Provetti
一本关于答案集编程的语法和语义的介绍，作为讲义给正在学习人工智能或逻辑编程课程的研究生。
A introduction to the syntax and Semantics of Answer Set Programming intended as an handout to [under]graduate students taking Artificial Intlligence or Logic Programming classes.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
aspps --- an implementation of answer-set programming with propositional schemata
我们提出了一个答案集编程范例的实现，称为aspps（答案集编程与命题模式的缩写）。系统aspps是为处理PS+理论而设计的。它包括两个基本模块。第一个模块psgrnd为PS+理论奠定了基础。第二个模块，称为aspps，是一个求解器。它计算地面PS+理论的模型。
Proceedings of the eleventh Workshop on Answer Set Programming and Other Computing Paradigms 2018
这是2018年7月18日在英国牛津举行的第十一届回答集编程和其他计算范式研讨会（ASPOCP）的会议记录。
diff-SAT -- A Software for Sampling and Probabilistic Reasoning for SAT and Answer Set Programming
本文介绍了diff-SAT，一个答案集和SAT求解器，它结合了经常使用概率条款，事实和规则的能力，解决和采样的最佳世界观（满足布尔变量分配或答案集的多集）受用户提供的概率约束。采样过程使用称为可微可满足性求解（$\partial\mathrm{SAT}$）或可微答案集编程（$\partial\mathrm{ASP}$）的基于梯度下降的优化方法来最小化用户定义的可微目标函数。用例是i.a.概率逻辑编程（以概率答案集编程的形式），概率布尔可满足性求解（PSAT）和模型多集（答案集或布尔解释）的分布感知采样。
Solving Gossip Problems using Answer Set Programming: An Epistemic Planning Approach
我们调查使用答案集编程来解决各种各样的八卦问题，通过将它们建模为认知规划问题。
aspcud: A Linux Package Configuration Tool Based on Answer Set Programming
介绍了基于Answer Set Programming的Linux软件包配置工具aspcud。特别是，我们详细介绍了aspcud的预处理器把一个CUDF规范成一组逻辑事实。
Propositional satisfiability in answer-set programming
我们表明，命题逻辑及其扩展可以支持答案集编程的方式一样，稳定的逻辑编程和析取逻辑编程。为此，我们介绍了一个逻辑的基础上的逻辑命题图式和封闭世界假设的一个版本。我们称之为CWA（PS+，符号）命题图式的扩展逻辑。这种逻辑的一个重要特征是它支持对集合基数的约束进行显式建模。在本文中，我们刻画了一类问题，可以解决的有限PS+理论。我们实现了一个基于PS+逻辑的编程系统，并在PS+中设计和实现了一个处理理论的求解器。我们提出了令人鼓舞的性能结果，我们的方法-我们表明，它是有竞争力的模型，一个国家的最先进的答案集编程系统的基础上稳定的逻辑编程。
An application of Answer Set Programming in Distributed Architectures: ASP Microservices
我们提出了一种方法来定义微服务的答案集编程（ASP）的“核心”，其中微服务是一个成功的抽象设计的分布式应用程序作为套件的独立部署的交互组件。这种基于ASP的组件可以在与云计算或物联网（IoT）相关的分布式架构中采用。
The informal semantics of Answer Set Programming: A Tarskian perspective
在知识表示中，知识工程师对他们编写的形式化表达式有很好的理解是至关重要的。在逻辑的非形式语义学理论中，研究了形式表达式直观地陈述了关于话语域的什么。在本文中，我们研究的回答集编程的非形式语义。答案集编程的根源在于扩展逻辑编程语言，它最初是作为默认和自动认知推理的认知逻辑引入的。1999年，关于答案集编程的开创性论文提出将这种逻辑用于不同的目的，即建模和解决搜索问题。目前，该语言主要用于这一新角色。然而，在这种新的语境中，原有的认识直觉失去了解释的意义。答案集程序如何连接到他们的模型的问题的规格是更容易解释的经典塔斯基语义，其中模型对应于可能的世界，而不是一个认知代理的信念状态。在本文中，我们开发了一个新的理论的非正式语义的答案集编程，这是制定在塔斯基设置和弗雷格的组合性原则的基础上。它与早期的非形式语义学的认知理论有很大的不同，它对连接词在回答集编程中的意义以及它与其他逻辑，特别是经典逻辑的关系提供了不同的观点。
A framework for Conditional Reasoning in Answer Set Programming
本文提出了一种基于条件逻辑的ASP框架，用于实现条件推理，并给出了复杂度上界。
Product Configuration in Answer Set Programming
这是一个初步的工作配置知识表示，作为一个基础，建立交互式配置系统的答案集编程（ASP）。产品配置问题的主要概念进行了识别和讨论的自行车配置的例子。一个事实格式的开发用于表达产品知识，是特定领域的，可以从其他系统映射。最后，提供了一个独立于域的ASP编码，表示配置问题中的概念。
SMT-based Constraint Answer Set Solver EZSMT+
约束回答集编程将回答集编程与约束处理相结合。系统EZSMT+是一个约束答案集编程工具，利用可满足性模理论求解器进行搜索。它的理论基础是对Niemela关于逻辑程序的回答集的水平排序的刻画的推广。
Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
本文通过时态平衡逻辑探讨时态答案集编程的逻辑基础，将直觉逻辑与时态逻辑编程相结合，提出新的研究方向。
Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming
最近，答案集编程（ASP）作为一种新的解决问题的范例引起了人们的兴趣。需要支持的一个重要方面是处理规则之间的偏好，为此提出了几种方法。在本文中，我们考虑的问题，通过元解释器的答案集编程实现偏好处理方法。特别是，我们认为首选的答案集的方法由Brewka和Eiter，由Delaware，Schaub和Tompits，由王，周和林。我们提出了合适的元解释器，这些语义使用DLV，这是一个有效的引擎ASP。此外，我们还提出了一个元解释器的弱首选答案集的方法，由Brewka和Eiter，它使用DLV的弱约束功能作为表达和解决底层优化问题的工具。我们还考虑了高级元解释器，它利用基于图的特征，通常允许更有效的计算。我们的方法表明，一般的ASP和DLV，特别是快速原型的适用性。这可以被富有成效地用于试验新的语言和知识表示形式主义。
Solving a Flowshop Scheduling Problem with Answer Set Programming: Exploiting the Problem to Reduce the Number of Combinations
计划和调度一直是计算机科学研究的中心主题。特别是，简单的无等待流水车间调度问题的理论方法不允许感知问题的复杂性在第一眼。本文探讨了应答集程序设计语言在解决半导体制造系统中自动湿法刻蚀调度问题中的适用性。为了减少大量的组合，提出了一种基于范围的方法。
Constraint Monotonicity, Epistemic Splitting and Foundedness Could in General Be Too Strong in Answer Set Programming
最近，主观约束单调性、认知分裂和基础性的概念被引入到认知逻辑程序中，目的是将它们分别作为直觉的主要标准来比较文献中提出的不同答案集语义如何符合这些直觉。在本文中，我们考虑这三个概念，并在一些例子中证明它们通常可能过于强大，可能会排除一些期望的答案集，分别是世界观。总之，这些属性不应该被视为每个答案集语义必须满足的强制性属性。
Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory
聚合提供了一种简洁的方式来表达复杂的知识。选择一个适当的形式化的答案集编程（ASP）的聚集的问题仍然悬而未决。本文从近似不动点理论（AFT）的观点重新审视了它。我们引入了一个AFT形式化相当于Gelfond Lifschitz减少基本ASP程序，我们将其扩展到处理聚集。我们分析现有的方法如何与我们的框架。我们希望这项工作揭示了一些新的光的问题，一个适当的形式化的聚集。本文件正在考虑被TPLP接受。
Complex Optimization in Answer Set Programming
偏好处理和优化是回答集编程（ASP）中解决非平凡应用程序不可或缺的手段。然而，每当它们带来计算复杂性的显著增加时，它们的实现就变得困难。因此，现有的ASP系统不提供复杂的优化能力，支持，例如，基于包含的最小化或帕累托效率。相反，这种复杂的标准通常是通过诉诸专门的建模技术，如饱和度。然而，与普通ASP建模的简单性不同，这些技术相当复杂，ASP外行几乎无法使用。我们解决这个问题，通过开发一个通用的实现技术，通过元编程，从而重用现有的ASP系统，以捕捉各种形式的定性偏好之间的答案集。通过这种方式，复杂的偏好和优化能力变得容易为ASP应用程序所用。
Quantitative and Stream Extensions of Answer Set Programming
答案集编程已经单独扩展了约束，流域，并具有推理与答案集相关的数量的能力。我们提出了一个通用的框架，结合了所有三个方向的扩展，利用这里和那里的逻辑和加权逻辑的优势，介绍和分析。
Functional Answer Set Programming
在本文中，我们提出了一个扩展的答案集编程（ASP），特别是其最一般的逻辑对应，量化平衡逻辑（QEL），以处理部分功能。虽然平等的治疗QEL可以建立在不同的方式，我们首先分析了选择可判定的平等与完整的功能和Herbrand模型，最近提出的文献。我们认为，这种选择产生一些违反直觉的效果，从逻辑编程和知识表示的观点。然后，我们提出了一个变种称为QELF的功能集被划分为部分和Herbrand功能（我们也称之为构造函数）。在本文的其余部分，我们展示了一个直接连接到斯科特的存在逻辑，并提出了一个实际的应用，提出了一个扩展的正常逻辑程序处理部分功能和平等，使他们可以被翻译成功能免费正常的程序，有可能以这种方式计算其答案集与任何标准的ASP求解器。
Graphs and colorings for answer set programming
本文研究了规则依赖图及其着色在描述和计算逻辑程序答案集中的应用。这种方法为我们提供了深入了解规则之间的相互作用时，诱导答案集。我们从不同的特征的答案集的全彩色依赖图，不同的图论方面。然后，我们开发了一系列的操作特征的答案集的运营商部分着色。与证明论中的推导概念类似，我们的操作刻画被表示为（非确定性形成的）着色序列，将未着色的图变成完全着色的图。通过这种方式，我们得到了一个操作框架，其中不同的操作符组合会导致不同的形式属性。除其他外，我们确定的noMoRe系统所采用的基本策略，并证明其算法的方法。此外，我们区分相应的拟合的操作，以及良好的基础语义。(To逻辑程序设计理论与实践（Theory and Practice of Logic Programming，TPLP）
Solving Decision Theory Problems with Probabilistic Answer Set Programming
本文提出通过决策原子和效用属性在Credal语义下用概率回答集编程编码决策理论问题，并设计基于三层代数模型计数的算法，实验证明其可在合理时间内处理非平凡实例。
Automated Aggregator -- Rewriting with the Counting Aggregate
答案集编程是一种领先的声明式约束编程范式，广泛用于复杂的知识密集型应用程序。现代答案集程序设计语言支持许多等效的方法来对程序中的约束和规范进行建模。然而，到目前为止，答案集编程还没有开发出系统的方法来构建表示，这将统一地提供自动化处理。这表明，编码选择，以同样的方式选择算法和组合求解，可能是一个可行的方向，以提高性能的答案集求解。必要的先决条件是自动生成可能的替代编码的过程。在这里，我们提出了一个自动重写系统，自动聚合器或AAgg，给出了一个非地面逻辑程序，产生一个家庭的等效程序与互补的性能时，运行在现代的答案集编程求解器。我们通过实验分析证明了这种行为，并提出了该系统的使用自动答案集编程求解器选择工具。
Proceedings of the twelfth Workshop on Answer Set Programming and Other Computing Paradigms 2019
这是2019年6月3日在美国费城举行的第十二届回答集编程和其他计算范式研讨会（ASPOCP）的会议记录。
onlineSPARC: a Programming Environment for Answer Set Programming
逻辑编程的最新进展（例如，答案集编程范例的发展）使得将其教授给普通大学生甚至初中/高中学生成为可能。鉴于这些学生接触计算机科学的机会有限，下载、安装和使用编写逻辑程序的工具的复杂性可能是逻辑编程接触更广泛受众的主要障碍。我们开发了一个在线的答案集编程环境，一个自包含的文件系统和一个简单的界面。它允许用户键入/编辑逻辑程序，并在程序上执行几项任务，包括对程序进行查询，获取程序的答案集，以及基于程序的答案集生成绘图/动画。
ASP(AC): Answer Set Programming with Algebraic Constraints
加权逻辑是一个强大的工具，规范的计算半环依赖于定性信息。使用一种新的组合加权逻辑和这里和那里（HT）的逻辑，这种依赖是基于直觉的理由，我们介绍了答案集编程与代数约束（ASP（AC）），其中规则可能包含的限制，比较半环值加权公式评估。这样的约束提供了对ASP中可用的多种构造（如聚合、选择约束和算术运算符）的流线型访问。他们扩展了其中的一些，并提供了一个通用的框架，用于定义程序与代数计算，这可以卓有成效地使用，例如，起源语义的数据库程序。虽然在一般情况下是不可判定的，但ASP（AC）的表达片段可以在一个丰富的框架中用于有效解决问题。本书正在考虑被《逻辑程序设计理论与实践》接受。
Towards Metric Temporal Answer Set Programming
我们详细阐述了一个度量的时间扩展的理论基础的答案集编程。在类比以前的扩展ASP与线性时间和动态逻辑的结构，我们完成了这一点的逻辑的设置在这里和那里及其非单调扩展，称为平衡逻辑。更确切地说，我们在与其前辈相同的语义基础上开发我们的逻辑，从而使用一个简单的时间域的有限时间步长。这使我们能够在一个统一的框架中比较所有的变体，并最终将它们组合在一个通用的实现中。
Forgetting in Answer Set Programming -- A Survey
遗忘-或变量消除-是一种允许从知识库中删除不再被认为相关的中间变量的操作。近年来，已经提出了许多不同的方法来解决答案集编程中的遗忘问题，这些方法以特定的运算符或此类运算符的类的形式存在，通常遵循不同的原则并遵守不同的性质。每一种这样的方法都是为了解决关于遗忘的某些特定观点而开发的，目的是遵守在这种观点中被认为是可取的一组特定属性，但是缺少对所有现有算子和属性的全面统一的概述。在本文中，我们彻底检查现有的属性和（类）的答案集编程遗忘的运营商，绘制这些类的遗忘运营商的景观，其中包括许多新的结果之间的关系的属性和运营商，包括具体的运营商计算结果的遗忘和计算复杂性的考虑。我们的目标是提供指导，帮助用户选择最适合其应用要求的运营商。
Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming
我们提出了一种新的正式框架（称为3D-nCDC-ASP）表示和理由的基本方向之间的扩展对象在3维（3D）空间，使用答案集编程（ASP）。3D-nCDC-ASP扩展了Cardinal Directional Calculus（CDC），提供了一种新的默认约束类型，并将nCDC-ASP扩展到3D。3D-nCDC-ASP提供了一个灵活的平台，提供不同类型的推理：默认的非单调推理，检查对象之间3D基本方向上的一组约束的一致性，解释不一致性，以及推断缺失的CDC关系。我们证明了3D-nCDC-ASP的可靠性，并说明其实用性与应用程序。本文件正在考虑被TPLP接受。
Implementing Metric Temporal Answer Set Programming
研究如何实现度量时态回答集编程，利用带差异约束的ASP扩展处理时间相关方面，有效解耦度量ASP与时间粒度，解决处理细粒度时间约束时的可扩展性问题，使解决方案不受时间精度影响。
Fages' Theorem and Answer Set Programming
我们推广了Francois Fages的一个定理，该定理描述了以否定为失败的逻辑程序的完成语义和答案集语义之间的关系。对这种关系的研究对于答案集编程的出现非常重要。只要这两种语义等价，答案集就可以通过可满足性求解器来计算，而不需要使用诸如models和dlv之类的答案集求解器。作为一个例子，讨论了由于Ilkka Niemperor块世界的逻辑编程表示。
Abstract argumentation and answer set programming: two faces of Nelson's logic
在这项工作中，我们表明，逻辑编程和抽象的论证框架可以解释纳尔逊的建设性逻辑N4。在这种逻辑中，我们通过形式化两个原则来做到这一点，我们称之为非矛盾推理和加强的封闭世界假设：第一个原则指出，任何信念都不能基于矛盾的证据，而后者则迫使未知和矛盾的证据都被视为错误。使用这些原则，逻辑程序设计和抽象论证框架都以模块化的方式并使用对象语言转换为构造性逻辑。逻辑程序蕴涵和抽象论证支持在翻译中遵循不矛盾推理原则成为新的蕴涵连接词。然后，攻击通过将这个新的蕴涵与强否定相结合来表示。逻辑程序设计理论与实践（TPLP）
D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set Programming
在这项工作中，我们提出了一个工具，快速原型的动态规划算法的基础上树分解的集合编程（ASP）。事实上，已经设计了许多这样的算法，但只有少数几个找到了实现的方法。主要的障碍是缺乏易于使用的系统，（i）照顾建立一个树分解和（ii）提供一个接口的声明规范的动态规划算法。在本文中，我们提出了D-FLAT，一种新的工具，减轻了用户必须处理所有的技术细节与解析，树分解，处理的数据结构等，而不是，它只是动态规划算法本身必须指定在ASP语言。D-FLAT采用ASP求解器来计算动态规划算法中的局部解。文中列举了几个实例说明D-FLAT的使用，并介绍了该系统的主要特点。此外，我们报告的实验表明，基于ASP的D-FLAT编码的一些问题优于单片ASP编码的实例上的小树宽。
Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case
插值是经典逻辑和许多非经典逻辑的重要性质，在计算机科学和人工智能中有着重要的应用。在这里，我们研究的插值性质的命题版本的非单调系统的平衡逻辑，建立较弱或较强的形式的插值依赖于推理关系的精确解释。这些结果也产生了一种形式的插值地面逻辑程序下的回答集语义。对于析取逻辑程序，我们还研究了与变量遗忘概念密切相关的一致插值的性质。
Interpolable Formulas in Equilibrium Logic and Answer Set Programming
插值是经典和许多非经典逻辑的重要性质，在计算机科学和人工智能中有着重要的应用。本文研究了非单调平衡逻辑系统的插值性质，根据推理关系的精确解释，建立了较弱或较强的插值形式。这些结果也产生了一种形式的插值地面逻辑程序下的回答集语义。对于析取逻辑程序，我们还研究了与变量遗忘概念密切相关的一致插值的性质。平衡逻辑的一阶版本具有类似的插值性质，只要平衡模型的集合是（一阶）可定义的。由于这是所谓的安全程序和理论的情况，因此它适用于实际答案集编程中出现的常见情况。
Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach
该研究提出一种知识表示语言及原因定义，借助 Answer Set Programming 形式化实际因果性基准示例，并基于动作序列分析变化的实际原因。
Implementing Dynamic Answer Set Programming
我们介绍了一个扩展的答案集编程（ASP）与语言结构的动态（和时间）逻辑，提供了一个富有表现力的计算框架建模动态应用程序的实现。从有限线性迹上的动态和时态平衡逻辑所提供的逻辑基础出发，我们将动态公式转化为时态逻辑程序。这为我们提供了一个范式结果，建立了不同逻辑中公式的强等价性。我们的翻译依赖于辅助原子的引入，以保证多项式空间复杂度，并提供一个嵌入，这是注定不可能在同一种语言。最后，将动态公式简化为时态逻辑程序允许我们以统一的方式用这两种方法扩展ASP，并通过时态ASP求解器（如Telingo）实现这两种扩展
Modeling Stable Matching Problems with Answer Set Programming
稳定婚姻问题（SMP）是一个著名的匹配问题，首先由Gale和Shapley（1962）提出并解决。这个问题的几个变体和扩展已经被研究，以涵盖更广泛的应用。然而，每次考虑新的变体时，都需要开发和实现新的算法。作为替代方案，在本文中，我们提出了一种编码的SMP使用答案集编程（ASP）。我们的编码可以很容易地扩展和适应特定应用的需求。作为一个例子，我们展示了如何稳定的匹配时，个人可以指定不可接受的合作伙伴和偏好之间的关系是允许的。随后，我们展示了我们的ASP编码自然允许我们选择特定的稳定匹配，这是根据给定的标准最佳。每一次，我们都可以依靠通用和有效的现成答案集求解器来找到（最佳）稳定匹配。
Automata Techniques for Temporal Answer Set Programming
回答集编程（ASP）的时态和动态扩展在解决动态问题方面发挥了重要作用，因为它们允许使用时态运算符以非常有效的方式对动态场景进行推理。在我的博士学位上。研究，我打算利用自动机理论和动态逻辑之间的关系，添加自动机为基础的技术，以ASP求解器CLINGO帮助我们处理这些类型的问题。
Probabilistic Inductive Logic Programming Based on Answer Set Programming
提出了一种新的基于回答集编程（ASP）的概率知识表达形式语言。它允许注释一阶公式以及ASP规则和具有概率的事实，并从数据中学习这些权重（参数估计）。加权公式给出了一个语义方面的软，硬约束，决定了概率分布的答案集。在相关的方法相比，我们的方法推理可选地利用所谓的精简XOR约束，以减少计算的答案集的数量。我们的方法是原型实现。举例说明了引入的概念，并指出了未来研究的问题和主题。
Modular Answer Set Programming as a Formal Specification Language
本文研究了应答集程序设计（ASP）的形式化验证问题，即给出一个形式化证明，证明给定的（非基）逻辑程序P的应答集与P编码的问题的解是正确对应的，而与问题实例无关。为了这个目的，我们使用一个正式的规约语言的基础上ASP模块，使每个模块可以被证明捕捉到一些非正式方面的问题，在一个孤立的方式。这种规约语言依赖于一个新的定义（可能嵌套，一阶）的程序模块，可以将本地隐藏的原子在不同的水平。然后，对逻辑程序P进行验证，就相当于证明了P与它的模规范之间的某种等价性。正在考虑接受TPLP。
Using Answer Set Programming in an Inference-Based approach to Natural Language Semantics
在基于推理的自然语言语义方法中使用答案集编程
Streamliners for Answer Set Programming
本文将StreamLLM方法应用于答案集编程，通过生成约束减少搜索空间，实验表明在三个基准测试中，虚拟最佳编码在速度上提升了4-5倍。
A System for Interactive Query Answering with Answer Set Programming
反应式答案集编程为将在线信息纳入操作解决过程铺平了道路。虽然这项技术最初是为了处理动态环境中的数据流而设计的，比如辅助生活和认知机器人，但它同样可以用于整合用户提供的事实、规则或查询。因此，我们提出了一个系统的设计和实现的交互式查询回答与反应式答案集编程。我们的系统quontroller是基于反应求解器oclingo和实现作为一个专用的前端。我们描述了它的功能和实现，并通过一些选定的用例说明了它的功能。
Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
稳定模型语义下的限制和逻辑程序是两种著名的非单调形式化。前者是基于经典逻辑的动作形式主义的基础，如情境演算、事件演算和时态动作逻辑;后者是动作语言家族的基础，如语言A及其几个后代。基于对稳定模型的定义和稳定模型的语义在一类规范公式上的一致性的发现，我们重新定义了稳定模型一般理论中的情景演算和事件演算.我们还提出了一个翻译，把重新制定进一步的答案集程序，使高效的答案集求解器可以应用于计算的情况演算和事件演算。
Strong Equivalence in Answer Set Programming with Constraints
本文研究带约束回答集编程中的强等价性，证明其可由带约束的 Here-and-There 逻辑等价性刻画，并给出从 clingo 类求解器语言到该逻辑的翻译，同时分析了判定强等价性的计算复杂度。
Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming
本文提出基于回答集编程的框架，用于计算城市网络中所有车辆的动态最优路线，并在两个欧洲城市区域验证了其可行性与贡献。
Symbolic Parameter Learning in Probabilistic Answer Set Programming
本文提出两种基于符号方程的算法，用于概率答案集编程中的参数学习，通过约束优化或期望最大化求解，在质量和速度上优于现有方法。
An Application of Proof-Theory in Answer Set Programming
我们将证明理论技术应用于答案集编程。主要结果包括：1.逻辑程序中Gelfond-Lifschitz算子连续性的一个刻画2.逻辑程序的稳定模型的一种命题表征（不涉及循环公式）。
Functional Stable Model Semantics and Answer Set Programming Modulo Theories
本文探讨了在答案集编程中整合'intensional'函数的作用，展示了功能稳定模型语义在ASPMT框架中的关键作用，并证明了紧致ASPMT程序可转换为SMT实例。
Nested Aggregates in Answer Sets: An Application to a Priori Optimization
我们允许表示和推理的存在下，嵌套的多个聚合在多个变量和嵌套的多个聚合函数涉及多个变量的答案集，准确地说，在答案集优化编程和答案集编程。我们显示的适用性的答案集优化规划与嵌套的多个聚合和答案集规划与嵌套的多个聚合的概率旅行商问题，一个基本的先验优化问题在运筹学。
Answer Set Programming for Flexible Payroll Management
本文提出基于灵活回答集编程模型和DMN表格表示的方法，使人力资源顾问无需软件工程师即可表示复杂薪资规则，并利用clingo多轮求解达到处理现实实例的性能。
Formalization of Psychological Knowledge in Answer Set Programming and its Application
在本文中，我们将探讨使用答案集编程（ASP）的形式化，和原因，心理知识。在心理学领域，相当多的知识仍然只用自然语言来表达。这种形式化的缺乏使理论的准确研究、比较和验证变得复杂。我们相信，ASP，一个知识表示形式主义，允许简洁和简单的默认表示，不确定性，和不断发展的领域，可以成功地用于心理知识的形式化。为了证明ASP的可行性，在本文中，我们开发了一个基于ASP的形式化的机制，短期记忆。我们还表明，我们的方法可以有相当直接的实际用途，通过展示我们的形式化预测用户与图形界面的交互任务的应用。
Counting Answer Sets via Dynamic Programming
虽然近年来命题可满足性（#SAT）的解决方案计数问题重新受到关注，但这一研究趋势并没有影响其他AI解决范式，如答案集编程（ASP）。虽然ASP求解器被设计为枚举所有解决方案，因此计数可以很容易地完成，但所有解决方案的具体化是ASP（#ASP）计数问题的明显瓶颈。在本文中，我们提出了基于动态规划的#ASP算法，利用底层（地面）ASP程序的结构。一个原型实现的实验结果表明，与现有的求解器相比，承诺。
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming
自动常识推理对于构建具有可解释AI等特征的类人AI系统至关重要。事件演算（EC）是一个形式主义的家庭，模型常识推理与健全的，逻辑基础。先前使用EC进行机械化推理的尝试在处理密集域中的连续变化（例如，时间和其他物理量）、变量之间的约束、默认否定以及不同推理方法的统一应用等。我们建议使用的s（CASP），查询驱动的，自上而下的执行模型的谓词答案集编程的约束，模型和原因使用EC。我们展示了如何EC的情况下，可以自然和直接编码的s（CASP），以及它如何使演绎和溯因推理任务的域具有约束，涉及密集的时间和密集的流畅性。
Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary
本卷包含在2012年9月4日在布达佩斯举行的第五届回答集编程和其他计算范式研讨会（ASPOCP 2012）上提出的论文，与第28届逻辑编程国际会议（ICLP 2012）共同举办。因此，它延续了之前与ICLP共同举办的一系列活动，旨在促进关于跨越当前ASP技术在理论，解决和应用方面的边界的讨论，并与其他计算范式相结合或受到其他计算范式的启发。
Incremental Answer Set Programming with Overgrounding
对于不同的输入，重复执行推理任务在许多应用环境中是必要的，例如流推理。在这种情况下，我们提出了一个增量接地方法的答案集语义。我们专注于生成增量较大的地面逻辑程序相当于一个给定的非地面的可能性，所谓的过度接地的程序可以重用故意与许多不同的输入组合。更新过接地程序需要很小的努力，因此当接地在一系列彼此相似的输入上重复时，使得逻辑程序的实例化相当快。值得注意的是，所提出的方法在“引擎盖下”工作，使逻辑程序的设计者从控制接地引擎和应答集系统的技术方面解脱出来。在这项工作中，我们提出的增量接地技术的理论基础，我们说明了随之而来的重复评估策略和报告我们的实验。这篇论文是在逻辑程序设计理论与实践（TPLP）中考虑的。
Compiling Metric Temporal Answer Set Programming
本文提出一种编译度量时序 ASP 的方法，借助 difference constraints 在外部处理时间约束，以缓解细粒度时间导致的 grounding 瓶颈，并使求解不受时间精度影响。
Revisiting Explicit Negation in Answer Set Programming
答案集编程中的一个共同特征是使用第二个否定，比默认否定更强，有时称为显式，强或经典否定。这种显式否定通常用于原子前面，而不允许将其用作常规运算符。本文考虑了Lifschitz、Tang和Turner定义的显式否定与嵌套表达式的任意组合。我们扩展了这个新的语法的简化的概念，然后证明它可以被捕获的扩展平衡逻辑与这第二个否定。我们研究了这个变体的一些性质，并与已知的平衡逻辑与纳尔逊的强否定的组合进行了比较。正在考虑接受TPLP。
Penalization Framework For Autonomous Agents Using Answer Set Programming
本文提出了一个基于回答集编程的惩罚框架，用于在动态环境中对不遵守授权或义务策略的智能体实施惩罚，通过算法根据遵守程度惩罚行动，使智能体选择总惩罚最小的计划，从而训诫不服从的智能体。
Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence
本文在Here-and-There逻辑中用内涵函数刻画clingo和dlv中聚合程序的语义，并研究强等价性，提出归约为经典一阶逻辑的变换以支持自动化验证。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。