Towards a systematic approach to representing knowledge in declarative logic programming (INVITED TALK)

Gelfond, M. (1997). Towards a systematic approach to representing knowledge in declarative logic programming (INVITED TALK). In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1265, pp. 222–223). Springer Verlag. https://doi.org/10.1007/3-540-63255-7_17