Dovier, Agostino.
Overview
Works: | 2 works in 1 publications in 1 languages |
---|
Titles
AIxIA 2022 - advances in artificial intelligenceXXIst 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. (2022 :); Dovier, Agostino.; Montanari, Angelo.; Orlandini, Andrea.; SpringerLink (Online service)
(Electronic resources)
A 25-Year perspective on logic programmingachievements of the Italian Association for Logic Programming, GULP /
by:
Dovier, Agostino.; Italian Association for Logic Programming.; Pontelli, Enrico.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Theory of Computation.
Artificial intelligence
Software Engineering.
Mathematics of Computing.
Logics and Meanings of Programs.
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.