Found: 4

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

  • CLP(H): Constraint logic programming for hedges.

    Published in:
    Theory & Practice of Logic Programming, 2016, v. 16, n. 2, p. 141, doi. 10.1017/S1471068415000071
    By:
    • DUNDUA, BESIK;
    • FLORIDO, MÁRIO;
    • KUTSIA, TEMUR;
    • MARIN, MIRCEA
    Publication type:
    Article

  • AC-KBO revisited.

    Published in:
    Theory & Practice of Logic Programming, 2016, v. 16, n. 2, p. 163, doi. 10.1017/S1471068415000083
    By:
    • YAMADA, AKIHISA;
    • WINKLER, SARAH;
    • HIROKAWA, NAO;
    • MIDDELDORP, AART
    Publication type:
    Article

  • Modular action language ${\mathcal ALM}$.

    Published in:
    Theory & Practice of Logic Programming, 2016, v. 16, n. 2, p. 189, doi. 10.1017/S1471068415000095
    By:
    • INCLEZAN, DANIELA;
    • GELFOND, MICHAEL
    Publication type:
    Article

  • All about Proofs, Proofs for All.

    Published in:
    2016
    By:
    • Marek, Victor W.
    Publication type:
    Book Review