This book aims to synthesize different directions in knowledge studies into a unified theory of
knowledge and knowledge processes. It explicates important relations between knowledge …

The distributed temporal logic DTL is a logic for reasoning about temporal properties of
discrete distributed systems from the local point of view of the system's agents, which are …

This paper describes the architecture (circuit design) and principles of operation of sigma-
delta Sigma-Delta time-to-digital converters (TDC) for high-speed I/O interface circuit test …

DTL is a distributed temporal logic for reasoning about temporal properties of distributed
systems from the local point of view of the system's agents, which are assumed to execute …

In the past decades, several scholars have posed their attention upon different aspects of
expressiveness in Terminological Reasoning. Mostly, those investigations focused on the …

Until is a notoriously difficult temporal operator as it is both existential and universal at the
same time: AUB holds at the current time instant w iff either B holds at w or there exists a …

The goal of this paper is the development of foundations for robust reasoning and decision-
making in pervasively inconsistent theories and deductive databases. The pervasiveness of …

Abstract The Event-Based Time-Stamped Claim Logic that we define in this paper allows
one to reason about distributed time-stamped claims that can change through time by the …

Until is a notoriously difficult temporal operator as it is both existential and universal at the
same time: A∪ B holds at the current time instant w iff either B holds at w or there exists a …

Despite the great relevance of temporal logics in many applications of computer science,
their theoretical analysis is far from being concluded. In particular, we still lack a satisfactory …