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 …

The concept of an agent is increasingly used in contemporary software applications,
particularly those involving the Internet, autonomous systems, or cooperation. However, with …

Publisher Summary This chapter examines computational approaches to modal logics. A
variety of computational approaches and reasoning problems are considered, the use of …

The usefulness of the addition of a notion of time granularity to representation languages is
widely recognized. As an example, let us consider the problem of providing a logical …

LNAI 3862 - <TEX>{\sc MetateM}</TEX>: The Story so Far Page 1 METATEM: The Story so Far
Michael Fisher Department of Computer Science, University of Liverpool, United Kingdom …

In this paper we overview one specific approach to the formal development of multi-agent
systems. This approach is based on the use of temporal logics to represent both the …

Este texto apresenta uma introduçaoa concepçao de sistemas computacionais como sendo
formado por vários agentes autônomos. O desenvolvimento destes agentes passa pelo …

This paper brings together two recent contributions to the area of declarative agent-oriented
programming, made feasible in practice by the recent introduction of an interpreter for a BDI …

The research field of Agent-Oriented Software Engineering (AOSE) aims to find abstractions,
languages, methodologies and toolkits for modeling, verifying, validating and prototy** …

This chapter tackles the relation between declarative languages and multi-agent systems by
following the dictates of the five Ws (and one H) that characterize investigations. The aim is …