,

A Dynamic Description Logic for Representation and Reasoning About Actions.

, , и .
KSEM, том 4798 из Lecture Notes in Computer Science, стр. 115-127. Springer, (2007)

Метаданные

тэги

Пользователи данного ресурса

  • @dblp

Комментарии и рецензии