Logical tools for temporal knowledge representation
著者
書誌事項
Logical tools for temporal knowledge representation
(Ellis Horwood series in artificial intelligence foundations and concepts)
Ellis Horwood, 1992
- タイトル別名
-
Outils logiques pour le traitement du temps
大学図書館所蔵 件 / 全11件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Translation of: Outils logiques pour le traitement du temps, 1989
Includes bibliographical references and index
内容説明・目次
内容説明
This book is a systematic introduction to systems and models useful for temporal knowledge representation in AI and computational linguistics. It offers a theoretically oriented treatment of a rapidly developing field, with a presentation of both standard results and new trends. Intended for students and researchers at graduate and postgraduate levels, the book gives a unified presentation of subjects disseminated in the linguistic, AI, computational linguistics and logical literature. Both formal (logic, structures) and computational issues (systems, algorithms) are addressed.
「Nielsen BookData」 より