Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals. Giacomo, G. D., Lespérance, Y., & Levesque, H. J. In IJCAI, pages 827-832, 2011. Link bibtex 1 download @InProceedings{DBLP:conf/ijcai/GiacomoLL11,
Title = {Efficient Reasoning in Proper Knowledge Bases with Unknown
Individuals},
Author = {Giuseppe De Giacomo and
Yves Lesp{\'e}rance and
Hector J. Levesque},
Booktitle = {IJCAI},
Year = {2011},
Pages = {827-832},
Bibsource = {DBLP, http://dblp.uni-trier.de},
Ee = {http://ijcai.org/papers11/Papers/IJCAI11-144.pdf},
Timestamp = {2018.09.23}
}