A Combination of Explicit and Deductive Knowledge with Branching Time: Completeness and Decidability Results.
Alessio LomuscioBozena WoznaPublished in: DALT (2005)
Keyphrases
- domain knowledge
- knowledge base
- knowledge acquisition
- expert systems
- knowledge extraction
- knowledge discovery
- domain experts
- knowledge management
- knowledge sources
- knowledge transfer
- background knowledge
- higher level
- explicit knowledge
- explicitly represented
- object oriented
- case based reasoning
- knowledge representation
- prior knowledge
- deductive reasoning
- temporal logic
- databases
- query answering
- knowledge sharing
- model checking
- data mining techniques
- domain specific
- artificial intelligence