1941 search results - page 9 / 389 » Reasoning about Computations Using Two-Levels of Logic |
148
Voted
UC
2009
Springer
15 years 8 months ago
2009
Springer
We present a logical approach to the separability analysis issue for a functional quantum computation language. This logic is inspired by previous works on logical analysis of alia...
96
Voted
CORR
2006
Springer
15 years 1 months ago
2006
Springer
Awareness has been shown to be a useful addition to standard epistemic logic for many applications. However, standard propositional logics for knowledge and awareness cannot expre...
150
Voted
ESOP
2006
Springer
15 years 5 months ago
2006
Springer
This paper presents a new program logic designed for facilitating automated reasoning about pointer programs. The program logic is directly inspired by previous work by O'Hea...
120
click to vote
CSFW
2003
IEEE
15 years 7 months ago
2003
IEEE
A policy describes the conditions under which an action is permitted or forbidden. We show that a fragment of (multi-sorted) first-order logic can be used to represent and reason...
114
click to vote
COSIT
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. This paper describes some recent cognitively-based and computationally-based research on representing and reasoning about shapes. The cognitive studies are based on proto...