Found: 5

Select item for more details and to access through your institution.

  • A denotational semantics for equilibrium logic.

    Published in:
    Theory & Practice of Logic Programming, 2015, v. 15, n. 4/5, p. 620, doi. 10.1017/S1471068415000277
    By:
    • AGUADO, FELICIDAD;
    • CABALAR, PEDRO;
    • PEARCE, DAVID;
    • PÉREZ, GILBERTO;
    • VIDAL, CONCEPCIÓN;
    • Eiter, Thomas;
    • Toni, Francesca
    Publication type:
    Article

  • Crossover operators for permutations equivalence between position and order-based crossover.

    Published in:
    Logic Journal of the IGPL, 2011, v. 19, n. 2, p. 405, doi. 10.1093/jigpal/jzq038
    By:
    • Vidal, Concepción;
    • Pérez, Gilberto;
    • Aguado, Felicidad;
    • Molinelli, José María
    Publication type:
    Article

  • Linear-Time Temporal Answer Set Programming.

    Published in:
    Theory & Practice of Logic Programming, 2023, v. 23, n. 1, p. 2, doi. 10.1017/S1471068421000557
    By:
    • AGUADO, FELICIDAD;
    • CABALAR, PEDRO;
    • DIÉGUEZ, MARTÍN;
    • PÉREZ, GILBERTO;
    • SCHAUB, TORSTEN;
    • SCHUHMANN, ANNA;
    • VIDAL, CONCEPCIÓN
    Publication type:
    Article

  • Revisiting Explicit Negation in Answer Set Programming.

    Published in:
    Theory & Practice of Logic Programming, 2019, v. 19, n. 5/6, p. 908, doi. 10.1017/S1471068419000267
    By:
    • AGUADO, FELICIDAD;
    • CABALAR, PEDRO;
    • FANDINNO, JORGE;
    • PEARCE, DAVID;
    • PÉREZ, GILBERTO;
    • VIDAL, CONCEPCIÓN
    Publication type:
    Article

  • Temporal logic programs with variables.

    Published in:
    Theory & Practice of Logic Programming, 2017, v. 17, n. 2, p. 226, doi. 10.1017/S1471068416000570
    By:
    • AGUADO, FELICIDAD;
    • CABALAR, PEDRO;
    • PÉREZ, GILBERTO;
    • VIDAL, CONCEPCIÓN;
    • DIÉGUEZ, MARTÍN
    Publication type:
    Article