Languages
Calimeri, Francesco.
Overview
Works: | 0 works in 2 publications in 1 languages |
---|
Titles
Logics in Artificial Intelligence = 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings /
by:
SpringerLink (Online service); Calimeri, Francesco.; Manna, Marco.; Leone, Nicola.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Logic Programming and Nonmonotonic Reasoning = 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /
by:
SpringerLink (Online service); Truszczynski, Miroslaw.; Ianni, Giovambattista.; Calimeri, Francesco.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Logic programming and nonmonotonic reasoning = 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 : proceedings /
by:
Calimeri, Francesco.; Ianni, Giovambattista.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Truszczynski, Miroslaw.
(Language materials, printed)
Logics in artificial intelligence = 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019 : proceedings /
by:
SpringerLink (Online service); Leone, Nicola.; Calimeri, Francesco.; Workshop on the Preservation of Stability under Discretization ((2001 :); Manna, Marco.
(Language materials, printed)
Practical Aspects of Declarative Languages = 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings /
by:
SpringerLink (Online service); Calimeri, Francesco.; Leone, Nicola.; Hamlen, Kevin.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Software Engineering.
Mathematical logic.
Computer science—Mathematics.
Computer logic.
Artificial intelligence.
Software engineering.
Nonmonotonic reasoning
Computer Appl. in Administrative Data Processing.
Programming Techniques.
Computer Science.
Computer programming.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Logic programming
Artificial Intelligence (incl. Robotics)
Artificial intelligence
Application software.
Artificial Intelligence.
Logic, Symbolic and mathematical
Discrete Mathematics in Computer Science.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).