登入選單
返回Google圖書搜尋
Logics in AI
Jan van Eijck
其他書名
European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings
出版Springer Science & Business Media, 1991-02-26
主題Computers / Information TechnologyComputers / Natural Language ProcessingComputers / Intelligence (AI) & SemanticsComputers / Programming / GeneralMathematics / LogicComputers / Software Development & Engineering / Systems Analysis & DesignMathematics / History & Philosophy
ISBN35405368689783540536864
URLhttp://books.google.com.hk/books?id=ejgMbaqLfNsC&hl=&source=gbs_api
EBookSAMPLE
註釋The European Workshop on Logics in Artificial Intelligence was held at the Centre for Mathematics and Computer Science in Amsterdam, September 10-14, 1990. This volume includes the 29 papers selected and presented at the workshop together with 7 invited papers. The main themes are: - Logic programming and automated theorem proving, - Computational semantics for natural language, - Applications of non-classical logics, - Partial and dynamic logics.