A linear semantics for allowed logic programs
- 4 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- A sound and complete semantics for a version of negation as failureTheoretical Computer Science, 1989
- Foundations of Logic ProgrammingPublished by Springer Nature ,1987
- Negation as failure. IIThe Journal of Logic Programming, 1985
- A basis for deductive database systemsThe Journal of Logic Programming, 1985
- Negation as FailurePublished by Springer Nature ,1978