Knowledge Extraction with Interval Temporal Logic Decision Trees.
Guido SciaviccoIonel Eduard StanPublished in: TIME (2020)
Keyphrases
- knowledge extraction
- temporal logic
- decision trees
- model checking
- modal logic
- knowledge discovery
- satisfiability problem
- textual documents
- data mining
- medical databases
- mazurkiewicz traces
- concurrent systems
- machine learning
- data mining methods
- verification method
- computation tree logic
- belief revision
- data sets
- transition systems
- inference rules
- np complete
- rule induction
- multi agent systems
- temporal knowledge
- information retrieval
- dynamic constraints
- linear temporal logic
- temporally extended goals