239 search results - page 15 / 48 » Temporal Languages for Epistemic Programs |
IGPL
2010
14 years 9 months ago
2010
This paper introduces and studies a new type of logical construction, which allows to combine various non-classical propositional logics with the temporal or modal background. The...
130
click to vote
FMCO
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
111
click to vote
ICTL
1994
15 years 3 months ago
1994
In this paper we present a survey of work relating to the Concurrent METATEM programming language. In addition to a description of the basic Concurrent METATEM system, which incorp...
UM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. User behaviors on a system vary not only among individuals but also within the same user when he/she gains experience on the system. We empirically investigated how indiv...
CLIMA
2007
15 years 1 months ago
2007
Abstract. Failures are unavoidable in many circumstances. For example, an agent may fail at some point to perform a task in a dynamic environment. Robust systems typically have mec...