ML Anthology

Verification of Knowledge Bases Based on Containment Checking

Alon Y. Levy, Marie-Christine Rousset
AAAI 1996 pp. 585-591
/aaai/1996/levy1996aaai-verification/
PDF AAAI Semantic Scholar

Cite

Text

Levy and Rousset. "Verification of Knowledge Bases Based on Containment Checking." AAAI Conference on Artificial Intelligence, 1996.

Markdown

[Levy and Rousset. "Verification of Knowledge Bases Based on Containment Checking." AAAI Conference on Artificial Intelligence, 1996.](https://mlanthology.org/aaai/1996/levy1996aaai-verification/)

BibTeX

@inproceedings{levy1996aaai-verification,
  title     = {{Verification of Knowledge Bases Based on Containment Checking}},
  author    = {Levy, Alon Y. and Rousset, Marie-Christine},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1996},
  pages     = {585-591},
  url       = {https://mlanthology.org/aaai/1996/levy1996aaai-verification/}
}