506 search results - page 36 / 102 » Logics for Action |
AMAST
2004
Springer
15 years 5 months ago
2004
Springer
We present a logic for reasoning about LOTOS behaviours which allows properties involving repeated patterns over actions and data to be expressed. The semantics of the logic is giv...
107
click to vote
CLIMA
2010
15 years 1 months ago
2010
In this paper we present an agent language that combines agent functionality with an action theory and model-theoretic semantics. The language is based on abductive logic programmi...
APAL
2006
14 years 12 months ago
2006
This paper studies the complexity of behavior of multi-agent systems. Behavior properties are formulated using classical temporal logic languages and are checked with respect to t...
126
click to vote
NMR
2004
Springer
15 years 5 months ago
2004
Springer
One of the crucial actions any reasoning system must undertake is the updating of its Knowledge Base (KB). This problem is usually referred to as the problem of belief change. The...
ECAI
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In this work we address the problem of elaborating domain descriptions (alias action theories), in particular those that are expressed in dynamic logic. We define a gener...