Reasoning About Connectors in Coq.

Xiyue Zhang Weijiang Hong Yi Li Meng Sun

Published in: FACS (2016)

Keyphrases

formal methods
formal theory
theorem prover
spatial reasoning
qualitative reasoning
real world
information retrieval
artificial intelligence
search algorithm
lower bound
special case
knowledge representation
model checking
temporal logic