4447 search results - page 241 / 890 » Model Checking Games |
143
click to vote
CSL
2004
Springer
15 years 10 months ago
2004
Springer
Locality notions in logic say that the truth value of a formula can be determined locally, by looking at the isomorphism type of a small neighborhood of its free variables. Such n...
121
click to vote
CI
2010
15 years 1 months ago
2010
A growing research community is working towards employing drama management components in story-based games. These components gently guide the story towards a narrative arc that imp...
134
click to vote
CHARME
2001
Springer
15 years 8 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
160
click to vote
LPNMR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check...
165
click to vote
AGP
2003
IEEE
15 years 9 months ago
2003
IEEE
Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check” nature ...