Reasoning about Generalized Intervals: Horn Representability and Tractability.

Philippe Balbiani Jean-François Condotta Gérard Ligozat

Published in: TIME (2000)

Keyphrases

np hard
boolean functions
endpoints
artificial intelligence
np complete
constraint satisfaction
qualitative reasoning
formal theory
database
real time
information retrieval
computational complexity
spatial reasoning