Tactics for Reasoning modulo AC in Coq

Thomas Braibant Damien Pous

Published in: CoRR (2011)

Keyphrases

reasoning systems
knowledge base
formal methods
reasoning problems
knowledge representation
meta level
qualitative reasoning
reasoning tasks
causal reasoning
model based reasoning
search engine
data structure
arc consistency
automated reasoning
scientific discovery