Temporal Reasoning with Abductive Logic Programming.
Renwei LiLuís Moniz PereiraPublished in: ECAI (1996)
Keyphrases
- temporal reasoning
- abductive logic programming
- logic programs
- temporal constraints
- temporal information
- qualitative and quantitative
- logic programming
- reasoning tasks
- temporal knowledge
- constraint networks
- path consistency
- temporal constraint networks
- proof procedure
- interval algebra
- answer sets
- answer set programming
- fixpoint
- expressive power