語系
Balduccini, Marcello.
概要
作品: | 0 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Logic programming and nonmonotonic reasoning = 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019 : proceedings /
by:
International Conference on Logic Programming and Nonmonotonic Reasoning (2019 :); Balduccini, Marcello.; Lierler, Yuliya.; Woltran, Stefan.; SpringerLink (Online service)
(書目-電子資源)
Logic programming, knowledge representation, and nonmonotonic reasoning = essays dedicated to Michael Gelfond on the occasion of his 65th birthday /
by:
Balduccini, Marcello.; Son, Tran Cao.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Nonmonotonic reasoning
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Logic programming.
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Logic programming
Database Management.
Nonmonotonic reasoning.
Computer Appl. in Administrative Data Processing.
Artificial Intelligence.
Computer Science.