We develop a logic for reasoning about object-oriented programs. The logic is for a
language with an imperative semantics and aliasing, and accounts for self-reference in …

Recent years have seen a number of high-profile incidents of corporate accounting fraud,
security violations, terrorist acts, and disruptions of major financial markets. This has led to a …

The Knowledge Acquisition and Representation Language (KARL) combines a description
of a knowledge based system at the conceptual level (a so called model of expertise) with a …

Planning and scheduling (P&S) constitute fundamental cognitive capabilities for systems to
reason about plans and their causal structure. They are essential for producing a goal …

Time is ubiquitous in information systems. Almost every enterprise faces the problem of its
data becoming out of date. However, such data is often valu able, so it should be archived …

This paper introduces a temporal logic for coalgebras. Nexttime and lasttime operators are
defined for a coalgebra, acting on predicates on the state space. They give rise to what is …

This paper presents a logic, called BOTL (Object-Based Temporal Logic), that facilitates the
specification of dynamic and static properties of object-based systems. The logic is based on …

This chapter concentrates on a challenging problem of information system specification and
design, namely how to cope on a high level of abstraction with concurrent behaviour and …

We present two logics that allow specifying distributed information systems, emphasizing
communication among sites. The low-level logic \sfD_0 offers features that are easy to …

During the last few years, a number of formal specification languages for knowledge-based
systems (KBS) have been developed. Characteristics of such systems are a complex …