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: | 216 - 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
Bookmark
 |
 |
 |
 |
 |
 |
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.
