1941 search results - page 271 / 389 » Reasoning about Computations Using Two-Levels of Logic |
142
Voted
CHI
2006
ACM
16 years 4 months ago
2006
ACM
We address the problem of collecting a database of "common-sense facts" using a computer game. Informally, a common-sense fact is a true statement about the world that i...
142
click to vote
ICIC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper our original methodology of applying ontologybased logic into decision support system for security management in heterogeneous networks is presented. Such d...
153
Voted
TARK
2007
Springer
15 years 9 months ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
164
Voted
PEPM
2011
ACM
14 years 6 months ago
2011
ACM
Navigating through tree structures is a core operation in tree processing programs. Most notably, XML processing programs intensively use XPath, the path specification language t...
160
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...