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 …

Labeled unranked trees are used as a model of XML documents, and logical languages for
them have been studied actively over the past several years. Such logics have different …

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 …

We describe a cryptographically sound formal logic for proving protocol security properties
without explicitly reasoning about probability, asymptotic complexity, or the actions of a …

Abstract Full Computation Tree Logic, commonly denoted CTL*, is the extension of Linear
Temporal Logic LTL by path quantification for reasoning about branching time. In contrast to …

While it was defined long ago, the extension of CTL with quantification over atomic
propositions has never been studied extensively. Considering two different semantics …

Rather than striving to be “perfectly agile,” some organizations desire to be more agile than
their competition and/or the industry. The Comparative Agility™(CA) assessment tool can be …

We introduce the Extended Modal Logic EML with regularity constraints and full Presburger
constraints on the number of children that generalize graded modalities, also known as …

In modal logics, graded (world) modalities have been deeply investigated as a useful
framework for generalizing standard existential and universal modalities in such a way that …

Motivated by the current interest in languages for expressing path queries to graph
databases, this paper proposes to investigate Walk Logic (WL): the extension of first-order …