Approximation Fixpoint Theory for Non-Deterministic Operators and Its Application in Disjunctive Logic Programming

    Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic

    Description

    Talk given at the Department of Logic and Computation, TU Wien.
    Period21 Jul 2022
    Held atTU Wien, Austria