Implementation of Temporal Logic Programming Language Tokio.
Shinji KonoT. AoyagiMasahiro FujitaHidehiko TanakaPublished in: LP (1985)
Keyphrases
- logic programming language
- constraint logic programming
- logic programming
- spatio temporal
- spatial and temporal
- inference rules
- temporal reasoning
- temporal information
- databases
- general purpose
- temporal patterns
- programming language
- knowledge representation
- temporal constraints
- data model
- constraint solving
- training data
- artificial intelligence