Concepedia
Publication | Closed Access
Computing the extensions of autoepistemic and default logics with a truth maintenance system
46
Citations
11
References
1990
Year
S.278-283
Page 1