Technical Communications of the 34th International Conference on Logic Programming ICLP 2018

Más información sobre el libro

This volume contains the Technical Communications and the Doctoral Consortium papers of the 34-th International Conference on Logic Programming (ICLP 2018), held in Oxford, United Kingdom, from July 14th to July 17th, 2018. ICLP 2018 was part of the Federated Logic Conference 2018, (FLOC 2018), as the premier conference on foundations and applications of logic programming, including but not restricted to answer-set programming, non-monotonic reasoning, unification and constraints based logic languages, constraint handling rules, argumentation logics, deductive databases, description logics, inductive and co-inductive logic programming.