Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Jonker, C.M.
Volume
Title
91
Implicit and explicit negation in logic programming
Jonker, C.M.
74
A tractable algorithm for the wellfounded model
Jonker, C.M.
|
Renardel de Lavalette, G.R.
65
On the semantics of conflict resolution in truth maintenance systems
Jonker, C.M.
Online