Temporal logic programs with variables

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

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

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

Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal, Martin Dieguez. Temporal logic programs with variables. TPLP, 2017. ⟨hal-01892919⟩