2573 search results - page 91 / 515 » Combinations of Modal Logics |
141
click to vote
ICWE
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we present a new environment for supporting Web user interface migration through different modalities. The goal is to furnish user interfaces that are able to migrate...
125
click to vote
AAAI
2000
15 years 5 months ago
2000
We present Dialog Moves Markup Language (DMML): an extensible markup language (XML) representation of modality independent communicative acts of automated conversational agents. I...
134
click to vote
IGPL
2002
15 years 3 months ago
2002
This paper generalises and complements the work on combining temporal logics started by Finger and Gabbay [11, 10]. We present proofs of transference of soundness, completeness an...
130
click to vote
NIPS
2004
15 years 5 months ago
2004
Motor control depends on sensory feedback in multiple modalities with different latencies. In this paper we consider within the framework of reinforcement learning how different s...
109
click to vote
DEON
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In this paper we investigate the design space of access control logics. Specifically, we consider several possible axioms for the common operator says. Some of the axioms...