Local Reasoning and Knowledge Compilation for Efficient Temporal Abduction.
Luca ConsolePaolo TerenzianiDaniele Theseider DupréPublished in: IEEE Trans. Knowl. Data Eng. (2002)
Keyphrases
- knowledge compilation
- logical inference
- product configuration
- model based reasoning
- reasoning tasks
- prime implicates
- abductive reasoning
- knowledge representation
- temporal reasoning
- data mining
- temporal information
- logic programming
- case based reasoning
- temporal constraints
- description logics
- relational databases
- machine learning