Keyphrases
- knowledge engineering
- deductive databases
- logic programming
- integrity constraints
- expert systems
- knowledge acquisition
- knowledge representation
- knowledge elicitation
- domain knowledge
- fixpoint
- semantic query optimization
- disjunctive deductive databases
- case based reasoning
- integrity checking
- query evaluation
- knowledge management
- expert knowledge
- software engineering
- artificial intelligence
- declarative semantics
- knowledge based systems
- constraint checking
- hypothetical reasoning
- model theoretic
- machine learning
- closed world assumption
- semantics of logic programs
- knowledge engineers
- relational databases
- training data
- case study
- decision trees
- metadata
- genetic algorithm
- databases