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