On treating negation within XSB (and upon extending XSB programming with a form of logical negation, and its relations to existing varieties of logic programming).
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/asp/HalcombP01
%A Halcomb, Jay
%A Pease, Adam
%B Answer Set Programming
%D 2001
%E Provetti, Alessandro
%E Son, Tran Cao
%K dblp
%T On treating negation within XSB (and upon extending XSB programming with a form of logical negation, and its relations to existing varieties of logic programming).
%U http://dblp.uni-trier.de/db/conf/asp/asp2001.html#HalcombP01
@inproceedings{conf/asp/HalcombP01,
added-at = {2020-03-12T00:00:00.000+0100},
author = {Halcomb, Jay and Pease, Adam},
biburl = {https://www.bibsonomy.org/bibtex/2073994a28ce36aeda3716c4aba77b7e3/dblp},
booktitle = {Answer Set Programming},
crossref = {conf/asp/2001},
editor = {Provetti, Alessandro and Son, Tran Cao},
ee = {http://www.cs.nmsu.edu/~tson/ASP2001/32.ps},
interhash = {766d485b71778dde32166e7fbebebfdc},
intrahash = {073994a28ce36aeda3716c4aba77b7e3},
keywords = {dblp},
timestamp = {2020-03-13T12:40:56.000+0100},
title = {On treating negation within XSB (and upon extending XSB programming with a form of logical negation, and its relations to existing varieties of logic programming).},
url = {http://dblp.uni-trier.de/db/conf/asp/asp2001.html#HalcombP01},
year = 2001
}
