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

• Authors: MATERNA Pavel; DUŽÍ Marie
• Year of publication: 2000
• Type: Monograph
• MU Faculty or unit: Faculty of Informatics
• Description: The paper deals with the Transparent Intensional Logic as a Medium of Knowledge Representation and Acquisition and its application to the HIT Conceptual Model.

Related projects

• Human-computer interaction, dialog systems and assistive technologies