LATPub12: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
Marcel Lippmann (Diskussion | Beiträge) K (1 Version) |
||
| (2 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
{{Publikation Erster Autor | {{Publikation Erster Autor | ||
|ErsterAutorVorname= | |ErsterAutorVorname=Franz | ||
|ErsterAutorNachname=Baader | |ErsterAutorNachname=Baader | ||
|FurtherAuthors=H.-J. Bürckert; J. Heinsohn; J. Müller; B. Hollunder; B. Nebel; W. Nutt; H.-J. Profitlich | |FurtherAuthors=H.-J. Bürckert; J. Heinsohn; J. Müller; B. Hollunder; B. Nebel; W. Nutt; H.-J. Profitlich | ||
| Zeile 8: | Zeile 8: | ||
|Year=1990 | |Year=1990 | ||
|Month= | |Month= | ||
|Institution= | |Institution=Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern | ||
|Note=Updated version, taking into account the results of a discussion at the ``International Worksop on Terminological Logics,'' Dagstuhl, May 1991. | |Note=Updated version, taking into account the results of a discussion at the ``International Worksop on Terminological Logics,'' Dagstuhl, May 1991. | ||
|Type={DFKI} Technical Memo | |Type={DFKI} Technical Memo | ||
| Zeile 15: | Zeile 15: | ||
}} | }} | ||
{{Publikation Details | {{Publikation Details | ||
|Abstract=This paper contains a proposal for a terminological logic. | |Abstract=This paper contains a proposal for a terminological logic. The formalisms for representing knowledge as well as the needed inferences are described. | ||
The formalisms for representing knowledge as well as the needed | |||
inferences are described. | |||
|ISBN= | |ISBN= | ||
|ISSN= | |ISSN= | ||
| Zeile 37: | Zeile 33: | ||
year = {1990}, | year = {1990}, | ||
} | } | ||
}} | }} | ||
Aktuelle Version vom 25. März 2015, 15:38 Uhr
Terminological Knowledge Representation: A Proposal for a Terminological Logic
Franz BaaderFranz Baader, H.-J. BürckertH.-J. Bürckert, J. HeinsohnJ. Heinsohn, J. MüllerJ. Müller, B. HollunderB. Hollunder, B. NebelB. Nebel, W. NuttW. Nutt, H.-J. ProfitlichH.-J. Profitlich
Franz Baader, H.-J. Bürckert, J. Heinsohn, J. Müller, B. Hollunder, B. Nebel, W. Nutt, H.-J. Profitlich
Terminological Knowledge Representation: A Proposal for a Terminological Logic
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {TM}-90-04, 1990. {DFKI} Technical Memo
Terminological Knowledge Representation: A Proposal for a Terminological Logic
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {TM}-90-04, 1990. {DFKI} Technical Memo
- KurzfassungAbstract
This paper contains a proposal for a terminological logic. The formalisms for representing knowledge as well as the needed inferences are described. - Bemerkung: Note: Updated version, taking into account the results of a discussion at the ``International Worksop on Terminological Logics, Dagstuhl, May 1991.
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@techreport{ DFKI-TM-90-04,
author = {F. {Baader} and H.-J. {B\"urckert} and J. {Heinsohn} and J. {M\"uller} and B. {Hollunder} and B. {Nebel} and W. {Nutt} and H.-J. {Profitlich}},
institution = {{D}eutsches {F}orschungszentrum f\"ur {K}\"unstliche {I}ntelligenz, Kaiserslautern},
note = {Updated version, taking into account the results of a discussion at the ``International Worksop on Terminological Logics,'' Dagstuhl, May 1991.},
number = {{TM}-90-04},
title = {Terminological Knowledge Representation: A Proposal for a Terminological Logic},
type = {{DFKI} Technical Memo},
year = {1990},
}
