Вы здесь
A Formal Definition for the Expressive Power of Knowledge Representation Languages
Количество экземпляров:
1
Вид:
Препринт
Год:
1990
Ключевые слова:
Стр.:
22 p.
Реферат:
Данное описание пригодно для всех KR-языков с модельно-теоретической семантикой. На примерах показано, как описание можно использовать в позитивных доказательствах - где показано, как один язык выражается с помо ью другого, и негативных- ес
Примечание:
Формальное описание выразительной силы языков представления знаний.
Место издания:
Номер:
DFKI RR-90-05
Карточка:
Б3.15.
Baader F..
A Formal Definition for the Expressive Power of Knowledge Representation Languages-Kaiserslautern., 1990.-22 p.-(Препринт Deutsches Forschungszentrum fur Kunstliche Intelligenz №DFKI RR-90-05).
Таблица в старой библиотеке:
PREP1 33