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: |