职业
发表于 2025-3-28 15:13:47
http://reply.papertrans.cn/59/5880/587920/587920_41.png
好开玩笑
发表于 2025-3-28 21:43:20
http://reply.papertrans.cn/59/5880/587920/587920_42.png
免除责任
发表于 2025-3-29 00:00:23
http://reply.papertrans.cn/59/5880/587920/587920_43.png
nugatory
发表于 2025-3-29 07:04:03
http://reply.papertrans.cn/59/5880/587920/587920_44.png
inhibit
发表于 2025-3-29 08:42:15
http://reply.papertrans.cn/59/5880/587920/587920_45.png
没花的是打扰
发表于 2025-3-29 14:53:13
A terminological interpretation of (abductive) logic programming,and use classical logic as the language for the ABox. The resulting logic can be seen as an alternative interpretation of abductive logic program formalism. We study the expressivity of the formalism for representing uncertainty by proposing solutions for problems in temporal reasoning, with null values and open domain knowledge.
Incommensurate
发表于 2025-3-29 16:48:32
Revision by communication,s, adds the information they can infer to the program and tries to find an acceptable model for the expanded program. In this paper we will concentrate on the kind of information needed to find successful revisions of programs. We point out some parameters along which our framework can be analyzed and suggest some further research.
linear
发表于 2025-3-29 19:52:15
Skeptical rational extensions,is closed under intersection. In the case of normal default theories our logic coincides with the standard skeptical reasoning with extensions. In the case of seminormal default theories our formalism provides a description of the standard skeptical reasoning with rational extensions.
沉默
发表于 2025-3-30 03:56:49
http://reply.papertrans.cn/59/5880/587920/587920_49.png
rectum
发表于 2025-3-30 07:32:44
Computing the well-founded semantics faster,rove the . performance of the computation. For a logic program . in atoms .., the speed up over the straight Van Gelder alternating fixed point algorithm (assuming worst-case behavior for both algorithms) is approximately (¦.¦/¦.¦).. For ¦.¦≥¦.¦., the algorithm runs in time linear in ¦.¦.