A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL.

Yongjian Li William N. N. Hung Xiaoyu Song

Published in: Theor. Comput. Sci. (2011)

Keyphrases

theorem prover
natural deduction
formal semantics
higher order logic
operational semantics
inference rules
logical language
evaluation methods
evaluation criteria
trajectories of moving objects
theorem proving
data sets
trajectory data
evaluation metrics
multi agent systems
database systems
machine learning