Found: 2

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

  • FOLASP : FO(·) as Input Language for Answer Set Solvers.

    Published in:
    Theory & Practice of Logic Programming, 2021, v. 21, n. 6, p. 785, doi. 10.1017/S1471068421000351
    By:
    • VAN DESSEL, KYLIAN;
    • DEVRIENDT, JO;
    • VENNEKENS, JOOST
    Publication type:
    Article

  • On local domain symmetry for model expansion.

    Published in:
    Theory & Practice of Logic Programming, 2016, v. 16, n. 5/6, p. 636, doi. 10.1017/S1471068416000508
    By:
    • DEVRIENDT, JO;
    • BOGAERTS, BART;
    • BRUYNOOGHE, MAURICE;
    • DENECKER, MARC;
    • Carro, Manuel;
    • King, Andy
    Publication type:
    Article