Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals

@inproceedings{Giacomo2011EfficientRI,
  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}
}
This work develops an approach to efficient reasoning in first-order knowledge bases with incomplete information. We build on Levesque’s proper knowledge bases approach, which supports limited incomplete knowledge in the form of a possibly infinite set of positive or negative ground facts. We propose a generalization which allows these facts to involve… CONTINUE READING