959 search results - page 32 / 192 » Transfers between Logics and their Applications |
114
click to vote
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
In this work we further investigate the relation, first found by Truszczy´nski, between modal logic S4F and Default Logic (DL), analyzing some interesting properties and showing ...
121
click to vote
WISTP
2010
Springer
15 years 9 months ago
2010
Springer
Protocols for bootstrapping security in ad hoc mobile device interactions rely on users’ ability to perform specific tasks such as transferring or comparing fingerprints of inf...
114
click to vote
AMAI
2008
Springer
15 years 2 months ago
2008
Springer
In a previous paper [BMR01], the authors showed that the mechanism underlying Logic Programming can be extended to handle the situation where the atoms are interpreted as subsets o...
143
click to vote
ENTCS
2006
15 years 1 months ago
2006
Separation logic [20,21,14] began life as an extended formalisation of Burstall's treatment of list-mutating programs [8]. It rapidly became clear that there was more that it...
140
click to vote
APNOMS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. The Next Generation Network (NGN) has a multilayer logical construction. Network carriers use various tools in complex procedures to operate application servers on the NG...