6 search results - page 1 / 2 » Combining Hilbert Style and Semantic Reasoning in a Resoluti... |
CADE
1998
Springer
13 years 9 months ago
1998
Springer
Proceedings of CADE-15, LNAI 1421, pp. 205
DALT
2007
Springer
13 years 7 months ago
2007
Springer
Online dispute resolution is becoming the main method when dealing with a conflict in e-commerce. A family of defeasible reasoning patterns is used to provide a useful link betwee...
CADE
1994
Springer
13 years 9 months ago
1994
Springer
Even though it is not very often admitted, partial functions do play a significant role in many practical applications of deduction systems. Kleene has already given a semantic acc...
LICS
2007
IEEE
13 years 11 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...
POPL
2006
ACM
14 years 5 months ago
2006
ACM
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...