Home

Teodor__Przymusinski


On constructive negation in logic programming

The well-founded semantics coincides with the three-valued stable semantics

Three-Valued Non-Monotonic Formalisms and Semantics of Logic Programs