@inproceedings{hernandez1998formal,
  title={A formal definition of intelligence based on an intensional variant of Kolmogorov complexity},
  author={Hern{\'a}ndez-Orallo, J.},
  booktitle={Proceedings of the International Symposium of Engineering of Intelligent Systems (EIS'98},
  publisher={ICSC Press},
  pages={146-163},
  year={1998}
}