Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals.

Giuseppe De Giacomo, Yves Lesprance, Hector J. Levesque

Browse the full IJCAI paper archive.