; TeX output 1999.06.09:1051 LfT rhtml: html:L9Dt G G cmr17Assumption7tSetsforExtendedLogicProgramslύdXQ cmr12ThomasEiter2K cmsy8,NicolaLeone2yandDarvidPearce2z4lύ l/!"V
cmbx10Abstractٜ/sK`y
cmr10Generalising`5theideasof[html:10 html:
]wedeneasimpleextensionofthenotionofunfounded
rset,calledtassumptionset,thatappliestodisjunctivelogicprogramswithstrongnega- rtion.U-W*ewshowthatassumption-freeinterpretationsofsuchextendedlogicprograms rcoincideTwithequilibriummoGdelsinthesenseof[html:13 html:
]andhencewiththeanswersetsof r[html:3 html: ,UUhtml:4 html:UV]."A r#N ff cmbx12Contentsύ rhtml:$"V
3
cmbx101lInttroYduction html:.2 rhtml:2lAssumption2Sets html:2 rhtml:3lLogical2Preliminaries html: