語系
Balduccini, Marcello.
概要
作品: | 1 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Logic programming and nonmonotonic reasoning15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019 : proceedings /
by:
(1998 :); Balduccini, Marcello.; Lierler, Yuliya.; SpringerLink (Online service); Woltran, Stefan.
(書目-電子資源)
Logic programming, knowledge representation, and nonmonotonic reasoningessays dedicated to Michael Gelfond on the occasion of his 65th birthday /
by:
Balduccini, Marcello.; Son, Tran Cao.; SpringerLink (Online service)
(書目-電子資源)
Logic programming and nonmonotonic reasoning14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017 : proceedings /
by:
(1998 :); Balduccini, Marcello.; Janhunen, Tomi.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
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.
Discrete Mathematics in Computer Science.