126 search results - page 22 / 26 » Modal Logic in Two Gestalts |
FROCOS
2005
Springer
14 years 3 months ago
2005
Springer
In a previous paper, we have introduced a general approach for connecting two many-sorted theories through connection functions that behave like homomorphisms on the shared signatu...
CCIA
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. In this paper, we describe a novel agent architecture for normative multiagent systems which is based on multi-context systems. It models the three modalities of Rao and ...
CLIMA
2006
13 years 11 months ago
2006
In this paper, we introduce the notion of communication channel into a multiagent system. We formalize the system in term of logic with Belief modality, where each possible world i...
ICMI
2004
Springer
14 years 3 months ago
2004
Springer
One of the implicit assumptions of multi-modal interfaces is that human-computer interaction is significantly facilitated by providing multiple input and output modalities. Surpri...
POPL
2004
ACM
14 years 10 months ago
2004
ACM
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...