Titlebook: Logic Programming; First Russian Confer A. Voronkov Conference proceedings 1992 Springer-Verlag Berlin Heidelberg 1992 Automat.Automated Re

fungus

书目名称Logic Programming影响因子(影响力)




书目名称Logic Programming影响因子(影响力)学科排名




书目名称Logic Programming网络公开度




书目名称Logic Programming网络公开度学科排名




书目名称Logic Programming被引频次




书目名称Logic Programming被引频次学科排名




书目名称Logic Programming年度引用




书目名称Logic Programming年度引用学科排名




书目名称Logic Programming读者反馈




书目名称Logic Programming读者反馈学科排名

未成熟

Logic Programming978-3-540-47083-0Series ISSN 0302-9743 Series E-ISSN 1611-3349

extinguish

Confound

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 [3] by new rules which describe the dynamics of the crucial . search in Parlog which was left abstract in [3].

主动脉

,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.

断断续续

Probabilistic logic programs and their semantics,ogic ([Nil]), 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

amorphous

使成波状

残忍