1743 search results - page 59 / 349 » Generalized Modal Satisfiability |
ENTCS
1998
13 years 9 months ago
1998
This paper shows how modal mu-calculus formulae characterizing finite-state processes up to strong or weak bisimulation can be derived directly from the well-known greatest fixp...
SIGSOFT
2009
ACM
14 years 10 months ago
2009
ACM
Initial system specifications, such as use-case scenarios and properties, only partially specify the future system. We posit that synthesizing partial component-level behavior mod...
CCIA
2007
Springer
14 years 4 months ago
2007
Springer
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 for Multi-...
ICMCS
2006
IEEE
14 years 4 months ago
2006
IEEE
In future videocommunication services, the user’s communication device, such as PC, laptop, PDA or mobile phone is equipped with new interaction modalities. These can be cameras...
ATAL
2003
Springer
14 years 3 months ago
2003
Springer
The problem investigated in this paper is the distribution of goals addressed to a group of rational agents. Those agents are characterized by their ability (i.e. what they can do...