On Negation in HiLog

The logic HiLog of Chen, Kifer and Warren has a second order syntax, while its semantics is rst order. HiLog programs with negative literals in the body are considered. A stable model semantics and a well-founded semantics for this class of programs are de ned, and it is shown that these semantics generalize the stable model semantics and the well-founded… CONTINUE READING

Topic