Correction: Towards Formalising Schutz' Axioms for Minkowski Spacetime in Isabelle/HOL.
Richard SchmoettenJake E. PalmerJacques D. FleuriotPublished in: J. Autom. Reason. (2023)
Keyphrases
- space time
- theorem prover
- first order logic
- natural deduction
- inference rules
- theorem proving
- spatio temporal
- spatial and temporal
- video sequences
- dynamic scenes
- higher order logic
- knowledge base
- physically plausible
- knn
- mathematical morphology
- motion patterns
- distance metric
- knowledge representation
- dynamic textures
- structured light
- video camera
- error detection
- cut elimination
- artificial intelligence