6 search results - page 1 / 2 » Combining Hilbert Style and Semantic Reasoning in a Resoluti... |
CADE
1998
Springer
14 years 3 months ago
1998
Springer
Proceedings of CADE-15, LNAI 1421, pp. 205
DALT
2007
Springer
14 years 20 days 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
14 years 3 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
14 years 5 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 11 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 ...