{"_id":{"_str":"51f5ca86a57e92543f00044d"},"__v":12,"authorIDs":["54575ce32abc8e9f37000307"],"author_short":["Lakemeyer, G."],"bibbaseid":"lakemeyer-decidablereasoninginfirstorderknowledgebaseswithperfectintrospection-1990","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Gerhard"],"propositions":[],"lastnames":["Lakemeyer"],"suffixes":[]}],"title":"Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection","booktitle":"AAAI","pages":"531-537","year":"1990","bibtex":"@inproceedings{ DBLP:conf/aaai/Lakemeyer90,\n author = {Gerhard Lakemeyer},\n title = {Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection},\n booktitle = {AAAI},\n pages = {531-537} ,\n year = {1990}\n}\n\n\n","author_short":["Lakemeyer, G."],"key":"DBLP:conf/aaai/Lakemeyer90","id":"DBLP:conf/aaai/Lakemeyer90","bibbaseid":"lakemeyer-decidablereasoninginfirstorderknowledgebaseswithperfectintrospection-1990","role":"author","urls":{},"downloads":0},"bibtype":"inproceedings","biburl":"http://data.bibbase.org/proceedings/aaai/?format=bibtex","downloads":0,"keywords":[],"search_terms":["decidable","reasoning","first","order","knowledge","bases","perfect","introspection","lakemeyer"],"title":"Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection","title_words":["decidable","reasoning","first","order","knowledge","bases","perfect","introspection"],"year":1990,"dataSources":["Hqy6GJeND7FkPyhmE"]}