Soft Typing for Ordered Resolution.

Harald Ganzinger Christoph Meyer Christoph Weidenbach

Published in: CADE (1997)

Keyphrases

high resolution
low resolution
artificial intelligence
knowledge base
user defined
conflict detection
databases
real world
special case
wireless sensor networks
error rate
partially ordered