H ? « ‹ ← → › »

Language peer sets for BACK:
Germany↑
Germany/1988↑
Designed 1988 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑
Genus Frame languages ↑
Specialised Languages ↑
Frame languages↑
Context-based ↑
Data representation ↑
Frame languages/1988↑
Context-based /1988↑
Data representation/1988↑
Frame languages/Germany↑
Context-based /Germany↑
Data representation/Germany↑
Specialised Languages ↑
Specialised Languages/1988↑
Specialised Languages/de ↑

BACK(ID:2320/bac002)

Frame language 

alternate simple view
Country: Germany
Designed 1988
Published: 1988
Genus: Frame languages
Sammet category: Specialised Languages

Knowledge representation system built on KL-ONE
Related languages
KRYPTON → BACK   Based on
BACK → MUNIN   Evolution of
References:
  • von Luck, K. (1987) von Luck, K. ; B. Nebel, C. Peltason, and A. Schmiedel. The anatomy of the BACK system. Technical Report KIT 41, Department of Computer Science, Technische Universitaet Berlin, 1987
  • Nebel, B. (1988) Nebel, B. "Computational Complexity of Terminological Reasoning in BACK" pp371–383
          in (1988) Artificial Intelligence 34(3)
  • Nebel, B., and von Luck, K. (1988) Nebel, B., and von Luck, K. "Hybrid Reasoning in BACK"
          in Methodologies for Intelligent Systems, Volume 3, e (1988) Methodologies for Intelligent Systems, Volume 3, eds. Z. W. Ras and L. Saitta, New York: North-Holland, 1988
  • Peltason, C.; Schmiedel, A.; Kindermann, C.; and Q (1989) Peltason, C.; Schmiedel, A.; Kindermann, C.; and Quantz, J. 1989. The BACK System Revisited. KIT Report, 75, Dept. of Computer Science, Technical University of Berlin.
          in Methodologies for Intelligent Systems, Volume 3, e (1988) Methodologies for Intelligent Systems, Volume 3, eds. Z. W. Ras and L. Saitta, New York: North-Holland, 1988
  • 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
  • Peltason, Christof (1991) Peltason, Christof "The BACK system?an overview" pp114-119 DOI
          in (1991) ACM SIGART Bulletin 2(3) June 1991 Special issue on implemented knowledge representation and reasoning systems
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder