ML Anthology

Finding Maximally Satisfiable Terminologies for the Description Logic ALC

Thomas Andreas Meyer, Kevin Lee, Richard Booth, Jeff Z. Pan
AAAI 2006 pp. 269-274
/aaai/2006/meyer2006aaai-finding/
PDF AAAI Semantic Scholar

Cite

Text

Meyer et al. "Finding Maximally Satisfiable Terminologies for the Description Logic ALC." AAAI Conference on Artificial Intelligence, 2006.

Markdown

[Meyer et al. "Finding Maximally Satisfiable Terminologies for the Description Logic ALC." AAAI Conference on Artificial Intelligence, 2006.](https://mlanthology.org/aaai/2006/meyer2006aaai-finding/)

BibTeX

@inproceedings{meyer2006aaai-finding,
  title     = {{Finding Maximally Satisfiable Terminologies for the Description Logic ALC}},
  author    = {Meyer, Thomas Andreas and Lee, Kevin and Booth, Richard and Pan, Jeff Z.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2006},
  pages     = {269-274},
  url       = {https://mlanthology.org/aaai/2006/meyer2006aaai-finding/}
}