Author/Creator: AGUADO, FELICIDAD - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator AGUADO, FELICIDAD

1. A denotational semantics for equilibrium logic*. Issue 4 (3rd September 2015)

Authors:: AGUADO, FELICIDAD; CABALAR, PEDRO; PEARCE, DAVID; PÉREZ, GILBERTO; VIDAL, CONCEPCIÓN
Editors:: Eiter, Thomas; Toni, Francesca
Journal:: Theory and practice of logic programming
Issue:: Volume 15:Issue 4/5(2015)
Page Start:: 620
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Revisiting Explicit Negation in Answer Set Programming. Issue 5 (September 2019)

Authors:: AGUADO, FELICIDAD; CABALAR, PEDRO; FANDINNO, JORGE; PEARCE, DAVID; PÉREZ, GILBERTO; VIDAL, CONCEPCIÓN
Journal:: Theory and practice of logic programming
Issue:: Volume 19:Issue 5/6(2019)
Page Start:: 908
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Temporal logic programs with variables*. Issue 2 (11th November 2016)

Authors:: AGUADO, FELICIDAD; CABALAR, PEDRO; PÉREZ, GILBERTO; VIDAL, CONCEPCIÓN; DIÉGUEZ, MARTÍN
Journal:: Theory and practice of logic programming
Issue:: Volume 17:Issue 2(2017)
Page Start:: 226
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗