Fitting, M. (1991), Well-Founded Semantics Generalized, in "Logic Programming, Proc. of the 1991 International Symposium," V. Saraswat and K. Ueda (eds.), pp. 71--84, MIT Press, Cambridge, MA.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....equivalent to 3 valued extensions of all four major formalisms for non monotonic reasoning. Among a number of results established in that paper is the interesting byproduct an extension of the principle of well founded semantics of logic programs into a full fledged 3 valued AE logic. Fitting [Fi 91] is another example where the range of applicability of well founded semantics for logic programs has been successfully extended to a rich class of logics. Examples of other works that have strengthened the NMR LP interplay are Marek and Subrahmanian [MS 89] Baral and Subrahmanian [BS 91] Marek ....

....stable models in the framework of Kripke models, whereas [La 92] followed an approach based on (3 valued) partial models. than WFS. Using the notion of a bilattice, he has recently extended his previous approach in a manner that extends the applicability of WFS to a rich class of logics [Fi 91] Several other researchers have considered the problem of extending SS and WFS (while avoiding their drawbacks) see Baral [Ba 91] Kakas and Mancarella [KM 91] Sacca and Zaniolo [SZ 90] and You and Li [YL 90] The relationships between our approach and these works are explored in Section 6. ....

Fitting, M.C.: "Well-founded semantics, generalized," Proc. North American Conference on Logic Programming (Oct. 1991), 71-84.

No context found.

Fitting, M. (1991), Well-Founded Semantics Generalized, in "Logic Programming, Proc. of the 1991 International Symposium," V. Saraswat and K. Ueda (eds.), pp. 71--84, MIT Press, Cambridge, MA.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC