3515 search results - page 59 / 703 » On the semantics of Strategy Logic |
225
Voted
TARK
2009
Springer
16 years 1 months ago
2009
Springer
We study games in which the choices available to players are not fixed, and may change during the course of play. Specifically, we consider a model in which players may switch st...
194
click to vote
ENTCS
2010
15 years 4 months ago
2010
A previously introduced combination of the bialgebraic approach to structural operational semantics with aic modal logic is re-examined and improved in some aspects. Firstly, a mo...
169
Voted
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
In this work we introduce the first steps towards the definition of an answer set semantics for residuated logic programs with negation.
180
click to vote
PPSWR
2005
Springer
16 years 14 days ago
2005
Springer
This articles discusses the logic, or logic-based, languages required for a full deployment of the Semantic Web. It presents ten theses addressing
175
click to vote
AAAI
2008
15 years 9 months ago
2008
Recent research in nonmonotonic logic programming has focused on program equivalence relevant for program optimization and modular programming. So far, most results concern the st...