Titlebook: KI-98: Advances in Artificial Intelligence; 22nd Annual German C Otthein Herzog,Andreas Günter Conference proceedings 1998 Springer-Verlag

哥哥大傻瓜

书目名称KI-98: Advances in Artificial Intelligence影响因子(影响力)




书目名称KI-98: Advances in Artificial Intelligence影响因子(影响力)学科排名




书目名称KI-98: Advances in Artificial Intelligence网络公开度




书目名称KI-98: Advances in Artificial Intelligence网络公开度学科排名




书目名称KI-98: Advances in Artificial Intelligence被引频次




书目名称KI-98: Advances in Artificial Intelligence被引频次学科排名




书目名称KI-98: Advances in Artificial Intelligence年度引用




书目名称KI-98: Advances in Artificial Intelligence年度引用学科排名




书目名称KI-98: Advances in Artificial Intelligence读者反馈




书目名称KI-98: Advances in Artificial Intelligence读者反馈学科排名

积习已深

nurture

两栖动物

Finding regions for local repair in partial constraint satisfaction,nt-processing techniques like e.g. . and .. Both classes exhibit characteristic advantages and drawbacks. This article presents a novel approach for solving partial constraint satisfaction problems exhaustively that combines advantages of local search and extended . algorithms. This method relies on

Fluctuate

演讲

Genome

难听的声音

From theory to practice in multiagent system design: The case of structural co-operation, jointly achieve a global goal. Social co-ordination is a decentralised mechanism, that sets out from non-benevolent agents that interact primarily to improve the degree of attainment of their local goals. One way of ensuring the effectivity of social co-ordination with respect to global problem-sol

冷峻

Computing the least common subsumer and the most specific concept in the presence of cyclic ,-concef knowledge bases for KR systems based on description logic. For the description logic ., the msc need not always exist if one restricts the attention to acyclic concept descriptions. In this paper, we extend the notions lcs and msc to cyclic descriptions, and show how they can be computed.

勉励

Simultaneous quantifier elimination,olemization in sequent calculus. It allows a lazy handling of instantiations and of the order of certain reductions. Simultaneous quantifier elimination is justified from a semantical as well as from a proof theoretical point of view.