@inproceedings{KBSG_219,
	Attachments = {http://kbsg.rwth-aachen.de/fileskbsg/ijcai11.pdf},
	Author = {Belle, Vaishak and Lakemeyer, Gerhard},
	Booktitle = {IJCAI},
	Date-Added = {2013-05-09 18:21:09 -0400},
	Date-Modified = {2013-06-10 15:38:28 -0400},
	Title = {On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols},
	Url = {https://cl.ly/n2y2/download/ijcai11.pdf},
	Year = {2011},
	Bdsk-Url-1 = {http://d.pr/f/JpkB}}

{"_id":{"_str":"534212c91e2ff87b0700001d"},"__v":11,"authorIDs":["54575ce32abc8e9f37000307","545792562abc8e9f37000523","5da9a083452932db010000be","5e3902b8dc5b8ade010000a6","5e60e839839e59df010000ed","vsrgwisAvsx5co5Zd"],"author_short":["Belle, V.","Lakemeyer, G."],"bibbaseid":"belle-lakemeyer-onprogressionandqueryevaluationinfirstorderknowledgebaseswithfunctionsymbols-2011","bibdata":{"bibtype":"inproceedings","type":"inproceedings","attachments":"http://kbsg.rwth-aachen.de/fileskbsg/ijcai11.pdf","author":[{"propositions":[],"lastnames":["Belle"],"firstnames":["Vaishak"],"suffixes":[]},{"propositions":[],"lastnames":["Lakemeyer"],"firstnames":["Gerhard"],"suffixes":[]}],"booktitle":"IJCAI","date-added":"2013-05-09 18:21:09 -0400","date-modified":"2013-06-10 15:38:28 -0400","title":"On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols","url":"https://cl.ly/n2y2/download/ijcai11.pdf","year":"2011","bdsk-url-1":"http://d.pr/f/JpkB","bibtex":"@inproceedings{KBSG_219,\n\tAttachments = {http://kbsg.rwth-aachen.de/fileskbsg/ijcai11.pdf},\n\tAuthor = {Belle, Vaishak and Lakemeyer, Gerhard},\n\tBooktitle = {IJCAI},\n\tDate-Added = {2013-05-09 18:21:09 -0400},\n\tDate-Modified = {2013-06-10 15:38:28 -0400},\n\tTitle = {On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols},\n\tUrl = {https://cl.ly/n2y2/download/ijcai11.pdf},\n\tYear = {2011},\n\tBdsk-Url-1 = {http://d.pr/f/JpkB}}\n\n","author_short":["Belle, V.","Lakemeyer, G."],"key":"KBSG_219","id":"KBSG_219","bibbaseid":"belle-lakemeyer-onprogressionandqueryevaluationinfirstorderknowledgebaseswithfunctionsymbols-2011","role":"author","urls":{"Paper":"https://cl.ly/n2y2/download/ijcai11.pdf"},"metadata":{"authorlinks":{"belle, v":"https://vaishakbelle.com/papers"}},"downloads":12},"bibtype":"inproceedings","biburl":"https://dl.dropboxusercontent.com/s/jwpnfg9gs3q2698/web.bib","downloads":12,"keywords":[],"search_terms":["progression","query","evaluation","first","order","knowledge","bases","function","symbols","belle","lakemeyer"],"title":"On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols","year":2011,"dataSources":["2LLKDfkxMDdABm58M","r9FAaXnZMktuR9SCv","ayruv4JDJNMLz7ieC","vAo9zFmkx4MpPsgha","dqRQPSg6Hy3ZXQg7z","o8SJynH3ZqhBLq3sp","qb6u34NNzEHCho66A","7PCTuJcihysb7xARD"]}