KRIS: Knowledge Representation and Inference System, System Description

From International Center for Computational Logic
Toggle side column

KRIS: Knowledge Representation and Inference System, System Description

Franz BaaderFranz Baader,  B. HollunderB. Hollunder
KRIS: Knowledge Representation and Inference System, System Description


Franz Baader, B. Hollunder
KRIS: Knowledge Representation and Inference System, System Description
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {TM}-90-03, 1990. {DFKI} Technical Memo
@techreport{ DFKI-TM-90-03,
  author = {F. {Baader} and B. {Hollunder}},
  institution = {{D}eutsches {F}orschungszentrum f\"ur {K}\"unstliche {I}ntelligenz, Kaiserslautern},
  number = {{TM}-90-03},
  title = {{KRIS}: Knowledge Representation and Inference System, System Description},
  type = {{DFKI} Technical Memo},
  year = {1990},
}