cilc'16, 20-22 giugno 2016
Since the first event of the series, which took place in Genoa in 1986, the annual GULP conference represents the main opportunity for users, researchers and developers working in the computational logic field to meet and exchange ideas. Over the years the conference broadened its horizons from the specific field of traditional Logic Programming to the general ones of declarative programming and of applications in neighboring areas including Artificial Intelligence and Deductive Databases.
Also in the 2016 edition, GULP wants to follow and – possibly – strengthen this policy by identifying, with the general term of Computational Logic, the entire and multifaceted research areas, both foundational and applied, which directly and indirectly either use or interact with techniques and idea characterizing logics as a tool for representation and computation.
Vol-1645 , CEUR Workshop Proceedings (CEUR-WS.org), 2016.
Fundamenta Informaticae, Volume 161, issue 1-2, 2018.