Qualifying Number Restrictions in Concept Languages

B. HollunderB. Hollunder, F. BaaderF. Baader

B. Hollunder, F. Baader
Qualifying Number Restrictions in Concept Languages
Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, {KR}-91, 335--346, 1991

Details
Bibtex

Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@inproceedings{ HollunderBaader-KR-91,
  address = {Boston (USA)},
  author = {B. {Hollunder} and F. {Baader}},
  booktitle = {Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, {KR}-91},
  pages = {335--346},
  title = {Qualifying Number Restrictions in Concept Languages},
  year = {1991},
}