In knowledge-based engineering, the inference engine plays an important part in the behaviour of the system. A flexible and adaptive execution scheme allows the designer to experiment with different modes of operation and selecting an appropriate one with respect to the initial data set and the execution goal. This book presents an extension of an existing research prototype software in the field of knowledge-based engineering, with the goal of building a reliable and easy to use dependency resolution engine. A discussion is included how the knowledge concepts and objects can be represented...