@inproceedings{DBLP:conf/ijcai/BelleL11,
  author       = {Vaishak Belle and
                  Gerhard Lakemeyer},
  editor       = {Toby Walsh},
  title        = {On Progression and Query Evaluation in First-Order Knowledge Bases
                  with Function Symbols},
  booktitle    = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
                  on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
                  2011},
  pages        = {744--749},
  publisher    = {{IJCAI/AAAI}},
  year         = {2011},
  url          = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-131},
  doi          = {10.5591/978-1-57735-516-8/IJCAI11-131},
  timestamp    = {Tue, 20 Aug 2019 16:16:04 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BelleL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_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","author":[{"firstnames":["Vaishak"],"propositions":[],"lastnames":["Belle"],"suffixes":[]},{"firstnames":["Gerhard"],"propositions":[],"lastnames":["Lakemeyer"],"suffixes":[]}],"editor":[{"firstnames":["Toby"],"propositions":[],"lastnames":["Walsh"],"suffixes":[]}],"title":"On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols","booktitle":"IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011","pages":"744–749","publisher":"IJCAI/AAAI","year":"2011","url":"https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-131","doi":"10.5591/978-1-57735-516-8/IJCAI11-131","timestamp":"Tue, 20 Aug 2019 16:16:04 +0200","biburl":"https://dblp.org/rec/conf/ijcai/BelleL11.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ijcai/BelleL11,\n author = {Vaishak Belle and\n Gerhard Lakemeyer},\n editor = {Toby Walsh},\n title = {On Progression and Query Evaluation in First-Order Knowledge Bases\n with Function Symbols},\n booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference\n on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,\n 2011},\n pages = {744--749},\n publisher = {{IJCAI/AAAI}},\n year = {2011},\n url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-131},\n doi = {10.5591/978-1-57735-516-8/IJCAI11-131},\n timestamp = {Tue, 20 Aug 2019 16:16:04 +0200},\n biburl = {https://dblp.org/rec/conf/ijcai/BelleL11.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Belle, V.","Lakemeyer, G."],"editor_short":["Walsh, T."],"key":"DBLP:conf/ijcai/BelleL11","id":"DBLP:conf/ijcai/BelleL11","bibbaseid":"belle-lakemeyer-onprogressionandqueryevaluationinfirstorderknowledgebaseswithfunctionsymbols-2011","role":"author","urls":{"Paper":"https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-131"},"metadata":{"authorlinks":{"belle, v":"https://bibbase.org/show?bib=www.cs.toronto.edu/kr/publications/list.bib&group0=year&filter=authors:Belle"}},"downloads":12},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/52/570.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"]}