What's in a Model? Epistemological analysis of Logic Programming (2003)

by Marc Denecker
Venue:Ceur-WS
Citations:8 - 3 self