431 search results - page 15 / 87 » R-calculus: A Logical Approach for Knowledge Base Maintenanc... |
AAAI
1994
13 years 10 months ago
1994
In this paper we consider updates that are specified as rules and consider simple knowledge bases consisting of ground atoms. We present a translation of the rule based update spe...
CAISE
2003
Springer
14 years 1 months ago
2003
Springer
Data Warehouse logical design involves the definition of structures that enable an efficient access to information. The designer builds relational or multidimensional structures ta...
ISMDA
2003
Springer
14 years 1 months ago
2003
Springer
Knowledge acquisition and maintenance in medical domains with a large application domain ontology is a difficult task. To reduce knowledge elicitation costs, semi-automatic learni...
ECAI
2000
Springer
14 years 1 months ago
2000
Springer
Knowledge-based systems (KBS) are not necessarily based on well-defined ontologies. In particular it is possible to build KBS for classification problems, where there is little con...
PST
2004
13 years 10 months ago
2004
In this paper we present a new approach to stateful intrusion detection. It is based on a temporal logic which has the capability to express temporary properties, which are propert...