Login / Signup
Ground Associative and Commutative Completion Modulo Shostak Theories.
Sylvain Conchon
Evelyne Contejean
Mohamed Iguernelala
Published in:
LPAR short papers(Yogyakarta) (2010)
Keyphrases
</>
theoretical framework
data sets
computer vision
special case
computational models
causal reasoning
definite clause
database
decision making
data structure
cognitive psychology
spreading activation
flight path