An infinitary encoding of temporal equilibrium logic.
Pedro CabalarMartín DiéguezConcepción VidalPublished in: Theory Pract. Log. Program. (2015)
Keyphrases
- temporal constraints
- spatio temporal
- temporal information
- temporal data
- temporal reasoning
- information systems
- temporal evolution
- reinforcement learning
- spatial and temporal
- temporal ordering
- temporal behavior
- temporal relationships
- temporal databases
- real time
- multiresolution
- website
- computer vision
- information retrieval
- data mining