Temporal Annotated Constraint Logic Programming with Multiple Theories.

Paolo Mancarella Alessandra Raffaetà Franco Turini

Published in: DEXA Workshop (1999)

Keyphrases

constraint logic programming
constraint solving
temporal reasoning
logic programming
proof theoretic
data mining
temporal information
artificial intelligence
image sequences
spatio temporal
special case
constraint programming
answer set programming
constraint propagation
temporal data