H ? « ‹ ← → › »

Language peer sets for KRYPTON:
United States↑
United States/1983↑
Designed 1983 ↑
1980s languages ↑
Fourth generation↑
Late Cold War↑

KRYPTON(ID:1157/kry001)

alternate simple view
Country: United States
Designed 1983

Frame language.
Related languages
Kandor → KRYPTON   Evolution of
KRYPTON → BACK   Based on
KRYPTON → CLASSIC   Evolution of
KRYPTON → King Kong   Evolution of
KRYPTON → KRIS   Implementation
KRYPTON → SB-ONE   Based on
References:
  • Brachman, R. (1983) Brachman, R. ; R. Fikes, H. Levesque, KRYPTON: a functional approach to knowledge representation, IEEE Computer 16 (1983) 67-73.
  • Brachman et al (1983) Brachman, Ronald J.; Levesque, Hector J.; Fikes, Richard "KRYPTON: Integrating Terminology and Assertion" AAAI 1983: 31-35
  • Brachman R.J. et al: (1985) Brachman R.J. et al: "An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of of KRYPTON"
          in [Proceedings] (1981) Proceedings of the 7th International Joint Conference on Artificial Intelligence IJCAI-81, (Vancouver, Canada, Aug 1981) Cambridge, Mass., 1981
  • Brachman, R.; Gilbert, P. V.; and Levesque, H. (1985) Brachman, R.; Gilbert, P. V.; and Levesque, H. "An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON"
          in Proceedings of the Ninth International Joint Confe (1985) Proceedings of the Ninth International Joint Conference on Artificial Intelligence, Menlo Park, Calif.: International Joint Conferences on Artificial Intelligence. 1985
  • Brachman and Levesque (1986) Brachman, Ronald J.; Levesque, Hector J. "Tales from the Far Side of KRYPTON" Expert Database Conf. 1986: 3-43
          in Proceedings of the Ninth International Joint Confe (1985) Proceedings of the Ninth International Joint Conference on Artificial Intelligence, Menlo Park, Calif.: International Joint Conferences on Artificial Intelligence. 1985
  • Bernd Owsnicki-Klewe and Alfred Kobsa (1990) Bernd Owsnicki-Klewe and Alfred Kobsa "Term Subsumption Languages in Knowledge Representation" Abstract
          in (1990) AI Magazine Summer 1990
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder