B 2000

Intensional Logic as a Medium of Knowledge Representation and Acquisition in the HIT Conceptual Model

MATERNA, Pavel and Marie DUŽÍ

Basic information

Original name

Intensional Logic as a Medium of Knowledge Representation and Acquisition in the HIT Conceptual Model

Name in Czech

Intenzionální logika jako prostředí reprezentace a získávání znalostí v HITovském konceptuálním modelu

Authors

MATERNA, Pavel (203 Czech Republic, guarantor) and Marie DUŽÍ (203 Czech Republic)

Edition

Germany, 14 pp. nemá, 2000

Publisher

Proceedings of the 12th European-Japanese Conference on Information Modelling and KB

Other information

Language

English

Type of outcome

Book on a specialized topic

Field of Study

20206 Computer hardware and architecture

Country of publisher

Germany

Confidentiality degree

is not subject to a state or trade secret

RIV identification code

RIV/00216224:14330/00:00008542

Organization unit

Faculty of Informatics

Keywords in English

Intensional Logic; Knowledge Representation; Conceptual MOdels
Changed: 11/5/2005 15:29, prof. PhDr. Pavel Materna, CSc.

Abstract

In the original language

The paper deals with the Transparent Intensional Logic as a Medium of Knowledge Representation and Acquisition and its application to the HIT Conceptual Model.

In Czech

Stať pojednává o transparentní intenzionální logice aplikované na znalostní systémy a o její aplikaci na HITovský konceptuální mnodel.

Links

IAA0009001, research and development project
Name: LOGICA: série mezinárodních interdisciplinárních konferencí a vědeckých publikací
MSM 143300003, plan (intention)
Name: Interakce člověka s počítačem, dialogové systémy a asistivní technologie
Investor: Ministry of Education, Youth and Sports of the CR, Human-computer interaction, dialog systems and assistive technologies