What's in a Model? Epistemological Analysis of Logic Programming.

Marc Denecker

Browse the full KR paper archive.