@5 Intenzionální logiky jsou příliš teoretické a nehodí se pro reprezentaci znalostí (ontologické modelování) v praxi. Důvod v přístupné formě objasňuje Peregrin ve svém Úvodu do teoretické sémantiky.
Autor se zabývá vývojem kompilátorů a knihoven pro objektově-orientované programovací jazyky.
Přečteno 36 203×
Přečteno 25 362×
Přečteno 23 796×
Přečteno 20 178×
Přečteno 17 875×