Towards a Systematic Approach to Representing Knowledge in Declarative Logic Programming.

Michael Gelfond

Browse the full LPNMR paper archive.