Logics in Artificial Intelligence [E-Book] : 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings / edited by Loizos Michael, Antonis Kakas.
Kakas, Antonis, (editor)
Michael, Loizos, (editor)
Cham : Springer, 2016
XXII, 586 p. 70 illus. online resource.
englisch
9783319487588
10.1007/978-3-319-48758-8
Lecture notes in computer science ; 10021
Full Text
Table of Contents:
  • Belief revision
  • Answer set programming
  • Argumentation
  • Probabilistic reasoning
  • Handling inconsistencies
  • Temporal logics and planning
  • Description logics
  • Decidability and complexity results.