Specifying Well-Formed Part-Whole Relations in Coq.

Richard Dapoigny Patrick Barlatier

Published in: ICCS (2014)

Keyphrases

databases
search engine
semantic relations
theorem prover
binary relations
social networks
information systems
image processing
clustering algorithm
face recognition
expert systems
automatically generated
temporal relations