A Horn Clause Theory of Inheritance and Temporal Reasoning.
Stephen G. PimentelJohn L. CuadradoPublished in: EPIA (1989)
Keyphrases
- temporal reasoning
- horn clauses
- temporal constraints
- temporal information
- spatial reasoning
- temporal constraint networks
- constraint networks
- temporal relations
- qualitative and quantitative
- reasoning tasks
- event calculus
- temporal knowledge
- object oriented
- path consistency
- series parallel
- inductive logic programming
- knowledge representation
- inference rules
- logic programs
- interval algebra