A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases. Liu, Y. & Levesque, H. In Proc. IJCAI-03, pages 83–88, Acapulco, Mexico, August, 2003. Paper bibtex 1 download @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}
}
Downloads: 1
{"_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"]}