Temporal Equilibrium Logic with past operators.

Felicidad Aguado Pedro Cabalar Martín Diéguez Gilberto Pérez Concepción Vidal

Published in: J. Appl. Non Class. Logics (2017)

Keyphrases

spatio temporal
temporal information
temporal reasoning
temporal constraints
temporal data
spatial and temporal
totally ordered
temporal queries
space time
data sets
real world
genetic algorithm
evolutionary algorithm
temporal evolution
temporal dimension
temporal analysis