Preface

Intelligent knowledge-based systems have been successfully developed in many domains. They employ techniques and tools from the fields of knowledge engi-neering and software engineering. Thus, declarative software engineering tech-niques have been established in many areas, such as knowledge systems, logic programming, constraint programming, and lately in the context of the Semantic Web and business rules