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.
Logic, Symbolic and mathematical
Nonmonotonic reasoning
Computer Appl. in Administrative Data Processing.
Discrete Mathematics in Computer Science.
Programming Techniques.
Computer Science.
Computer programming.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Logic programming
Artificial Intelligence (incl. Robotics)
Artificial intelligence
Application software.
Artificial Intelligence.