3994 search results - page 239 / 799 » A Linear Logical Framework |
183
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
We propose a language that allows agents to distribute data with usage policies in a decentralized architecture. In our framework, the compliance with usage policies is not enforce...
188
click to vote
ASP
2001
Springer
15 years 11 months ago
2001
Springer
Default Logic and Logic Programming with stable model semantics are recognized as powerful frameworks for incomplete information representation. Their expressive power are suitabl...
169
click to vote
CADE
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
169
click to vote
EDBT
1998
ACM
15 years 11 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...
168
click to vote
LOPSTR
1994
Springer
15 years 10 months ago
1994
Springer
A technique for transformation of definite logic programs is presented. A first phase performs an analysis of the extended call/exit patterns of the source program. It is shown tha...