Integration of Equality Reasoning into the Disconnection Calculus.

Reinhold Letz Gernot Stenz

Published in: TABLEAUX (2002)

Keyphrases

knowledge base
knowledge processing
qualitative spatial reasoning
database query languages
neural network
approximate reasoning
databases
artificial intelligence
reasoning systems