Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection. Lakemeyer, G. In AAAI, pages 531-537, 1990.
bibtex   
@inproceedings{ DBLP:conf/aaai/Lakemeyer90,
  author    = {Gerhard Lakemeyer},
  title     = {Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection},
  booktitle   = {AAAI},
  pages   = {531-537} ,
  year   = {1990}
}

Downloads: 0