3515 search results - page 1 / 703 » On the semantics of Strategy Logic |
122
Voted
AMAST
2010
Springer
14 years 10 months ago
2010
Springer
157
Voted
ENTCS
2006
15 years 3 months ago
2006
This paper presents a game semantics for LP, Artemov's Logic of Proofs. The language of LP extends that of propositional logic by adding formula-labeling terms, permitting us...
126
click to vote
TARK
2007
Springer
15 years 9 months ago
2007
Springer
In Alternating-time Temporal Logic (atl), one can express statements about the strategic ability of an agent (or a coalition of agents) to achieve a goal φ such as: “agent i ca...
127
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
We present a logic for reasoning about properties of agent programs under different agent execution strategies. Using the agent programming language SimpleAPL as an example, we sh...
140
click to vote
SEMWEB
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper addresses the problem of building scalable semantic overlay networks. Our approach follows the principle of data independence by separating a logical layer, th...