1743 search results - page 38 / 349 » Generalized Modal Satisfiability |
ICRA
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper presents an architecture for solving generically the problem of extracting the constraints of a given task in a programming by demonstration framework and the problem...
MMM
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. Attention is a psychological measurement of human reflection against stimulus. We propose a general framework of highlight detection by comparing attention intensity dur...
BIRTHDAY
2010
Springer
13 years 11 months ago
2010
Springer
Yuri Gurevich and Itay Neeman proposed the Distributed Knowledge Authorization Language, DKAL, as an expressive, yet very succinctly expressible logic for distributed authorization...
ATAL
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics ...
ISIPTA
2003
IEEE
14 years 3 months ago
2003
IEEE
We analyze communication of uncertainty among individuals as a function of the parties’ preference for modes of communication. We assume that different individuals may prefer pr...