Mostrando ítems 1-6 de 1

    Answer set programming (1)
    Denotational semantics (1)
    Equilibrium logic (1)
    Forgetting (1)
    Non-monotonic reasoning (1)
    Strong equivalence (1)