Found: 6

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

  • 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

  • Exploring the Jungle of Intuitionistic Temporal Logics.

    Published in:
    Theory & Practice of Logic Programming, 2021, v. 21, n. 4, p. 459, doi. 10.1017/S1471068421000089
    By:
    • BOUDOU, JOSEPH;
    • DIÉGUEZ, MARTÍN;
    • FERNÁNDEZ-DUQUE, DAVID;
    • KREMER, PHILIP
    Publication type:
    Article

  • Towards Metric Temporal Answer Set Programming.

    Published in:
    Theory & Practice of Logic Programming, 2020, v. 20, n. 5, p. 783, doi. 10.1017/S1471068420000307
    By:
    • CABALAR, PEDRO;
    • DIÉGUEZ, MARTÍN;
    • SCHAUB, TORSTEN;
    • SCHUHMANN, ANNA
    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

  • An infinitary encoding of temporal equilibrium logic.

    Published in:
    Theory & Practice of Logic Programming, 2015, v. 15, n. 4/5, p. 666, doi. 10.1017/S1471068415000307
    By:
    • CABALAR, PEDRO;
    • DIÉGUEZ, MARTÍN;
    • VIDAL, CONCEPCIÓN;
    • Eiter, Thomas;
    • Toni, Francesca
    Publication type:
    Article

  • COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS.

    Published in:
    Journal of Symbolic Logic, 2022, v. 87, n. 3, p. 995, doi. 10.1017/jsl.2022.8
    By:
    • BOUDOU, JOSEPH;
    • DIÉGUEZ, MARTÍN;
    • FERNÁNDEZ-DUQUE, DAVID
    Publication type:
    Article