What’s in a model? Epistemological analysis of logic programming (2004)

by M Denecker
Venue:Proceedings of the 9th International Conference on PrinICLP 2012 A Tarskian Informal Semantics for ASP ciples of Knowledge Representation and Reasoning