Qualitative Spatial and Temporal Reasoning in Cardiac Electrophysiology.

Jim Hunter Nick Gotts Ian Hamlet Ian K. Kirby

Published in: AIME (1989)

Keyphrases

qualitative spatial and temporal reasoning
answer set programming
constraint satisfaction problems
constraint networks
point algebra
interval algebra
logic programs
image sequences
computational complexity
logic programming
temporal reasoning