Awkward
发表于 2025-3-21 19:49:58
书目名称Logic Programming ‘88影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0587901<br><br> <br><br>书目名称Logic Programming ‘88影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0587901<br><br> <br><br>书目名称Logic Programming ‘88网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0587901<br><br> <br><br>书目名称Logic Programming ‘88网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0587901<br><br> <br><br>书目名称Logic Programming ‘88被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0587901<br><br> <br><br>书目名称Logic Programming ‘88被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0587901<br><br> <br><br>书目名称Logic Programming ‘88年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0587901<br><br> <br><br>书目名称Logic Programming ‘88年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0587901<br><br> <br><br>书目名称Logic Programming ‘88读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0587901<br><br> <br><br>书目名称Logic Programming ‘88读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0587901<br><br> <br><br>
bifurcate
发表于 2025-3-21 21:08:19
A simple programming system written in GHC and its reflective operations,y to assemble these parts into a simple programming system, and discuss how to add new features such as . operations to the programming system. This paper assumes a basic knowledge of parallel logic languages such as PARLOG, Concurrent Prolog or GHC.
痛得哭了
发表于 2025-3-22 03:41:40
Inference methods and semantics on or-type knowledge bases,wledge in Horn logic. In this paper, we extend first order formulas and define the interpretations for them in a three valued logic. According to the discussion, a Horn clause is also extended so as to deal with the or-type knowledge. We show a fixpoint theorem, the soundness and completeness of a resolution.
体贴
发表于 2025-3-22 05:22:36
Access program to minimize redundant refutations on the network database system,dvantage of the network model. In our system, redundant refutations, which occur while finding all answer substitutions for given goals, are prevented in addition to preventing meaningless backtracking to find one refutation by intelligent backtracking. We show that our system is superior to the conventional Prolog system in performance.
凹室
发表于 2025-3-22 11:33:33
An approach to nonmonotonic inference mechanism in production system KORE/IE,m for resolving a contradiction can be realized by extending the inference steppers in KORE/IE along the framework of TMS. As an example of the mechanism, we show a maintenance mechanism for pairwise comparisons. Consistency of the comparisons is effectively maintained by using the mechanism.
袖章
发表于 2025-3-22 15:55:24
http://reply.papertrans.cn/59/5880/587901/587901_6.png
朋党派系
发表于 2025-3-22 18:28:35
http://reply.papertrans.cn/59/5880/587901/587901_7.png
phytochemicals
发表于 2025-3-22 22:50:31
http://reply.papertrans.cn/59/5880/587901/587901_8.png
腐蚀
发表于 2025-3-23 03:48:46
0302-9743 . It is the successor to the previous conference proceedings published as Lecture Notes in Computer Science Volumes 221, 264 and 315. The book covers various aspects of logic programming such as foundations, programming languages/systems, concurrent programming, knowledge bases, applications of comp
转换
发表于 2025-3-23 09:06:01
Logic based lexical analyser LAX, solutions are given at the end of analysis. The analysis output can be used as input to the syntactic analyser, SAX, which can also be executed in parallel logic languages..This method can process unknown morphemes which are not in the dictionary in linear order. This paper also reports the evaluation of this method in sequential languages.