Home

Nicola__Leone


Disjunctive stable models: Unfounded sets, fixpoint semantics and computation

The DLV System for Knowledge Representation and Reasoning