Abstract Knowledge Representation (KR) originated as a discipline within Artificial
Intelligence, and is concerned with the representation of knowledge in symbolic form so that …

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 …

Temporal Logics are a rich variety of logical systems designed for formalising reasoning
about time, and about events and changes in the world over time. These systems differ by …

One of the field in which models of abstraction have been proposed is Artificial Intelligence
(AI). This chapter has two parts: one presents an overview of the formal models, either …

The name" temporal logic" may sound complex and daunting; but while they describe
potentially complex scenarios, temporal logics are often based on a few simple, and …

Many novel application scenarios and architectures in business process management or
service composition are characterized by a distribution of activities and resources, and by …

Publisher Summary This chapter presents many ways in which temporal phenomena can be
modeled, described, reasoned about, and applied. The chapter describes the use of …

Modern cyber-physical systems (CPS) operate in complex systems of systems that must
seamlessly work together to control safety-or mission-critical functions. Capturing …

In this paper, we propose a qualitative formalism for representing and reasoning about time
at different scales. It extends the algebra of Euzenat and overcomes its major limitations …

Modern cyber-physical systems-of-systems (CPSoS) operate in complex systems-of-systems
that must seamlessly work together to control safety-or mission-critical functions. Linear …