Titlebook: High Performance Computing in Science and Engineering ‘12; Transactions of the Wolfgang E. Nagel,Dietmar H. Kröner,Michael M. Res Conferen

RECUR

讥讽

P. A. Baikov,K. G. Chetyrkin,J. H. Kühn,P. Marquard,M. Steinhauser,T. Uedalution satisfying certain properties. Such tasks are common in AI planning, scheduling, logistics, supply chain management, etc., and are inherently modular. Recently, the model expansion framework was extended to deal with multiple modules to represent e.g. the task of constructing a logistics serv

minimal

corporate

enlist

Sebastian Schmieschek,Ariel Narváez,Jens Harting rules. Interlinking knowledge provides ample opportunity for unexpected inconsistencies. These are undesired and come in different categories: some may simply be repaired automatically, while others are more serious and must be inspected by a human operator. In general, no one-fits-all solution exi

Obscure

R. J. Geretshauser,F. Meru,K. Schaal,R. Speith,W. Kleyhe forging dies. However, the design expertise required for the design tends to get scattered and lost, and therefore there is a need for a framework that will enable the accumulation, utilization and evolution of this expertise. The authors have been developing a knowledge-based system to support p

懒惰民族

Constitution

Konstantinos D. Kokkotas,Burkhard Zink,Paul Laskymming and Knowledge Management, INAP 2007, and the 21st Workshop on Logic Programming, WLP 2007, held in Würzburg, Germany, during October 4-6, 2007. The 16 thoroughly revised full papers presented together with 1 invited paper were carefully reviewed and selected from numerous submissions. The topi

步兵

声音刺耳