MuTACLP: A Language for Temporal Reasoning with Multiple Theories.
Paolo BaldanPaolo MancarellaAlessandra RaffaetàFranco TuriniPublished in: Computational Logic: Logic Programming and Beyond (2002)
Keyphrases
- temporal reasoning
- temporal constraints
- temporal information
- temporal constraint networks
- qualitative and quantitative
- constraint networks
- spatial reasoning
- temporal knowledge
- event calculus
- uncertainty management
- temporal relations
- reasoning tasks
- simple temporal
- path consistency
- programming language
- image classification
- series parallel
- constraint reasoning
- constraint propagation