A Formally Verified HOL4 Algebra for Event Trees.
Mohamed AbdelghanyWaqar AhmadSofiène TaharPublished in: CoRR (2020)
Keyphrases
- event detection
- decision trees
- data model
- query language
- tree construction
- tree structure
- event recognition
- theorem prover
- formal methods
- tree models
- event driven
- algebraic expressions
- news articles
- soccer video
- set theory
- knowledge representation
- neural network
- boolean algebra
- algebraic operations
- labeled trees
- higher order logic
- databases