diff-SAT -- A Software for Sampling and Probabilistic Reasoning for SAT and Answer Set Programming
National University of Ireland, Galway（爱尔兰国立高威大学）
本文介绍了diff-SAT，一个答案集和SAT求解器，它结合了经常使用概率条款，事实和规则的能力，解决和采样的最佳世界观（满足布尔变量分配或答案集的多集）受用户提供的概率约束。采样过程使用称为可微可满足性求解（$\partial\mathrm{SAT}$）或可微答案集编程（$\partial\mathrm{ASP}$）的基于梯度下降的优化方法来最小化用户定义的可微目标函数。用例是i.a.概率逻辑编程（以概率答案集编程的形式），概率布尔可满足性求解（PSAT）和模型多集（答案集或布尔解释）的分布感知采样。
2021-01-03 cs.AI cs.LO
Solving Gossip Problems using Answer Set Programming: An Epistemic Planning Approach
Sabanci University（萨班哲大学）；Institut de Recherche en Informatique de Toulouse（图卢兹信息学研究所）；Université Paul Sabatier（保罗·萨巴蒂埃大学）
我们调查使用答案集编程来解决各种各样的八卦问题，通过将它们建模为认知规划问题。
2020-09-22 cs.AI cs.LO
aspcud: A Linux Package Configuration Tool Based on Answer Set Programming
Universität Potsdam（波茨坦大学）；Simon Fraser University（西蒙弗雷泽大学）；Griffith University（格里菲斯大学）
介绍了基于Answer Set Programming的Linux软件包配置工具aspcud。特别是，我们详细介绍了aspcud的预处理器把一个CUDF规范成一组逻辑事实。
2011-09-01 cs.AI cs.LO
Propositional satisfiability in answer-set programming
我们表明，命题逻辑及其扩展可以支持答案集编程的方式一样，稳定的逻辑编程和析取逻辑编程。为此，我们介绍了一个逻辑的基础上的逻辑命题图式和封闭世界假设的一个版本。我们称之为CWA（PS+，符号）命题图式的扩展逻辑。这种逻辑的一个重要特征是它支持对集合基数的约束进行显式建模。在本文中，我们刻画了一类问题，可以解决的有限PS+理论。我们实现了一个基于PS+逻辑的编程系统，并在PS+中设计和实现了一个处理理论的求解器。我们提出了令人鼓舞的性能结果，我们的方法-我们表明，它是有竞争力的模型，一个国家的最先进的答案集编程系统的基础上稳定的逻辑编程。
2001-07-19 cs.AI cs.LO
An application of Answer Set Programming in Distributed Architectures: ASP Microservices
Università degli Studi di L’Aquila（拉奎拉大学）
我们提出了一种方法来定义微服务的答案集编程（ASP）的“核心”，其中微服务是一个成功的抽象设计的分布式应用程序作为套件的独立部署的交互组件。这种基于ASP的组件可以在与云计算或物联网（IoT）相关的分布式架构中采用。
2020-09-22 cs.AI cs.LO
The informal semantics of Answer Set Programming: A Tarskian perspective
KU Leuven（鲁汶大学）；University of Nebraska at Omaha（内布拉斯加大学奥马哈分校）；University of Kentucky（肯塔基大学）
在知识表示中，知识工程师对他们编写的形式化表达式有很好的理解是至关重要的。在逻辑的非形式语义学理论中，研究了形式表达式直观地陈述了关于话语域的什么。在本文中，我们研究的回答集编程的非形式语义。答案集编程的根源在于扩展逻辑编程语言，它最初是作为默认和自动认知推理的认知逻辑引入的。1999年，关于答案集编程的开创性论文提出将这种逻辑用于不同的目的，即建模和解决搜索问题。目前，该语言主要用于这一新角色。然而，在这种新的语境中，原有的认识直觉失去了解释的意义。答案集程序如何连接到他们的模型的问题的规格是更容易解释的经典塔斯基语义，其中模型对应于可能的世界，而不是一个认知代理的信念状态。在本文中，我们开发了一个新的理论的非正式语义的答案集编程，这是制定在塔斯基设置和弗雷格的组合性原则的基础上。它与早期的非形式语义学的认知理论有很大的不同，它对连接词在回答集编程中的意义以及它与其他逻辑，特别是经典逻辑的关系提供了不同的观点。
2019-01-26 cs.AI cs.LO
A framework for Conditional Reasoning in Answer Set Programming
DEMACS, University of Calabria, Italy（卡塔尼娅大学DEMACS研究中心）；DISIT, University of Piemonte Orientale, Italy（皮埃蒙特东方大学DISIT研究中心）
本文提出了一种基于条件逻辑的ASP框架，用于实现条件推理，并给出了复杂度上界。
2026-01-07 cs.AI cs.LO
Product Configuration in Answer Set Programming
University of Potsdam（波茨坦大学）
这是一个初步的工作配置知识表示，作为一个基础，建立交互式配置系统的答案集编程（ASP）。产品配置问题的主要概念进行了识别和讨论的自行车配置的例子。一个事实格式的开发用于表达产品知识，是特定领域的，可以从其他系统映射。最后，提供了一个独立于域的ASP编码，表示配置问题中的概念。
2021-09-17 cs.AI cs.LO
SMT-based Constraint Answer Set Solver EZSMT+
University of Maryland, College Park（马里兰大学帕克分校）；University of Nebraska at Omaha（内布拉斯加大学奥马哈分校）
约束回答集编程将回答集编程与约束处理相结合。系统EZSMT+是一个约束答案集编程工具，利用可满足性模理论求解器进行搜索。它的理论基础是对Niemela关于逻辑程序的回答集的水平排序的刻画的推广。
2019-06-03 cs.AI cs.LO
Automated verification of weak equivalence within the SMODELS system
在答案集编程（ASP）中，通过（i）编写其答案集对应于问题的解的逻辑程序，以及通过（ii）使用答案集求解器作为搜索引擎来计算程序的答案集，来解决手头的问题。通常，程序员在优化程序长度和特定求解器上的执行时间时，为特定问题创建一系列逐渐改进的逻辑程序。这将程序员引向确保程序是等效的元级问题，即，它们产生相同的答案集。为了在方法层面简化答案集编程，我们提出了一种基于翻译的方法来验证逻辑程序的等效性。其基本思想是将所考虑的逻辑程序P和Q转换为单个逻辑程序EQT（P，Q），其答案集（如果存在的话）产生P和Q等价的反例。该方法是在这里开发的一个稍微更一般的设置时，考虑到原子的可见性比较答案集。本文提出的基于推理的方法已被实现为一个翻译器，称为lpeq，使验证弱等价的模型系统内使用相同的搜索引擎的搜索模型。我们用lpeq和smodels进行的实验表明，在某些情况下，用这种方式建立逻辑程序的等价性比简单的交叉检查答案集要快得多。
2006-08-25 cs.AI cs.LO
Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
University of Corunna, Spain（科鲁纳大学）；University of Angers, France（昂热大学）；University of Barcelona, Spain（巴塞罗那大学）；University of Potsdam, Germany（波茨坦大学）
本文通过时态平衡逻辑探讨时态答案集编程的逻辑基础，将直觉逻辑与时态逻辑编程相结合，提出新的研究方向。
2026-03-16 cs.AI cs.LO
Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming
最近，答案集编程（ASP）作为一种新的解决问题的范例引起了人们的兴趣。需要支持的一个重要方面是处理规则之间的偏好，为此提出了几种方法。在本文中，我们考虑的问题，通过元解释器的答案集编程实现偏好处理方法。特别是，我们认为首选的答案集的方法由Brewka和Eiter，由Delaware，Schaub和Tompits，由王，周和林。我们提出了合适的元解释器，这些语义使用DLV，这是一个有效的引擎ASP。此外，我们还提出了一个元解释器的弱首选答案集的方法，由Brewka和Eiter，它使用DLV的弱约束功能作为表达和解决底层优化问题的工具。我们还考虑了高级元解释器，它利用基于图的特征，通常允许更有效的计算。我们的方法表明，一般的ASP和DLV，特别是快速原型的适用性。这可以被富有成效地用于试验新的语言和知识表示形式主义。
2002-01-16 cs.AI cs.LO
On Strong Equivalence Notions in Logic Programming and Abstract Argumentation
TU Wien, Austria（维也纳技术大学，奥地利）
本文探讨逻辑编程和抽象论证中强等价性差异，提出新的强等价性定义以恢复不同形式化之间的兼容性。
2026-05-14 cs.AI
Solving a Flowshop Scheduling Problem with Answer Set Programming: Exploiting the Problem to Reduce the Number of Combinations
Tecnológico Nacional de México - Tecnológico de Chihuahua（墨西哥国家技术学院——奇瓦瓦技术学院）
计划和调度一直是计算机科学研究的中心主题。特别是，简单的无等待流水车间调度问题的理论方法不允许感知问题的复杂性在第一眼。本文探讨了应答集程序设计语言在解决半导体制造系统中自动湿法刻蚀调度问题中的适用性。为了减少大量的组合，提出了一种基于范围的方法。
2019-09-19 cs.AI cs.LO
Constraint Monotonicity, Epistemic Splitting and Foundedness Could in General Be Too Strong in Answer Set Programming
Institute of Software, Chinese Academy of Sciences（中国科学院软件研究所）；Vienna University of Technology (TU Wien)（维也纳工业大学）
最近，主观约束单调性、认知分裂和基础性的概念被引入到认知逻辑程序中，目的是将它们分别作为直觉的主要标准来比较文献中提出的不同答案集语义如何符合这些直觉。在本文中，我们考虑这三个概念，并在一些例子中证明它们通常可能过于强大，可能会排除一些期望的答案集，分别是世界观。总之，这些属性不应该被视为每个答案集语义必须满足的强制性属性。
2020-11-07 cs.AI cs.LO
Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory
KU Leuven（鲁汶大学）
聚合提供了一种简洁的方式来表达复杂的知识。选择一个适当的形式化的答案集编程（ASP）的聚集的问题仍然悬而未决。本文从近似不动点理论（AFT）的观点重新审视了它。我们引入了一个AFT形式化相当于Gelfond Lifschitz减少基本ASP程序，我们将其扩展到处理聚集。我们分析现有的方法如何与我们的框架。我们希望这项工作揭示了一些新的光的问题，一个适当的形式化的聚集。本文件正在考虑被TPLP接受。
2022-05-17 cs.AI cs.LO
Complex Optimization in Answer Set Programming
Institut für Informatik（信息学研究所）；Universität Potsdam（波茨坦大学）；Simon Fraser University（西蒙弗雷泽大学）；Griffith University（格里菲斯大学）
偏好处理和优化是回答集编程（ASP）中解决非平凡应用程序不可或缺的手段。然而，每当它们带来计算复杂性的显著增加时，它们的实现就变得困难。因此，现有的ASP系统不提供复杂的优化能力，支持，例如，基于包含的最小化或帕累托效率。相反，这种复杂的标准通常是通过诉诸专门的建模技术，如饱和度。然而，与普通ASP建模的简单性不同，这些技术相当复杂，ASP外行几乎无法使用。我们解决这个问题，通过开发一个通用的实现技术，通过元编程，从而重用现有的ASP系统，以捕捉各种形式的定性偏好之间的答案集。通过这种方式，复杂的偏好和优化能力变得容易为ASP应用程序所用。
2011-07-28 cs.AI cs.LO
Quantitative and Stream Extensions of Answer Set Programming
TU Vienna（维也纳工业大学）
答案集编程已经单独扩展了约束，流域，并具有推理与答案集相关的数量的能力。我们提出了一个通用的框架，结合了所有三个方向的扩展，利用这里和那里的逻辑和加权逻辑的优势，介绍和分析。
2021-09-17 cs.AI cs.CC cs.LO
Functional Answer Set Programming
University of Corunna（科鲁尼亚大学）
在本文中，我们提出了一个扩展的答案集编程（ASP），特别是其最一般的逻辑对应，量化平衡逻辑（QEL），以处理部分功能。虽然平等的治疗QEL可以建立在不同的方式，我们首先分析了选择可判定的平等与完整的功能和Herbrand模型，最近提出的文献。我们认为，这种选择产生一些违反直觉的效果，从逻辑编程和知识表示的观点。然后，我们提出了一个变种称为QELF的功能集被划分为部分和Herbrand功能（我们也称之为构造函数）。在本文的其余部分，我们展示了一个直接连接到斯科特的存在逻辑，并提出了一个实际的应用，提出了一个扩展的正常逻辑程序处理部分功能和平等，使他们可以被翻译成功能免费正常的程序，有可能以这种方式计算其答案集与任何标准的ASP求解器。
2010-06-18 cs.AI cs.LO
Graphs and colorings for answer set programming
本文研究了规则依赖图及其着色在描述和计算逻辑程序答案集中的应用。这种方法为我们提供了深入了解规则之间的相互作用时，诱导答案集。我们从不同的特征的答案集的全彩色依赖图，不同的图论方面。然后，我们开发了一系列的操作特征的答案集的运营商部分着色。与证明论中的推导概念类似，我们的操作刻画被表示为（非确定性形成的）着色序列，将未着色的图变成完全着色的图。通过这种方式，我们得到了一个操作框架，其中不同的操作符组合会导致不同的形式属性。除其他外，我们确定的noMoRe系统所采用的基本策略，并证明其算法的方法。此外，我们区分相应的拟合的操作，以及良好的基础语义。(To逻辑程序设计理论与实践（Theory and Practice of Logic Programming，TPLP）
2005-02-21 cs.AI cs.LO
Solving Decision Theory Problems with Probabilistic Answer Set Programming
University of Ferrara（费拉拉大学）；TU Wien（维也纳技术大学）
本文提出通过决策原子和效用属性在Credal语义下用概率回答集编程编码决策理论问题，并设计基于三层代数模型计数的算法，实验证明其可在合理时间内处理非平凡实例。
2024-08-21 cs.AI cs.LO
Automated Aggregator -- Rewriting with the Counting Aggregate
University of Kentucky（肯塔基大学）
答案集编程是一种领先的声明式约束编程范式，广泛用于复杂的知识密集型应用程序。现代答案集程序设计语言支持许多等效的方法来对程序中的约束和规范进行建模。然而，到目前为止，答案集编程还没有开发出系统的方法来构建表示，这将统一地提供自动化处理。这表明，编码选择，以同样的方式选择算法和组合求解，可能是一个可行的方向，以提高性能的答案集求解。必要的先决条件是自动生成可能的替代编码的过程。在这里，我们提出了一个自动重写系统，自动聚合器或AAgg，给出了一个非地面逻辑程序，产生一个家庭的等效程序与互补的性能时，运行在现代的答案集编程求解器。我们通过实验分析证明了这种行为，并提出了该系统的使用自动答案集编程求解器选择工具。
2020-09-22 cs.AI cs.LO
Proceedings of the twelfth Workshop on Answer Set Programming and Other Computing Paradigms 2019
这是2019年6月3日在美国费城举行的第十二届回答集编程和其他计算范式研讨会（ASPOCP）的会议记录。
2019-11-21 cs.AI
onlineSPARC: a Programming Environment for Answer Set Programming
Tufts University（塔夫茨大学）；Texas Tech University（得克萨斯理工大学）
逻辑编程的最新进展（例如，答案集编程范例的发展）使得将其教授给普通大学生甚至初中/高中学生成为可能。鉴于这些学生接触计算机科学的机会有限，下载、安装和使用编写逻辑程序的工具的复杂性可能是逻辑编程接触更广泛受众的主要障碍。我们开发了一个在线的答案集编程环境，一个自包含的文件系统和一个简单的界面。它允许用户键入/编辑逻辑程序，并在程序上执行几项任务，包括对程序进行查询，获取程序的答案集，以及基于程序的答案集生成绘图/动画。
2018-09-21 cs.AI
ASP(AC): Answer Set Programming with Algebraic Constraints
Technical University Vienna（维也纳技术大学）
加权逻辑是一个强大的工具，规范的计算半环依赖于定性信息。使用一种新的组合加权逻辑和这里和那里（HT）的逻辑，这种依赖是基于直觉的理由，我们介绍了答案集编程与代数约束（ASP（AC）），其中规则可能包含的限制，比较半环值加权公式评估。这样的约束提供了对ASP中可用的多种构造（如聚合、选择约束和算术运算符）的流线型访问。他们扩展了其中的一些，并提供了一个通用的框架，用于定义程序与代数计算，这可以卓有成效地使用，例如，起源语义的数据库程序。虽然在一般情况下是不可判定的，但ASP（AC）的表达片段可以在一个丰富的框架中用于有效解决问题。本书正在考虑被《逻辑程序设计理论与实践》接受。
2020-08-10 cs.AI cs.LO
Towards Metric Temporal Answer Set Programming
University of Corunna（拉科鲁尼亚大学）；University of Potsdam（波茨坦大学）
我们详细阐述了一个度量的时间扩展的理论基础的答案集编程。在类比以前的扩展ASP与线性时间和动态逻辑的结构，我们完成了这一点的逻辑的设置在这里和那里及其非单调扩展，称为平衡逻辑。更确切地说，我们在与其前辈相同的语义基础上开发我们的逻辑，从而使用一个简单的时间域的有限时间步长。这使我们能够在一个统一的框架中比较所有的变体，并最终将它们组合在一个通用的实现中。
2020-08-08 cs.AI cs.LO
Forgetting in Answer Set Programming -- A Survey
遗忘-或变量消除-是一种允许从知识库中删除不再被认为相关的中间变量的操作。近年来，已经提出了许多不同的方法来解决答案集编程中的遗忘问题，这些方法以特定的运算符或此类运算符的类的形式存在，通常遵循不同的原则并遵守不同的性质。每一种这样的方法都是为了解决关于遗忘的某些特定观点而开发的，目的是遵守在这种观点中被认为是可取的一组特定属性，但是缺少对所有现有算子和属性的全面统一的概述。在本文中，我们彻底检查现有的属性和（类）的答案集编程遗忘的运营商，绘制这些类的遗忘运营商的景观，其中包括许多新的结果之间的关系的属性和运营商，包括具体的运营商计算结果的遗忘和计算复杂性的考虑。我们的目标是提供指导，帮助用户选择最适合其应用要求的运营商。
2021-12-07 cs.AI cs.LO
Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming
Sabanci University（萨班哲大学）
我们提出了一种新的正式框架（称为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接受。
2020-08-10 cs.AI cs.LO
Implementing Metric Temporal Answer Set Programming
University of Potsdam, Germany（波恩大学）；University of Corunna, Spain（科鲁纳大学）；University of Angers, France（昂热大学）；Potassco Solutions, Germany（Potassco解决方案）
研究如何实现度量时态回答集编程，利用带差异约束的ASP扩展处理时间相关方面，有效解耦度量ASP与时间粒度，解决处理细粒度时间约束时的可扩展性问题，使解决方案不受时间精度影响。
2026-07-08 cs.AI cs.LO
Abstract argumentation and answer set programming: two faces of Nelson's logic
University of Nebraska Omaha（内布拉斯加大学奥马哈分校）；IRIT（图卢兹计算机科学研究所）；Université de Toulouse（图卢兹大学）；CNRS（法国国家科学研究中心）
在这项工作中，我们表明，逻辑编程和抽象的论证框架可以解释纳尔逊的建设性逻辑N4。在这种逻辑中，我们通过形式化两个原则来做到这一点，我们称之为非矛盾推理和加强的封闭世界假设：第一个原则指出，任何信念都不能基于矛盾的证据，而后者则迫使未知和矛盾的证据都被视为错误。使用这些原则，逻辑程序设计和抽象论证框架都以模块化的方式并使用对象语言转换为构造性逻辑。逻辑程序蕴涵和抽象论证支持在翻译中遵循不矛盾推理原则成为新的蕴涵连接词。然后，攻击通过将这个新的蕴涵与强否定相结合来表示。逻辑程序设计理论与实践（TPLP）
2022-03-27 cs.AI cs.LO
Fages' Theorem and Answer Set Programming
我们推广了Francois Fages的一个定理，该定理描述了以否定为失败的逻辑程序的完成语义和答案集语义之间的关系。对这种关系的研究对于答案集编程的出现非常重要。只要这两种语义等价，答案集就可以通过可满足性求解器来计算，而不需要使用诸如models和dlv之类的答案集求解器。作为一个例子，讨论了由于Ilkka Niemperor块世界的逻辑编程表示。
2000-03-09 cs.AI
D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set Programming
Institute of Information Systems（信息系统研究所）；Vienna University of Technology（维也纳工业大学）
在这项工作中，我们提出了一个工具，快速原型的动态规划算法的基础上树分解的集合编程（ASP）。事实上，已经设计了许多这样的算法，但只有少数几个找到了实现的方法。主要的障碍是缺乏易于使用的系统，（i）照顾建立一个树分解和（ii）提供一个接口的声明规范的动态规划算法。在本文中，我们提出了D-FLAT，一种新的工具，减轻了用户必须处理所有的技术细节与解析，树分解，处理的数据结构等，而不是，它只是动态规划算法本身必须指定在ASP语言。D-FLAT采用ASP求解器来计算动态规划算法中的局部解。文中列举了几个实例说明D-FLAT的使用，并介绍了该系统的主要特点。此外，我们报告的实验表明，基于ASP的D-FLAT编码的一些问题优于单片ASP编码的实例上的小树宽。
2012-10-06 cs.AI cs.LO
Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case
King’s College London（伦敦国王学院）；Universidad Politécnica de Madrid（马德里理工大学）；Universidad de Málaga（马拉加大学）
插值是经典逻辑和许多非经典逻辑的重要性质，在计算机科学和人工智能中有着重要的应用。在这里，我们研究的插值性质的命题版本的非单调系统的平衡逻辑，建立较弱或较强的形式的插值依赖于推理关系的精确解释。这些结果也产生了一种形式的插值地面逻辑程序下的回答集语义。对于析取逻辑程序，我们还研究了与变量遗忘概念密切相关的一致插值的性质。
2010-12-17 cs.AI cs.LO
Interpolable Formulas in Equilibrium Logic and Answer Set Programming
Bar Ilan University（巴伊兰大学）；King’s College London（伦敦国王学院）；University of Luxembourg（卢森堡大学）
插值是经典和许多非经典逻辑的重要性质，在计算机科学和人工智能中有着重要的应用。本文研究了非单调平衡逻辑系统的插值性质，根据推理关系的精确解释，建立了较弱或较强的插值形式。这些结果也产生了一种形式的插值地面逻辑程序下的回答集语义。对于析取逻辑程序，我们还研究了与变量遗忘概念密切相关的一致插值的性质。平衡逻辑的一阶版本具有类似的插值性质，只要平衡模型的集合是（一阶）可定义的。由于这是所谓的安全程序和理论的情况，因此它适用于实际答案集编程中出现的常见情况。
2014-01-16 cs.AI cs.LO
Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach
Texas Tech University（得克萨斯理工大学）；University of Nebraska at Omaha（内布拉斯加大学奥马哈分校）
该研究提出一种知识表示语言及原因定义，借助 Answer Set Programming 形式化实际因果性基准示例，并基于动作序列分析变化的实际原因。
2023-06-06 cs.AI cs.LO
Implementing Dynamic Answer Set Programming
University of Corunna（拉科鲁尼亚大学）；University of Pau（波城大学）；University of Potsdam（波茨坦大学）
我们介绍了一个扩展的答案集编程（ASP）与语言结构的动态（和时间）逻辑，提供了一个富有表现力的计算框架建模动态应用程序的实现。从有限线性迹上的动态和时态平衡逻辑所提供的逻辑基础出发，我们将动态公式转化为时态逻辑程序。这为我们提供了一个范式结果，建立了不同逻辑中公式的强等价性。我们的翻译依赖于辅助原子的引入，以保证多项式空间复杂度，并提供一个嵌入，这是注定不可能在同一种语言。最后，将动态公式简化为时态逻辑程序允许我们以统一的方式用这两种方法扩展ASP，并通过时态ASP求解器（如Telingo）实现这两种扩展
2020-02-19 cs.AI cs.LO
Modeling Stable Matching Problems with Answer Set Programming
Ghent University（根特大学）；Cardiff University（卡迪夫大学）；Vrije Universiteit Brussel（布鲁塞尔自由大学）
稳定婚姻问题（SMP）是一个著名的匹配问题，首先由Gale和Shapley（1962）提出并解决。这个问题的几个变体和扩展已经被研究，以涵盖更广泛的应用。然而，每次考虑新的变体时，都需要开发和实现新的算法。作为替代方案，在本文中，我们提出了一种编码的SMP使用答案集编程（ASP）。我们的编码可以很容易地扩展和适应特定应用的需求。作为一个例子，我们展示了如何稳定的匹配时，个人可以指定不可接受的合作伙伴和偏好之间的关系是允许的。随后，我们展示了我们的ASP编码自然允许我们选择特定的稳定匹配，这是根据给定的标准最佳。每一次，我们都可以依靠通用和有效的现成答案集求解器来找到（最佳）稳定匹配。
2013-05-02 cs.AI cs.LO
Automata Techniques for Temporal Answer Set Programming
University of Potsdam（波茨坦大学）
回答集编程（ASP）的时态和动态扩展在解决动态问题方面发挥了重要作用，因为它们允许使用时态运算符以非常有效的方式对动态场景进行推理。在我的博士学位上。研究，我打算利用自动机理论和动态逻辑之间的关系，添加自动机为基础的技术，以ASP求解器CLINGO帮助我们处理这些类型的问题。
2021-09-17 cs.AI cs.FL cs.LO
Probabilistic Inductive Logic Programming Based on Answer Set Programming
National University of Ireland, Galway（爱尔兰国立大学戈尔韦）
提出了一种新的基于回答集编程（ASP）的概率知识表达形式语言。它允许注释一阶公式以及ASP规则和具有概率的事实，并从数据中学习这些权重（参数估计）。加权公式给出了一个语义方面的软，硬约束，决定了概率分布的答案集。在相关的方法相比，我们的方法推理可选地利用所谓的精简XOR约束，以减少计算的答案集的数量。我们的方法是原型实现。举例说明了引入的概念，并指出了未来研究的问题和主题。
2014-05-04 cs.AI
Modular Answer Set Programming as a Formal Specification Language
University of Corunna（拉科鲁尼亚大学）；University of Potsdam（波茨坦大学）；University of Nebraska Omaha（内布拉斯加大学奥马哈分校）
本文研究了应答集程序设计（ASP）的形式化验证问题，即给出一个形式化证明，证明给定的（非基）逻辑程序P的应答集与P编码的问题的解是正确对应的，而与问题实例无关。为了这个目的，我们使用一个正式的规约语言的基础上ASP模块，使每个模块可以被证明捕捉到一些非正式方面的问题，在一个孤立的方式。这种规约语言依赖于一个新的定义（可能嵌套，一阶）的程序模块，可以将本地隐藏的原子在不同的水平。然后，对逻辑程序P进行验证，就相当于证明了P与它的模规范之间的某种等价性。正在考虑接受TPLP。
2020-08-07 cs.AI cs.LO
Using Answer Set Programming in an Inference-Based approach to Natural Language Semantics
在基于推理的自然语言语义方法中使用答案集编程
2006-07-18 cs.AI cs.CL
Streamliners for Answer Set Programming
University of Klagenfurt（克雷格富特大学）
本文将StreamLLM方法应用于答案集编程，通过生成约束减少搜索空间，实验表明在三个基准测试中，虚拟最佳编码在速度上提升了4-5倍。
2026-07-24 cs.AI cs.LO
A System for Interactive Query Answering with Answer Set Programming
Universität Potsdam（波茨坦大学）；Simon Fraser University（西蒙弗雷泽大学）；Griffith University（格里菲斯大学）
反应式答案集编程为将在线信息纳入操作解决过程铺平了道路。虽然这项技术最初是为了处理动态环境中的数据流而设计的，比如辅助生活和认知机器人，但它同样可以用于整合用户提供的事实、规则或查询。因此，我们提出了一个系统的设计和实现的交互式查询回答与反应式答案集编程。我们的系统quontroller是基于反应求解器oclingo和实现作为一个专用的前端。我们描述了它的功能和实现，并通过一些选定的用例说明了它的功能。
2013-12-20 cs.AI
Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
Arizona State University（亚利桑那州立大学）
稳定模型语义下的限制和逻辑程序是两种著名的非单调形式化。前者是基于经典逻辑的动作形式主义的基础，如情境演算、事件演算和时态动作逻辑;后者是动作语言家族的基础，如语言A及其几个后代。基于对稳定模型的定义和稳定模型的语义在一类规范公式上的一致性的发现，我们重新定义了稳定模型一般理论中的情景演算和事件演算.我们还提出了一个翻译，把重新制定进一步的答案集程序，使高效的答案集求解器可以应用于计算的情况演算和事件演算。
2014-01-18 cs.AI cs.LO
Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming
University of Genova（热那亚大学）；Politecnico of Turin（都灵理工大学）；University of Calabria（卡拉布里亚大学）；University of Huddersfield（哈德斯菲尔德大学）
本文提出基于回答集编程的框架，用于计算城市网络中所有车辆的动态最优路线，并在两个欧洲城市区域验证了其可行性与贡献。
2024-08-14 cs.AI cs.LO
Symbolic Parameter Learning in Probabilistic Answer Set Programming
University of Ferrara（费拉拉大学）
本文提出两种基于符号方程的算法，用于概率答案集编程中的参数学习，通过约束优化或期望最大化求解，在质量和速度上优于现有方法。
2024-08-16 cs.AI cs.LO
An Application of Proof-Theory in Answer Set Programming
University of Kentucky（肯塔基大学）；University of California（加利福尼亚大学）
我们将证明理论技术应用于答案集编程。主要结果包括：1.逻辑程序中Gelfond-Lifschitz算子连续性的一个刻画2.逻辑程序的稳定模型的一种命题表征（不涉及循环公式）。
2010-01-11 cs.AI
Functional Stable Model Semantics and Answer Set Programming Modulo Theories
School of Computing, Informatics and Decision Systems Engineering（计算、信息与决策系统工程学院）
本文探讨了在答案集编程中整合'intensional'函数的作用，展示了功能稳定模型语义在ASPMT框架中的关键作用，并证明了紧致ASPMT程序可转换为SMT实例。
2026-05-10 cs.AI
Formalization of Psychological Knowledge in Answer Set Programming and its Application
Intelligent Systems, KRL Eastman Kodak Company（伊士曼柯达公司智能系统KRL部门）；Department of Psychology Texas Tech University（德克萨斯理工大学心理学系）
在本文中，我们将探讨使用答案集编程（ASP）的形式化，和原因，心理知识。在心理学领域，相当多的知识仍然只用自然语言来表达。这种形式化的缺乏使理论的准确研究、比较和验证变得复杂。我们相信，ASP，一个知识表示形式主义，允许简洁和简单的默认表示，不确定性，和不断发展的领域，可以成功地用于心理知识的形式化。为了证明ASP的可行性，在本文中，我们开发了一个基于ASP的形式化的机制，短期记忆。我们还表明，我们的方法可以有相当直接的实际用途，通过展示我们的形式化预测用户与图形界面的交互任务的应用。
2011-02-10 cs.AI cs.LO
Nested Aggregates in Answer Sets: An Application to a Priori Optimization
我们允许表示和推理的存在下，嵌套的多个聚合在多个变量和嵌套的多个聚合函数涉及多个变量的答案集，准确地说，在答案集优化编程和答案集编程。我们显示的适用性的答案集优化规划与嵌套的多个聚合和答案集规划与嵌套的多个聚合的概率旅行商问题，一个基本的先验优化问题在运筹学。
2013-04-05 cs.AI
Counting Answer Sets via Dynamic Programming
TU Wien（维也纳工业大学）
虽然近年来命题可满足性（#SAT）的解决方案计数问题重新受到关注，但这一研究趋势并没有影响其他AI解决范式，如答案集编程（ASP）。虽然ASP求解器被设计为枚举所有解决方案，因此计数可以很容易地完成，但所有解决方案的具体化是ASP（#ASP）计数问题的明显瓶颈。在本文中，我们提出了基于动态规划的#ASP算法，利用底层（地面）ASP程序的结构。一个原型实现的实验结果表明，与现有的求解器相比，承诺。
2016-12-22 cs.AI cs.CC cs.LO
A General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There
Technische Universität Wien（维也纳工业大学）
等价的不同概念，例如强等价和一致等价的突出概念，已经在嵌入集编程中进行了研究，主要是为了识别可以作为替代品而不改变语义的程序，例如在程序优化中。这种语义比较通常表现为在这里和那里（HT）逻辑中对模型的各种选择。然而，对于一致等价，HT模型的正确刻画只能针对有限的理论和程序来获得。在这篇文章中，我们表明，HT中的反模型的选择捕获一致等价的无限理论。这一结果被反模型，以及HT模型和反模型的混合（所谓的等价解释）转化为对不同等价概念的连贯表征。此外，我们推广所谓的概念相对化hyperequivalence的方案命题理论，并采用相同的方法，以获得一个语义表征，这是服从于无限的设置。这使得一个提升的结果，一阶理论下的一个非常一般的语义给出的量化版本的HT。因此，我们得到一个一般的框架下的回答集语义学的理论等价的各种概念的研究。此外，我们证明了一个权宜的属性，允许一个简化的处理扩展签名，并提供进一步的结果，非地面逻辑程序。特别是，一致等价符合下开放和普通的答案集语义，并为有限的非地面计划根据这些语义，也通常的表征一致等价的最大和总HT模型的接地是正确的，即使是无限域，当相应的地面程序是无限的。
2010-06-15 cs.AI
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技术在理论，解决和应用方面的边界的讨论，并与其他计算范式相结合或受到其他计算范式的启发。
2013-01-10 cs.AI
Using Answer Set Programming for pattern mining
AGROCAMPUS-OUEST/IRISA UMR6074（西部农学院/法国信息与随机系统研究所）；Inria（法国国家信息与自动化研究所）
序列模式挖掘就是从一个唯一的项集序列中提取频繁序列模式。本文探讨了声明性语言，如回答集编程（ASP），有效地解决这个问题的能力。我们提出了几个ASP实现的频繁序列模式挖掘任务：一个非增量和增量的决议。结果表明，增量解析比非增量解析更有效，但两种ASP程序的效率都低于专用算法。尽管如此，这种方法可以被看作是第一步，一个通用的框架，顺序模式挖掘的约束。
2014-09-27 cs.AI cs.DB cs.LO
