![]() |
@article{DBLP:journals/jlp/Poole00,
author = {David Poole},
title = {Abducing through negation as failure: stable models within
the independent choice logic},
journal = {J. Log. Program.},
volume = {44},
number = {1-3},
year = {2000},
pages = {5-35},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2003-11-27 by Michael Ley (ley@uni-trier.de)