A simple fixed point characterization of three-valued stable model semantics. Research report
| Author(s) : | T. Naslund U. Nilsson S. Bonnier, |
| Publisher : | N/A |
| Publication Date : | 1990 |
| ISSN : | N/A |
| Abstract : | One of the predominating topics in the area of logic programming is to find "the right " semantics for normal programs (sometimes called general programs). Since the Herbrand base is a model of every normal program, sound derivation of, |