Logics in Artificial Intelligence: 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings - Michael, Loizos; Kakas, Antonis (Springer Nature, 2016)
Keywords: Artificial Intelligence; Artificial intelligence -- Congresses; Computer Science; Database Management; Information Systems Applications (incl. Internet); Logic, Symbolic and mathematical; Logic, Symbolic and mathematical -- Congresses; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Software Engineering; Special computer methods