Nominal Reasoning Techniques in Coq: (Extended Abstract).

Brian E. Aydemir Aaron Bohannon Stephanie Weirich

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

extended abstract
knowledge base
formal methods
reasoning systems
knowledge representation
theorem prover
model based reasoning
fuzzy description logics
search engine
real time
spatial reasoning
meta level
reasoning engine
resource bounded
probabilistic logic
default reasoning
machine learning
neural network