Temporal equilibrium logic: a survey.

Felicidad Aguado (1) , Pedro Cabalar (1) , Martin Dieguez (2, 3, 4, 5, 1) , Gilberto Pérez (1) , Concepción Vidal (1)

1 Universidade da Coruña
2 Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
3 ENIB - École Nationale d'Ingénieurs de Brest
4 IRIT-LILaC - Logique, Interaction, Langue et Calcul
5 CERV - Centre Européen de Réalité Virtuelle

Domaines: Logique [math.LO]; Intelligence artificielle [cs.AI]; Logique en informatique [cs.LO]

Felicidad Aguado, Pedro Cabalar, Martin Dieguez, Gilberto Pérez, Concepción Vidal. Temporal equilibrium logic: a survey.. Journal of Applied Non-Classical Logics, 2013. ⟨hal-01892985⟩