The use of robots in our daily lives is increasing. Different types of robots perform different
tasks that are too dangerous or too dull to be done by humans. These sophisticated …

Introduction to Diagnosis and Fault-Tolerant Control | SpringerLink Skip to main content
Advertisement SpringerLink Account Menu Find a journal Publish with us Track your research …

As the (in) famous definition states:'An ontology is an explicit specification of a
conceptualization'. However, an ontology is also a philosophical theory of existence, a …

Fault detection and isolation is a crucial and challenging task in the automatic control of
large complex systems. We propose a discrete-event system (DES) approach to the problem …

A concise and lucid exposition of the major topics in knowledge representation, from two of
the leading authorities in the field.-Stuart Russell, UC Berkeley The information is valuable …

Knowledge representation and reasoning is the foundation of artificial intelligence,
declarative programming, and the design of knowledge-intensive software systems capable …

Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …

Renewed motives for space exploration have inspired NASA to work toward the goal of
establishing a virtual presence in space, through heterogeneous fleets of robotic explorers …

Knowledge compilation has been emerging recently as a new direction of research for
dealing with the computational intractability of general propositional reasoning. According to …

This paper describes Livingstone, an implemented kernel for a self-reconfiguring
autonomous system, that is reactive and uses component-based declarative models. The …