Classical negation in logic programs and disjunctive databases - Concepedia

Concepedia

Publication | Closed Access

Classical negation in logic programs and disjunctive databases

2.3K

Citations

16

References

1991

Year

Michael Gelfond, Vladimir Lifschitz

New Generation Computing

Non-classical LogicEngineeringAutomated ReasoningNonmonotonic LogicFormal MethodsComputer ScienceClassical NegationSemanticsLogic Programming

References

	Year	Citations

Page 1