@article{ Lakemeyer1996-2,
  title     = {Limited Reasoning in first-order knowledge bases with full introspection},
  author    = {Lakemeyer, Gerhard},
  journal   = {Artificial Intelligence},
  volume    = {84},
  year      = {1996},
  pages     = {209--255},
  urlPDF    = {https://kbsg.rwth-aachen.de/sites/kbsg/files/lakemeyer1996_2.pdf},
}

{"_id":"MA6DJi5pnXAtWBr6L","bibbaseid":"lakemeyer-limitedreasoninginfirstorderknowledgebaseswithfullintrospection-1996","author_short":["Lakemeyer, G."],"bibdata":{"bibtype":"article","type":"article","title":"Limited Reasoning in first-order knowledge bases with full introspection","author":[{"propositions":[],"lastnames":["Lakemeyer"],"firstnames":["Gerhard"],"suffixes":[]}],"journal":"Artificial Intelligence","volume":"84","year":"1996","pages":"209–255","urlpdf":"https://kbsg.rwth-aachen.de/sites/kbsg/files/lakemeyer1996_2.pdf","bibtex":"@article{ Lakemeyer1996-2,\n title = {Limited Reasoning in first-order knowledge bases with full introspection},\n author = {Lakemeyer, Gerhard},\n journal = {Artificial Intelligence},\n volume = {84},\n year = {1996},\n pages = {209--255},\n urlPDF = {https://kbsg.rwth-aachen.de/sites/kbsg/files/lakemeyer1996_2.pdf},\n}\n\n","author_short":["Lakemeyer, G."],"key":"Lakemeyer1996-2","id":"Lakemeyer1996-2","bibbaseid":"lakemeyer-limitedreasoninginfirstorderknowledgebaseswithfullintrospection-1996","role":"author","urls":{"Pdf":"https://kbsg.rwth-aachen.de/sites/kbsg/files/lakemeyer1996_2.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://kbsg.rwth-aachen.de/files/kbsgweb.bib","dataSources":["dqRQPSg6Hy3ZXQg7z"],"keywords":[],"search_terms":["limited","reasoning","first","order","knowledge","bases","full","introspection","lakemeyer"],"title":"Limited Reasoning in first-order knowledge bases with full introspection","year":1996}