ML Anthology

OI-Implication: Soundness and Refutation Completeness

Floriana Esposito, Nicola Fanizzi, Stefano Ferilli, Giovanni Semeraro
IJCAI 2001 pp. 847-852
/ijcai/2001/esposito2001ijcai-oi/
Semantic Scholar

Cite

Text

Esposito et al. "OI-Implication: Soundness and Refutation Completeness." International Joint Conference on Artificial Intelligence, 2001.

Markdown

[Esposito et al. "OI-Implication: Soundness and Refutation Completeness." International Joint Conference on Artificial Intelligence, 2001.](https://mlanthology.org/ijcai/2001/esposito2001ijcai-oi/)

BibTeX

@inproceedings{esposito2001ijcai-oi,
  title     = {{OI-Implication: Soundness and Refutation Completeness}},
  author    = {Esposito, Floriana and Fanizzi, Nicola and Ferilli, Stefano and Semeraro, Giovanni},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2001},
  pages     = {847-852},
  url       = {https://mlanthology.org/ijcai/2001/esposito2001ijcai-oi/}
}