Mezinárodní konference o logickém programování - International Conference on Logic Programming

The Mezinárodní konference o logickém programování (ICLP) je roční akademická konference na téma logické programování. Sponzoruje jej Sdružení pro logické programování (HORSKÁ PASTVINA). Konference se skládá z recenzovaných příspěvků se sborníky publikovanými autorem Springer je LNCS série. Bylo zahájeno z práce provedené v Katedra výpočetní techniky a řízení, Imperial College London.[1]

První ICLP se konal v září 1982 v roce Marseille, Francie. 31. a nejnovější ICLP byla součástí Boole Konference v Korek, Irsko v září 2015.[2]

Reference

  1. ^ Sergot, Marek. „Bob Kowalski: Portrét“ (PDF).
  2. ^ „31. mezinárodní konference o logickém programování (ICLP 2015)“.

externí odkazy