Reasoning About Temporal Context Using Ontology and Abductive Constraint Logic Programming.
Hongwei ZhuStuart E. MadnickMichael D. SiegelPublished in: PPSWR (2004)
Keyphrases
- constraint logic programming
- temporal context
- constraint solving
- temporal information
- spatial context
- logic programming
- temporal reasoning
- answer set programming
- knowledge representation
- audio visual
- constraint programming
- domain knowledge
- global constraints
- spatio temporal
- constraint propagation
- knowledge base
- semantic information
- machine learning
- spatial information
- answer sets
- contextual information
- general purpose
- expert systems
- search algorithm