Knowledge Representation and Reasoning with Transparent Intensional Logic
Autoři | |
---|---|
Rok publikování | 2000 |
Druh | Článek ve sborníku |
Konference | Knowledge-Based Software Engineering, Proceedings of JCKBSE'2000 |
Fakulta / Pracoviště MU | |
Citace | |
www | http://nlp.fi.muni.cz/publications/jckbse2000_hadacz_hales/ |
Obor | Teorie informace |
Klíčová slova | transparent intensional logic; knowledge base; reasoning |
Popis | Článek popisuje návrh systému pro rezprezentaci a vyvozování znalostí založeném na transparentní intenzionální logice (TIL). |
Související projekty: |