## Logic Programming and Negation: A Survey (1994)

### Cached

### Download Links

- [www.cwi.nl]
- [www.cwi.nl]
- [pikas.inf.tu-dresden.de]
- [ftp.ms.uky.edu]
- DBLP

### Other Repositories/Bibliography

by
Krzysztof R. Apt
,
Roland Bol

Venue: | JOURNAL OF LOGIC PROGRAMMING |

Citations: | 242 - 8 self |

### BibTeX

@ARTICLE{Apt94logicprogramming,

author = {Krzysztof R. Apt and Roland Bol},

title = {Logic Programming and Negation: A Survey},

journal = {JOURNAL OF LOGIC PROGRAMMING},

year = {1994},

volume = {19},

pages = {9--71}

}

### Years of Citing Articles

### OpenURL

### Abstract

We survey here various approaches which were proposed to incorporate negation in logic programs. We concentrate on the proof-theoretic and model-theoretic issues and the relationships between them.