[ ILPnet2 | Library | Newsletter | CSCW | Education | End-User Club | Events | Nodes | Systems | Applications | Members only ]
OI-implication: Soundness and refutation completeness
F. Esposito,
N. Fanizzi,
S. Ferilli,
and G. Semeraro.
In B. Nebel, editor, Proceedings of the 17th International Joint Conference
on Artificial Intelligence, pages 847--852. Morgan Kaufmann, August
2001.
BibTeX entry.
Other publications
ILPnet2 librarian,
ilpnet2-lib@cs.bris.ac.uk. Last modified on Wednesday 9 April 2003 at 18:31. © 2003 ILPnet2