語系
Gavanelli, Marco.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
AI*IA 2015 Advances in artificial intelligence[electronic resource] :XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015 : proceedings /
by:
Clark Conference ((2005 :); Gavanelli, Marco.; Lamma, Evelina.; Riguzzi, Fabrizio.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Practical aspects of declarative languages[electronic resource] :18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016 : proceedings /
by:
Clark Conference ((2005 :); Gavanelli, Marco.; Reppy, John.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Artificial intelligence
Mathematical Logic and Formal Languages.
Declarative programming
Software Engineering.
Pattern Recognition.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Computation by Abstract Devices.
Programming Techniques.
Algorithm Analysis and Problem Complexity.
User Interfaces and Human Computer Interaction.
Declarative programming languages
Programming Languages, Compilers, Interpreters.
Data Mining and Knowledge Discovery.
Machine learning
Computer Science.
Multiagent systems