De Giacomo et al. "Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals." International Joint Conference on Artificial Intelligence, 2011. doi:10.5591/978-1-57735-516-8/IJCAI11-144
Markdown
[De Giacomo et al. "Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals." International Joint Conference on Artificial Intelligence, 2011.](https://mlanthology.org/ijcai/2011/giacomo2011ijcai-efficient/) doi:10.5591/978-1-57735-516-8/IJCAI11-144
BibTeX
@inproceedings{giacomo2011ijcai-efficient,
title = {{Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals}},
author = {De Giacomo, Giuseppe and Lespérance, Yves and Levesque, Hector J.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2011},
pages = {827-832},
doi = {10.5591/978-1-57735-516-8/IJCAI11-144},
url = {https://mlanthology.org/ijcai/2011/giacomo2011ijcai-efficient/}
}