1743 search results - page 89 / 349 » Generalized Modal Satisfiability |
105
Voted
ATAL
2011
Springer
14 years 21 days ago
2011
Springer
In this paper, we merge speech act theory, emotion theory, and logic. We propose a modal logic that integrates the concepts of belief, goal, ideal and responsibility and that allo...
CHITALY
2011
14 years 20 days ago
2011
In this paper, we describe a solution to obtain flexible user interface distribution across multiple devices, even supporting different modalities. For this purpose we extend a mo...
89
Voted
CSFW
2002
IEEE
15 years 5 months ago
2002
IEEE
We introduce a general framework for reasoning about secrecy requirements in multiagent systems. Because secrecy requirements are closely connected with the knowledge of individua...
174
Voted
ASM
2010
ASM
15 years 9 months ago
2010
ASM
A natural encoding of synchronous message exchange with direct wait-control is proved to be equivalent in a distributed environment to a refinement which uses semaphores to implem...
WINE
2007
Springer
15 years 6 months ago
2007
Springer
In addition to useful Economic interpretation, auction based algorithms are generally found to be efficient. In this note, we observe that the auction-based mechanism can also be u...