Other formats:
BibTeX
LaTeX
RIS
@inproceedings{345438,
author = {Hadacz, Leo and Horák, Aleš},
address = {Amsterdam},
booktitle = {Knowledge-Based Software Engineering, Proceedings of JCKBSE'2000},
keywords = {transparent intensional logic; knowledge base; reasoning},
language = {eng},
location = {Amsterdam},
isbn = {1-58603-060-4},
pages = {74-80},
publisher = {IOS Press},
title = {Knowledge Representation and Reasoning with Transparent Intensional Logic},
url = {http://nlp.fi.muni.cz/publications/jckbse2000_hadacz_hales/},
year = {2000}
}
TY - JOUR
ID - 345438
AU - Hadacz, Leo - Horák, Aleš
PY - 2000
TI - Knowledge Representation and Reasoning with Transparent Intensional Logic
PB - IOS Press
CY - Amsterdam
SN - 1586030604
KW - transparent intensional logic
KW - knowledge base
KW - reasoning
UR - http://nlp.fi.muni.cz/publications/jckbse2000_hadacz_hales/
N2 - This paper describes the design of a system for knowledge representation and reasoning (KRR) based on transparent intensional logic (TIL). It depicts the basic principles of temporal version of TIL based on the extended type hierarchy and presents our suggested method of inference from facts based on natural language input. We show the advantages of using TIL for the knowledge representation of this kind of data and describe particular implementation strategy of KRR.
ER -
HADACZ, Leo and Aleš HORÁK. Knowledge Representation and Reasoning with Transparent Intensional Logic. In \textit{Knowledge-Based Software Engineering, Proceedings of JCKBSE'2000}. Amsterdam: IOS Press, 2000, p.~74-80. ISBN~1-58603-060-4.
|
