1435 search results - page 185 / 287 » Description Logics |
124
Voted
DC
2001
15 years 5 months ago
2001
This paper describes the latest version of the ABC metadata model. This model has been developed within the Harmony international digital library project to provide a common conce...
139
Voted
WM
2003
15 years 5 months ago
2003
Techniques for computation on generalized diagrams are defined and the KM implications are explored. Descriptive Computing is presented and plan computation based on world models t...
124
Voted
AAAI
1993
15 years 5 months ago
1993
This paper discusses the important issue of knowledge base comprehensibility and describes a technique for comprehensibility improvement. Comprehensibility is often measured by si...
177
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify t...
153
Voted
JSS
2010
14 years 10 months ago
2010
The formal specification of design patterns is widely recognized as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...