Attardi and Simi. "Consistency and Completeness of OMEGA, a Logic for Knowledge Representation." International Joint Conference on Artificial Intelligence, 1981.
Markdown
[Attardi and Simi. "Consistency and Completeness of OMEGA, a Logic for Knowledge Representation." International Joint Conference on Artificial Intelligence, 1981.](https://mlanthology.org/ijcai/1981/attardi1981ijcai-consistency/)
BibTeX
@inproceedings{attardi1981ijcai-consistency,
title = {{Consistency and Completeness of OMEGA, a Logic for Knowledge Representation}},
author = {Attardi, Giuseppe and Simi, Maria},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1981},
pages = {504-510},
url = {https://mlanthology.org/ijcai/1981/attardi1981ijcai-consistency/}
}