138 search results - page 17 / 28 » DATALOG with Nested Rules |
FUIN
2002
14 years 11 months ago
2002
Abstract. In the paper we deal with the problem of modeling and querying information in schemaless databases of partially labeled objects (PLO-DB). Partially labeled objects are us...
SP
2002
IEEE
14 years 11 months ago
2002
IEEE
We introduce the RT framework, a family of Rolebased Trust-management languages for representing policies and credentials in distributed authorization. RT combines the strengths o...
104
click to vote
AAAI
2011
13 years 11 months ago
2011
A general game player automatically learns to play arbitrary new games solely by being told their rules. For this purpose games are specified in the game description language GDL...
TPHOL
2002
IEEE
15 years 4 months ago
2002
IEEE
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...
84
Voted
EUSFLAT
2003
15 years 1 months ago
2003
Functional laws may be known only at a finite number of points, and then the function can be completed by interpolation techniques obeying some smoothness conditions. We rather pr...