167 search results - page 16 / 34 » Mathematical Logic and Deduction in Computer Science Educati... |
101
click to vote
CORR
2004
Springer
14 years 9 months ago
2004
Springer
The author taught two courses on cryptography, one at Duke University aimed at non-mathematics majors and one at Rose-Hulman Institute of Technology aimed at mathematics and comput...
104
click to vote
LICS
2007
IEEE
15 years 3 months ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
SAC
2008
ACM
14 years 9 months ago
2008
ACM
We present a way to add user's background knowledge to formal concept analysis. The type of background knowledge we deal with relates to relative importance of attributes in ...
CADE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. It has often been claimed that model checking, special purpose automated deduction or interactive theorem proving are needed for formal program development. Recently, it ...
JACM
2010
14 years 8 months ago
2010
Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual...