Sciweavers

15754 search results - page 183 / 3151
» Programs are Knowledge Bases
Sort
View
138
Voted
EKAW
1999
Springer
15 years 8 months ago
Formally Verifying Dynamic Properties of Knowledge Based Systems
Abstract. In this paper we study dynamic properties of knowledge-based systems. We argue the importance of such dynamic properties for the construction and analysis of knowledge-ba...
Perry Groot, Annette ten Teije, Frank van Harmelen
IDA
1999
Springer
15 years 8 months ago
Knowledge-Based Visualization to Support Spatial Data Mining
Data mining methods are designed for revealing significant relationships and regularities in data collections. Regarding spatially referenced data, analysis by means of data minin...
Gennady L. Andrienko, Natalia V. Andrienko
KES
1999
Springer
15 years 8 months ago
A practical approach to revising prioritized knowledge bases
Salem Benferhat, Didier Dubois, Henri Prade, Mary-...