Franz Baader, Ulrike Sattler. Description Logics with Symbolic Number Restrictions. In Wolfgang Wahlster, editor, 12th European Conference on Artificial Intelligence, Budapest, Hungary, August 11-16, 1996, Proceedings. pages 283-287, John Wiley and Sons, Chichester, 1996.
@inproceedings{BaaderS96:0,
title = {Description Logics with Symbolic Number Restrictions},
author = {Franz Baader and Ulrike Sattler},
year = {1996},
tags = {logic},
researchr = {https://researchr.org/publication/BaaderS96%3A0},
cites = {0},
citedby = {0},
pages = {283-287},
booktitle = {12th European Conference on Artificial Intelligence, Budapest, Hungary, August 11-16, 1996, Proceedings},
editor = {Wolfgang Wahlster},
publisher = {John Wiley and Sons, Chichester},
}