@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}
}

{"_id":{"_str":"5342b4520e946d920a00331f"},"__v":29,"authorIDs":["54573f5f2abc8e9f37000208","545aa113b43425b77200103d","5e3902d7dc5b8ade010000a8","5e3902f4dc5b8ade010000a9","7i58WkympYMAymedx","HKYWGwQsWsEQeD2pP","RmQT3J2e7NKqkbbbe","yqCMzqTg8XXdRCHgn"],"author_short":["Giacomo, G. D.","Lespérance, Y.","Levesque, H. J."],"bibbaseid":"giacomo-lesprance-levesque-efficientreasoninginproperknowledgebaseswithunknownindividuals-2011","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals","author":[{"firstnames":["Giuseppe","De"],"propositions":[],"lastnames":["Giacomo"],"suffixes":[]},{"firstnames":["Yves"],"propositions":[],"lastnames":["Lespérance"],"suffixes":[]},{"firstnames":["Hector","J."],"propositions":[],"lastnames":["Levesque"],"suffixes":[]}],"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","bibtex":"@InProceedings{DBLP:conf/ijcai/GiacomoLL11,\n Title = {Efficient Reasoning in Proper Knowledge Bases with Unknown\n Individuals},\n Author = {Giuseppe De Giacomo and\n Yves Lesp{\\'e}rance and\n Hector J. Levesque},\n Booktitle = {IJCAI},\n Year = {2011},\n Pages = {827-832},\n\n Bibsource = {DBLP, http://dblp.uni-trier.de},\n Ee = {http://ijcai.org/papers11/Papers/IJCAI11-144.pdf},\n Timestamp = {2018.09.23}\n}\n\n","author_short":["Giacomo, G. D.","Lespérance, Y.","Levesque, H. J."],"key":"DBLP:conf/ijcai/GiacomoLL11","id":"DBLP:conf/ijcai/GiacomoLL11","bibbaseid":"giacomo-lesprance-levesque-efficientreasoninginproperknowledgebaseswithunknownindividuals-2011","role":"author","urls":{"Link":"http://ijcai.org/papers11/Papers/IJCAI11-144.pdf"},"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":1,"keywords":[],"search_terms":["efficient","reasoning","proper","knowledge","bases","unknown","individuals","giacomo","lespérance","levesque"],"title":"Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals","year":2011,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","nYZATui8QfoZTWDxh","vAo9zFmkx4MpPsgha"]}