Proceedings 36th International Conference on Logic Programming (Technical Communications)

no code implementations • 19 Sep 2020 • Francesco Ricca, Alessandra Russo, Sergio Greco, Nicola Leone, Alexander Artikis, Gerhard Friedrich, Paul Fodor, Angelika Kimmig, Francesca Lisi, Marco Maratea, Alessandra Mileo, Fabrizio Riguzzi

Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming.

Automated Theorem Proving Data Integration +1