Default Inheritance Reasoning in Hybrid KL-ONE-Style Logics

Umberto Straccia. Default Inheritance Reasoning in Hybrid KL-ONE-Style Logics. In IJCAI. pages 676-681, 1993.

@inproceedings{Straccia93,
  title = {Default Inheritance Reasoning in Hybrid KL-ONE-Style Logics},
  author = {Umberto Straccia},
  year = {1993},
  tags = {logic},
  researchr = {https://researchr.org/publication/Straccia93},
  cites = {0},
  citedby = {0},
  pages = {676-681},
  booktitle = {IJCAI},
}