开始没有
发表于 2025-3-25 04:46:29
http://reply.papertrans.cn/59/5880/587920/587920_21.png
名词
发表于 2025-3-25 10:41:58
Loop checking and the well-founded semantics,und with respect to the well-founded semantics; for finite programs, it is also complete. A Prolog-style proof search strategy for a modification of this calculus provides a query evaluation algorithm for finite propositional programs under the well-founded semantics. This algorithm is implemented a
滔滔不绝地说
发表于 2025-3-25 14:54:31
Annotated revision specification programs, their idea to allow for confidence factors, multiple experts, and so on. The appropriate programming mechanism turns out to be . and the appropriate semantic tool, .. This may be the first example of a setting in which both notions arise naturally, and complement each other. We also show that sever
Antagonism
发表于 2025-3-25 17:17:02
http://reply.papertrans.cn/59/5880/587920/587920_24.png
CLAIM
发表于 2025-3-25 23:46:44
Revision by communication,udy such revisions in a framework where a number of semantical agents is distinguished, each agent associated with a different semantics but all agents interpreting the same program. If an agent cannot find an acceptable model for the program, he has to perform program revision. For logic programs,
Factorable
发表于 2025-3-26 02:37:45
Hypothetical updates, priority and inconsistency in a logic programming language,uences of updates by sets of atoms and it makes use of a revision mechanism to restore consistency when an update violates some integrity constraint. The revision policy we adopt is based on the simple idea that more recent information is preferred to earlier one. This language can be used to perfor
Progesterone
发表于 2025-3-26 06:58:26
http://reply.papertrans.cn/59/5880/587920/587920_27.png
Congregate
发表于 2025-3-26 10:35:35
On the extension of logic programming with negation through uniform proofs,confusing status of semantics. In this paper we show that elegant, yet natural semantics can be obtained by building a mechanism of justifying default assumptions on top of a proof system. In particular, we propose extended logic programming languages with negation through .. The result is a very ge
mighty
发表于 2025-3-26 15:51:13
http://reply.papertrans.cn/59/5880/587920/587920_29.png
LITHE
发表于 2025-3-26 17:18:58
Skeptical rational extensions,r used together in constructing a set of default consequences of a theory; (2) the reasoning formalized by our logic is related to the traditional skeptical mode of default reasoning. Our logic is based on the concept of a .. We give characterization results for skeptical rational extensions and an