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

Beschreibung

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, 2018.
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.

Autor*in

Logic Programmers
Computer Scientists doing research in Logic Programming

Themen in »Technical Communications of the 34th International Conference on Logic Programming ICLP 2018«

Logic Programming Computational Logic Logical Reasoning

Stimmen zu »Technical Communications of the 34th International Conference on Logic Programming ICLP 2018«

Details

Link teilen