On Constructive Negation in Logic Programming (1995)
by
Teodor Przymusinski
| Venue: | In North American Conference on Logic Programming |
| Citations: | 24 - 3 self |
BibTeX
@INPROCEEDINGS{Przymusinski95onconstructive,
author = {Teodor Przymusinski},
title = {On Constructive Negation in Logic Programming},
booktitle = {In North American Conference on Logic Programming},
year = {1995},
pages = {page},
publisher = {MIT Press}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
this paper we significantly extend Chan's approach and provide it with a more thorough theoretical foundation.
