fungus
发表于 2025-3-21 18:29:42
书目名称Logic Programming影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0587888<br><br> <br><br>书目名称Logic Programming影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0587888<br><br> <br><br>书目名称Logic Programming网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0587888<br><br> <br><br>书目名称Logic Programming网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0587888<br><br> <br><br>书目名称Logic Programming被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0587888<br><br> <br><br>书目名称Logic Programming被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0587888<br><br> <br><br>书目名称Logic Programming年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0587888<br><br> <br><br>书目名称Logic Programming年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0587888<br><br> <br><br>书目名称Logic Programming读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0587888<br><br> <br><br>书目名称Logic Programming读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0587888<br><br> <br><br>
未成熟
发表于 2025-3-21 23:44:58
Logic Programming978-3-540-47083-0Series ISSN 0302-9743 Series E-ISSN 1611-3349
extinguish
发表于 2025-3-22 00:47:59
http://reply.papertrans.cn/59/5879/587888/587888_3.png
Confound
发表于 2025-3-22 08:13:12
Logical operational semantics of Parlog Part II: Or-Parallelism,n explicit . formalization of the OR-Parallellism in Parlog. In particular we extend the algebras of by new rules which describe the dynamics of the crucial . search in Parlog which was left abstract in .
主动脉
发表于 2025-3-22 12:37:57
,WAM algebras—A mathematical study of implementation Part 2,f terms and their unification. Prolog algebras of the preceeding paper are adapted to term representation, yielding, upon optimization, a mathematical reconstruction of the full WAM, and a proof of its correctness wrt to abstract Prolog algebras, given that the compiler satisfies a set of (explicitly stated) sufficient conditions.
断断续续
发表于 2025-3-22 16:41:04
Probabilistic logic programs and their semantics,ogic (), we define . so that their clauses may be true or false with some probabilities and goals may succeed or fail with probabilities too. Probabilistic logic programs may contain negation, their semantics agrees with negation as failure (unlike probabilistic logic which is based on the standard logical negation).
Mendicant
发表于 2025-3-22 20:44:02
http://reply.papertrans.cn/59/5879/587888/587888_7.png
amorphous
发表于 2025-3-22 23:36:22
http://reply.papertrans.cn/59/5879/587888/587888_8.png
使成波状
发表于 2025-3-23 04:49:13
http://reply.papertrans.cn/59/5879/587888/587888_9.png
残忍
发表于 2025-3-23 07:53:30
http://reply.papertrans.cn/59/5879/587888/587888_10.png