Publication | Closed Access

Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation

EngineeringAutomated ReasoningAnswer Set ProgrammingNonmonotonic LogicDisjunctive Stable ModelsFormal MethodsWell-founded SemanticsComputer Science