3733 search results - page 88 / 747 » Logics of communication and change |
112
Voted
LOPSTR
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. The ability of reacting to changes in the external environment is of crucial importance within the context of software agents. Such feature must however be suitably recon...
124
Voted
ATS
2000
IEEE
15 years 5 months ago
2000
IEEE
Because domino logic design offers smaller area and faster delay than conventional CMOS design, it is very popular in the high-performance processor design. However, domino logic ...
114
click to vote
CLIMA
2004
15 years 2 months ago
2004
In this paper, we present a dynamic logic for a propositional version of the agent programming language 3APL. A 3APL agent has beliefs and a plan. The execution of a plan changes a...
131
click to vote
IGPL
2006
15 years 25 days ago
2006
Abstract. This paper addresses the problem of establishing temporal properties of programs written in languages, such as Java, that make extensive use of the heap to allocate-and d...
119
Voted
ENTCS
2007
15 years 24 days ago
2007
Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over...