546 search results - page 49 / 110 » An Action Semantics for MML |
132
click to vote
EUROCAST
2007
Springer
15 years 5 months ago
2007
Springer
In this paper we introduce an extension of Equilibrium Logic (a logical characterisation of the Answer Set Semantics for logic programs) consisting in the inclusion of modal tempor...
107
click to vote
ECAI
2006
Springer
15 years 5 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...
113
click to vote
IFM
2000
Springer
15 years 5 months ago
2000
Springer
This paper presents a formal language for the design of component-based enterprise system. The language (StAC) allows the usual parallel and sequential behaviours, but most signifi...
121
click to vote
LADS
2007
Springer
15 years 8 months ago
2007
Springer
A key challenge for agent architectures and programming paradigms is to account for defeasible reasoning over mental attitudes and to provide associated conflict resolution mechan...
100
click to vote
TAPSOFT
1991
Springer
15 years 5 months ago
1991
Springer
An operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration. This concept of integration, which ha...