1993
A characterization of stable models using a non-monotonic operator
Publication
Publication
Presented at the
International Workshop on Logic Programming and Nonmonotonic Reasoning, Lisbon
Additional Metadata | |
---|---|
MIT Press (Cambridge, MA) | |
International Workshop on Logic Programming and Nonmonotonic Reasoning | |
Teusink, F. (1993). A characterization of stable models using a non-monotonic operator. In Logic Programming and Non-monotonic Reasoning, Proceedings of the Second International Workshop (pp. 206–222). MIT Press (Cambridge, MA). |