Languages
Calimeri, Francesco.
Overview
| Works: | 0 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Practical aspects of declarative languages = 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018 : proceedings /
by:
PADL (Symposium) (2018 :); Calimeri, Francesco.; Hamlen, Kevin.; SpringerLink (Online service); Leone, Nicola.
(Electronic resources)
Logic programming and nonmonotonic reasoning = 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 : proceedings /
by:
Calimeri, Francesco.; Ianni, Giovambattista.; Truszczynski, Miroslaw.; SpringerLink (Online service)
(Electronic resources)
Logics in artificial intelligence = 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019 : proceedings /
by:
Calimeri, Francesco.; SpringerLink (Online service); Manna, Marco.; Leone, Nicola.; JELIA (Conference) (2019 :)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Declarative programming
Artificial intelligence
Nonmonotonic reasoning
Logics and Meanings of Programs.
Logic programming
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Declarative programming languages
Programming Languages, Compilers, Interpreters.
Computer Appl. in Administrative Data Processing.
Artificial Intelligence.
Computer Science.
Discrete Mathematics in Computer Science.
Logic, Symbolic and mathematical