Languages
Dovier, Agostino.
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
AIxIA 2022 - advances in artificial intelligence = XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022 : proceedings /
by:
Associazione italiana per l'intelligenza artificiale., Congress (2022 :); Dovier, Agostino.; Montanari, Angelo.; Orlandini, Andrea.; SpringerLink (Online service)
(Electronic resources)
A 25-Year perspective on logic programming = achievements of the Italian Association for Logic Programming, GULP /
by:
Dovier, Agostino.; Pontelli, Enrico.; SpringerLink (Online service); Italian Association for Logic Programming.
(Language materials, printed)
Subjects
Mathematical Logic and Formal Languages.
Theory of Computation.
Artificial intelligence
Software Engineering.
Logics and Meanings of Programs.
Mathematics of Computing.
Computer and Information Systems Applications.
Logic programming.
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Special Purpose and Application-Based Systems.
Artificial Intelligence.
Italian Association for Logic Programming.
Computer Science.
Compilers and Interpreters.