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 …

Modal and temporal logics are finding new and varied applications in Computer Science in
fields as diverse as Artificial Intelligence [Marek et al., 1991], Models for Concurrency …

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 …

The aim of this thesis is to investigate logical formalisms for describing, reasoning about,
specifying, and perhaps ultimately verifying the properties of systems composed of multiple …

Logics form a family of formalisms closely related to semantic networks but with the
distinguishing characteristic that the semantics of the concept description language is …

In this article, we examine how clausal resolution can be applied to a specific, but widely
used, nonclassical logic, namely discrete linear temporal logic. Thus, we first define a …

This collection represents the primary reference work for researchers and students in the
area of Temporal Reasoning in Artificial Intelligence. Temporal reasoning has a vital role to …

Motivated by Dennett's philosophy of ladder of personhood described in the previous
chapter, this chapter first describes the formal theories related to intentional systems. The …

The paper presents an efficient algorithm for checking the satisfiability of a propositional
linear time temporal logic formula, which may have past as well as future operators. This …

The paper presents a one-pass tableau calculus PLTL T for the propositional linear time
logic PLTL. The calculus is correct and complete and unlike in previous decision methods …