3891 search results - page 497 / 779 » A logic for strategic reasoning |
106
click to vote
AICOM
2010
15 years 27 days ago
2010
This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known a...
96
Voted
JSW
2008
15 years 22 days ago
2008
Aspect-oriented concepts are currently introduced in early stages of software development to achieve better separation of concerns. However, at the architecture level, there exists...
KI
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Unlike people, household robots cannot rely on commonsense knowledge when accomplishing everyday tasks. We believe that this is one of the reasons why they perform poorly...
118
click to vote
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
By Courcelle's Theorem we know that any property of finite structures definable in monadic second-order logic (MSO) becomes tractable over structures with bounded treewidth. T...
218
Voted
AMW
2011
14 years 4 months ago
2011
Since navigational aspects of XPath correspond to first-order definability, it has been proposed to use the analogy with the very successful technique of translating LTL into aut...