palliative-care
发表于 2025-3-27 00:23:38
Stable Models for Temporal Theories,ls based on Equilibrium Logic. The resulting approach, called Temporal Equilibrium Logic, extends the concept of a stable model for any arbitrary modal temporal theory, constituting a suitable formal framework for the specification and verification of dynamic scenarios in Answer Set Programming (ASP
Glycogen
发表于 2025-3-27 02:13:33
http://reply.papertrans.cn/59/5880/587911/587911_32.png
不如乐死去
发表于 2025-3-27 06:48:11
http://reply.papertrans.cn/59/5880/587911/587911_33.png
Affection
发表于 2025-3-27 12:55:41
http://reply.papertrans.cn/59/5880/587911/587911_34.png
dendrites
发表于 2025-3-27 14:37:42
http://reply.papertrans.cn/59/5880/587911/587911_35.png
Spongy-Bone
发表于 2025-3-27 18:20:20
Integrating ASP into ROS for Reasoning in Robots,t actions, environments, goals, perception, etc. Although Answer Set Programming (ASP) is well suited for modelling such functions, there was so far no seamless way to use ASP in a robotic setting. We address this shortcoming and show how a recently developed ASP system can be harnessed to provide a
graphy
发表于 2025-3-28 00:42:15
Automated Inference of Rules with Exception from Past Legal Cases Using ASP,ns. In this paper, we propose an approach for generating a declarative model of judgements from past legal cases, that expresses a legal reasoning structure in terms of principle rules and exceptions. Using a logic-based reasoning technique, we are able to identify from given past cases different un
转向
发表于 2025-3-28 04:44:23
Online Action Language ,+,nding the concept of online answer set solving to arbitrary propositional formulas, and then defining the semantics of .+ based on this extension, similar to the way the offline .+ is defined. The design of .+ ensures that any action description in .+ satisfies the syntactic conditions required for
FOLLY
发表于 2025-3-28 09:51:06
,: Solving Constraint Satisfaction Problems with Answer Set Programming,system. We here develop an alternative approach based on ASP that serves two purposes. First, it provides a library for solving CSPs as part of an encompassing logic program. Second, it furnishes an ASP-based CP solver similar to .. Both tasks are addressed by using first-order ASP encodings that pr
中国纪念碑
发表于 2025-3-28 12:02:05
,“Add Another Blue Stack of the Same Height!”: ASP Based Planning and Plan Failure Analysis,ons in which a robot must use natural language in communicating with human and responding to the human’s communication appropriately. In the process, we identify three main tasks. The first task requires the development of planners capable of dealing with .. The second task, called ., demands the ab