2432 search results - page 107 / 487 » Cryptographic logical relations |
117
Voted
TBILLC
2005
Springer
15 years 10 months ago
2005
Springer
We implement the extension of the logical consequence relation to a partial order ≤ on arbitary types built from e (entities) and t (Booleans) that was given in [1], and the deï...
134
click to vote
CAEPIA
2003
Springer
15 years 9 months ago
2003
Springer
Non-classical logics have proven to be an adequate framework to formalize knowledge representation. In this paper we focus on a multimodal approach to formalize order-of-magnitude ...
135
click to vote
EDBT
1998
ACM
15 years 8 months ago
1998
ACM
In this paper we present MD, a logical model for OLAP systems, and show how it can be used in the design of multidimensional databases. Unlike other models for multidimensional dat...
148
click to vote
AICOM
2006
15 years 4 months ago
2006
This paper presents an overview of recent systems for Inductive Logic Programming (ILP). After a short description of the two popular ILP systems FOIL and Progol, we focus on meth...
139
click to vote
IJAR
2008
15 years 4 months ago
2008
We introduce a general framework that is based on distance semantics and investigate the main properties of the entailment relations that it induces. It is shown that such entailm...