34 search results - page 3 / 7 » Incremental Reasoning for Multiple Inheritance |
SIGMOD
1999
ACM
13 years 10 months ago
1999
ACM
It is envisaged that the application of the multilevel security (MLS) scheme will enhance exibility and e ectiveness of authorization policies in shared enterprise databases and w...
FSKD
2011
Springer
12 years 5 months ago
2011
Springer
—This paper describes a model of a hierarchical, heterogeneous knowledge-base. The proposed model consists of an associative level that is implemented by a Kanerva-like sparse di...
LPNMR
2005
Springer
13 years 11 months ago
2005
Springer
The paper presents DLV+ a Disjunctive Logic Programming system with object-oriented constructs, including classes, objects, (multiple) inheritance, and types. DLV+ is built on top ...
PERCOM
2010
ACM
13 years 4 months ago
2010
ACM
Context-aware pervasive systems are an important emerging category of software, increasingly pervading into daily life, play and work. These systems are characterized by capabilit...
GI
1997
Springer
13 years 10 months ago
1997
Springer
Object-Gofer is a small, practical extension of the functional programming language Gofer incorporating the following ideas from the object-oriented community: objects and toplevel...