@InProceedings{Liu03,
  Title                    = {A Tractability Result for Reasoning with Incomplete
 First-Order Knowledge Bases},
  Author                   = {Liu, Yongmei and Levesque, Hector},
  Booktitle                = {Proc. IJCAI-03},
  Year                     = {2003},

  Address                  = {Acapulco, Mexico},
  Month                    = {August},
  Pages                    = {83--88},

  File                     = {liu03trac.ps:http\://www.cs.toronto.edu/cogrobo/Papers/liu03trac.ps:PostScript},
  Key                      = {CogRobo},
  Timestamp                = {2018.09.23},
  Url                      = {liu03trac.pdf}
}

{"_id":{"_str":"53422950efd74afa0900002e"},"__v":117,"authorIDs":["545aa113b43425b77200103d","546374f34f4818cf4f0002ba","5e3902f4dc5b8ade010000a9","RmQT3J2e7NKqkbbbe","w4t3wcFdcECFD2TSt"],"author_short":["Liu, Y.","Levesque, H."],"bibbaseid":"liu-levesque-atractabilityresultforreasoningwithincompletefirstorderknowledgebases-2003","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases","author":[{"propositions":[],"lastnames":["Liu"],"firstnames":["Yongmei"],"suffixes":[]},{"propositions":[],"lastnames":["Levesque"],"firstnames":["Hector"],"suffixes":[]}],"booktitle":"Proc. IJCAI-03","year":"2003","address":"Acapulco, Mexico","month":"August","pages":"83–88","file":"liu03trac.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/liu03trac.ps:PostScript","key":"Liu03","timestamp":"2018.09.23","url":"liu03trac.pdf","bibtex":"@InProceedings{Liu03,\n Title = {A Tractability Result for Reasoning with Incomplete\n First-Order Knowledge Bases},\n Author = {Liu, Yongmei and Levesque, Hector},\n Booktitle = {Proc. IJCAI-03},\n Year = {2003},\n\n Address = {Acapulco, Mexico},\n Month = {August},\n Pages = {83--88},\n\n File = {liu03trac.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/liu03trac.ps:PostScript},\n Key = {CogRobo},\n Timestamp = {2018.09.23},\n Url = {liu03trac.pdf}\n}\n\n","author_short":["Liu, Y.","Levesque, H."],"id":"Liu03","bibbaseid":"liu-levesque-atractabilityresultforreasoningwithincompletefirstorderknowledgebases-2003","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/liu03trac.pdf"},"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":1,"keywords":[],"search_terms":["tractability","result","reasoning","incomplete","first","order","knowledge","bases","liu","levesque"],"title":"A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases","year":2003,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}