Highly Influenced

# Stratified , Weak Stratified , and Three-valued Semantics ∗

@inproceedings{BenJacob1999StratifiedW, title={Stratified , Weak Stratified , and Three-valued Semantics ∗}, author={Marion G. Ben-Jacob}, year={1999} }

- Published 1999

We investigate the relationship between three-valued Kripke/Kleene semantics and stratified semantics for stratifiable logic programs. We first show these are compatible, in the sense that if the three-valued semantics assigns a classical truth value, the stratified approach will assign the same value. Next, the familiar fixed point semantics for pure Horn clause programs gives both smallest and biggest fixed points fundamental roles. We show how to extend this idea to the family of… CONTINUE READING