When Michael Gelfond and Vladimir Lifschitz published their seminal paper on the stable model semantics back in 1988, their work was quickly recognised as the first general, satisfactory solution for interpreting default negation in logic programming.
展开▼