2432 search results - page 381 / 487 » Cryptographic logical relations |
113
click to vote
SYNTHESE
2010
15 years 2 months ago
2010
This paper concentrates on some aspects of the history of the analytic-synthetic distinction from Kant to Bolzano and Frege. This history evinces considerable continuity but also ...
218
click to vote
ICAI
2010
15 years 2 months ago
2010
BousiProlog is a fuzzy logic programming language which is an extension of the standard Prolog language. The BousiProlog operational semantics is an adaptation of the SLD resoluti...
140
click to vote
DLOG
2009
15 years 2 months ago
2009
We report on event recognition within the life logging application IYOUIT for the automatic creation of static diary-like Blogs. Based on the qualitative context histories produced...
145
click to vote
DLOG
2009
15 years 2 months ago
2009
We present a novel reasoning procedure for Horn SHIQ ontologies--SHIQ ontologies that can be translated to the Horn fragment of first-order logic. In contrast to traditional reaso...
154
click to vote
FAC
2010
15 years 1 months ago
2010
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...