1941 search results - page 93 / 389 » Reasoning about Computations Using Two-Levels of Logic |
161
click to vote
MST
2011
14 years 10 months ago
2011
This paper is concerned with the complexity of computing winning strategies for poset games. While it is reasonably clear that such strategies can be computed in PSPACE, we give a ...
128
click to vote
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
127
click to vote
RWEB
2009
Springer
15 years 9 months ago
2009
Springer
In this chapter we will introduce description logics, a family of logic-based knowledge representation languages that can be used to represent the terminological knowledge of an a...
123
click to vote
IJCAI
1993
15 years 4 months ago
1993
We introduce and use a new methodology for the study of logics for action and change. The methodology allows one to define a taxonomy of reasoning problems, based in particular on...
120
Voted
ASIAN
2006
Springer
15 years 7 months ago
2006
Springer
We present formal proof rules for inductive reasoning about the way that data transmitted on the network remains secret from a malicious attacker. Extending a compositional protoco...