Suchergebnisse - "Logic Programming Update"

Default Negation as Explicit Negation plus Update von Kahle, Reinhard

“…  We argue that under the stable model semantics default negation can be read as explicit negation with update. We show that dynamic logic programming which is …”
Volltext