HEM
发表于 2025-3-21 19:53:24
书目名称Non-Monotonic Extensions of Logic Programming影响因子(影响力)<br> http://figure.impactfactor.cn/if/?ISSN=BK0666974<br><br> <br><br>书目名称Non-Monotonic Extensions of Logic Programming影响因子(影响力)学科排名<br> http://figure.impactfactor.cn/ifr/?ISSN=BK0666974<br><br> <br><br>书目名称Non-Monotonic Extensions of Logic Programming网络公开度<br> http://figure.impactfactor.cn/at/?ISSN=BK0666974<br><br> <br><br>书目名称Non-Monotonic Extensions of Logic Programming网络公开度学科排名<br> http://figure.impactfactor.cn/atr/?ISSN=BK0666974<br><br> <br><br>书目名称Non-Monotonic Extensions of Logic Programming被引频次<br> http://figure.impactfactor.cn/tc/?ISSN=BK0666974<br><br> <br><br>书目名称Non-Monotonic Extensions of Logic Programming被引频次学科排名<br> http://figure.impactfactor.cn/tcr/?ISSN=BK0666974<br><br> <br><br>书目名称Non-Monotonic Extensions of Logic Programming年度引用<br> http://figure.impactfactor.cn/ii/?ISSN=BK0666974<br><br> <br><br>书目名称Non-Monotonic Extensions of Logic Programming年度引用学科排名<br> http://figure.impactfactor.cn/iir/?ISSN=BK0666974<br><br> <br><br>书目名称Non-Monotonic Extensions of Logic Programming读者反馈<br> http://figure.impactfactor.cn/5y/?ISSN=BK0666974<br><br> <br><br>书目名称Non-Monotonic Extensions of Logic Programming读者反馈学科排名<br> http://figure.impactfactor.cn/5yr/?ISSN=BK0666974<br><br> <br><br>
agenda
发表于 2025-3-21 22:26:53
Conference proceedings 1995ds from key researchers participating in the workshop. In total 10 carefully refereed, revised, full research papers on semantics and computational aspects of logic programs are included..Logic programs rely on a nonmonotonic operator often referred to as negation by failure or negation by default.
纵欲
发表于 2025-3-22 01:03:56
http://reply.papertrans.cn/67/6670/666974/666974_3.png
正论
发表于 2025-3-22 05:14:21
http://reply.papertrans.cn/67/6670/666974/666974_4.png
切掉
发表于 2025-3-22 12:13:11
0302-9743default. The nonmonoticity of this operator allows to apply results from the area of nonmonotonic theories to the investigation of logic programs (and vice versa). This volume is devoted to the interdependence of nonmonotonic formalisms and logic programming.978-3-540-59467-3978-3-540-49272-6Series ISSN 0302-9743 Series E-ISSN 1611-3349
不能妥协
发表于 2025-3-22 13:21:30
From disjunctive programs to abduction,assical negation, and then show how two abductive formalizations can be obtained from that program by a series of simple syntactic transformations. The three approaches under consideration turn out to be parts of a whole spectrum of different, but equivalent, ways of representing incomplete information.
Pcos971
发表于 2025-3-22 20:32:48
Logic programming with assumption denial,ams. The generality of this framework is further evidenced by its ability to define semantics for disjunctive programs in terms of non-disjunctive programs. This reveals a relationship between disjunctive programs and non-disjunctive programs, which is known previously to be false in some other formalisms.
BUMP
发表于 2025-3-23 00:27:04
A resolution-based procedure for default theories with extensions, extension, which is contained in the final extension, thus helping to describe the meaning of a given default theory. Further, the procedure does not necessarily have to compute every extension in order for a single query to be answered. The procedure has been implemented in C-Prolog.
乐器演奏者
发表于 2025-3-23 01:39:59
Magic computation for well-founded semantics,egerstedt. This correspondence implies that the magic transformation is sound and complete. Hence, it provides an upper bound on the search space that must be considered in order to preserve completeness of the bottom-up approach.
Jubilation
发表于 2025-3-23 08:30:11
Computing stable and partial stable models of extended disjunctive logic programs,junctive logic program. This procedure consists in transforming an extended disjunctive logic program into a constrained disjunctive program free of negation-by-default whose set of 2-valued minimal models corresponds to the set of partial stable models of the original program.