2573 search results - page 119 / 515 » Combinations of Modal Logics |
126
Voted
DEXA
2010
Springer
15 years 4 months ago
2010
Springer
ENTCS
2007
15 years 4 months ago
2007
148
click to vote
IAT
2009
IEEE
15 years 8 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...
135
click to vote
FSTTCS
2006
Springer
15 years 8 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...
137
click to vote
AROBOTS
1998
15 years 4 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...