2573 search results - page 119 / 515 » Combinations of Modal Logics |
ENTCS
2007
15 years 6 months ago
2007
178
click to vote
IAT
2009
IEEE
15 years 10 months ago
2009
IEEE
Recently, multi-attribute negotiation has been extensively studied from a game-theoretic viewpoint. Since normal and extensive form games have the drawback of requiring an explicit...
162
click to vote
FSTTCS
2006
Springer
15 years 10 months ago
2006
Springer
We establish a decidability boundary of the model checking problem for infinite-state systems defined by Process Rewrite Systems (PRS) or weakly extended Process Rewrite Systems (w...
168
click to vote
AROBOTS
1998
15 years 6 months ago
1998
We describe a uniform technique for representing both sensory data and the attentional state of an agent using a subset of modal logic with indexicals. The resulting representation...