LATPub13: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
||
| Zeile 5: | Zeile 5: | ||
}} | }} | ||
{{Techreport | {{Techreport | ||
|Title= | |Title=KRIS: Knowledge Representation and Inference System, System Description | ||
|Year=1990 | |Year=1990 | ||
|Month= | |Month= | ||
|Institution= | |Institution=Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern | ||
|Note= | |Note= | ||
|Type={DFKI} Technical Memo | |Type={DFKI} Technical Memo | ||
Version vom 20. März 2015, 16:28 Uhr
KRIS: Knowledge Representation and Inference System, System Description
F. BaaderF. Baader, B. HollunderB. Hollunder
F. 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
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
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@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},
}
