Erratum to A framed temporal logic programming language.
Zhen-Hua DuanPublished in: J. Comput. Sci. Technol. (2004)
Keyphrases
- logic programming language
- logic programming
- constraint logic programming
- inference rules
- situation calculus
- temporal reasoning
- temporal information
- declarative semantics
- spatio temporal
- temporal constraints
- spatial and temporal
- logic programs
- nonmonotonic reasoning
- artificial intelligence
- computational complexity
- data model