713 search results - page 80 / 143 » Model Checking and Transitive-Closure Logic |
113
Voted
LICS
2006
IEEE
15 years 6 months ago
2006
IEEE
Logical properties of iterations of relational structures are studied and these decidability results are applied to the model checking of a powerful extension of pushdown systems....
132
click to vote
CORR
2004
Springer
15 years 12 days ago
2004
Springer
In this paper we analyze the relationship between cyclic definitions and consistency in GelfondLifschitz's answer sets semantics (initially defined as `stable model semantics...
102
Voted
IJISEC
2008
15 years 16 days ago
2008
We present a model checking technique for security protocols based on a reduction to propositional logic. At the core of our approach is a procedure that, given a description of th...
103
Voted
RE
2008
Springer
15 years 20 hour ago
2008
Springer
NASA spends millions designing and building spacecraft for its missions. The dependence on software is growing as spacecraft become more complex. With the increasing dependence on...
127
Voted
DLOG
2003
15 years 1 months ago
2003
The purpose of the chapter is to help someone familiar with DLs to understand the issues involved in developing an ontology for some universe of discourse, which is to become a co...