Constraint-Based Program Reasoning with Heaps and Separation.

Gregory J. Duck Joxan Jaffar Nicolas C. H. Koh

Published in: CP (2013)

Keyphrases

knowledge representation
data mining
reasoning systems
knowledge acquisition
constraint satisfaction
model based diagnosis
computer programs
analogical reasoning
information retrieval
artificial intelligence
information systems
website
spatial reasoning
reasoning tasks
reasoning process
fuzzy reasoning