A Logic for Default Reasoning. Reiter, R. 13(1–2):81–132.
doi  bibtex   
@article{reiter1980,
  author = {Ray Reiter},
  date = {1980},
  doi = {10.1016/0004-3702(80)90014-4},
  journaltitle = {Artificial Intelligence},
  number = {1--2},
  pages = {81--132},
  title = {A Logic for Default Reasoning},
  volume = {13},
}

Downloads: 0