In recent years there has been an increasing use of logical methods and significant new developments have been spawned in several areas of computer science, ranging from artificial intelligence and software engineering to agent-based systems and the semantic web. In the investigation and application of logical methods there is a tension between: * the need for a representational language strong enough to express domain knowledge of a particular application, and the need for a logical formalism general enough to unify several reasoning facilities relevant to the application, on the one hand,...

1. 1 Background The basis for the material in this book centers around research done in an ongoing long-term project which focuses on the development of highly au- 1 tonomousunmannedaerialvehiclesystems. Theactualplatformwhichserves as a case study for the research in this book will be described in detail later in this chapter. Before doing that, a brief background of the motivations - hind this research will be provided. One of the main research topics in the project is knowledge representation and reasoning and its use in Uav pl- forms. A very strong constraint has been placed on the nature...