2672 search results - page 399 / 535 » Hybridizing Concept Languages |
AAAI
2000
13 years 10 months ago
2000
In this paper, we analyse a concept of total knowledge based on the idea that an agent's total knowledge is the strongest proposition the agent knows. We propose semantics fo...
AAAI
2000
13 years 10 months ago
2000
We analyze the complexity of propositional kernel resolution (del Val 1999), a general method for obtaining logical consequences in restricted target languages. Different choices ...
GVD
2000
13 years 10 months ago
2000
In this paper we propose a meta-modeling approach to adaptive knowledge management. It extends previous work by introducing an application-specific layer which allows to specify m...
IWFM
2000
13 years 10 months ago
2000
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
LMO
2000
13 years 10 months ago
2000
The development of flexible and reusable concurrent object-oriented programming ions has suffered from the inherent problem that reusability and extensibility is limited due to pos...