Knowledge Extraction with Interval Temporal Logic Decision Trees.
Guido SciaviccoIonel Eduard StanPublished in: CoRR (2023)
Keyphrases
- knowledge extraction
- temporal logic
- decision trees
- model checking
- modal logic
- textual documents
- data mining
- concurrent systems
- satisfiability problem
- medical databases
- knowledge discovery
- belief revision
- verification method
- mazurkiewicz traces
- temporal knowledge
- rule induction
- automata theoretic
- computation tree logic
- bounded model checking
- machine learning
- rule sets
- temporally extended
- formal specification language
- search space
- reinforcement learning
- symbolic model checking
- np complete
- transition systems
- linear temporal logic
- model checker
- dynamic systems
- data sets