Login / Signup
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