2022 search results - page 214 / 405 » Complexity of Non-Monotonic Logics |
143
click to vote
AGILE
2007
Springer
16 years 21 days ago
2007
Springer
Using qualitative reasoning with geographic information, contrarily, for instance, with robotics, looks not only fastidious (i.e.: encoding knowledge Propositional Logics PL), but ...
195
click to vote
FMICS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
168
click to vote
SPIN
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...
144
click to vote
TACAS
2007
Springer
16 years 18 days ago
2007
Springer
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...
174
click to vote
WWW
2006
ACM
16 years 13 days ago
2006
ACM
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...