ML Anthology

KRYPTON: Integrating Terminology and Assertion

Ronald J. Brachman, Hector J. Levesque, Richard Fikes
AAAI 1983 pp. 31-35
/aaai/1983/brachman1983aaai-krypton/
PDF AAAI Semantic Scholar

Cite

Text

Brachman et al. "KRYPTON: Integrating Terminology and Assertion." AAAI Conference on Artificial Intelligence, 1983.

Markdown

[Brachman et al. "KRYPTON: Integrating Terminology and Assertion." AAAI Conference on Artificial Intelligence, 1983.](https://mlanthology.org/aaai/1983/brachman1983aaai-krypton/)

BibTeX

@inproceedings{brachman1983aaai-krypton,
  title     = {{KRYPTON: Integrating Terminology and Assertion}},
  author    = {Brachman, Ronald J. and Levesque, Hector J. and Fikes, Richard},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1983},
  pages     = {31-35},
  url       = {https://mlanthology.org/aaai/1983/brachman1983aaai-krypton/}
}