698 search results - page 17 / 140 » Model Checking with Multi-valued Logics |
LOGCOM
2006
14 years 11 months ago
2006
DC
1998
14 years 11 months ago
1998
FOSSACS
2010
Springer
14 years 9 months ago
2010
Springer
ATAL
2005
Springer
15 years 4 months ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
108
click to vote
LPNMR
2004
Springer
15 years 4 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â...