A Coq-Based Axiomatization of Tarski's Mereogeometry.

Richard Dapoigny Patrick Barlatier

Published in: COSIT (2015)

Keyphrases

formal methods
situation calculus
general theory
theorem prover
complete axiomatization
artificial intelligence
computer vision
expert systems
upper bound
open source
multi dimensional
decision makers