On the Epistemological foundations of Logic Programming and its Extensions (2001)

by M Denecker
Venue:In AAAI Spring Symposium on Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning, volume technical report SS-01-01. American Association for Artificial Intelligence