Share

Η δημοσίευση:

P. Rondogiannis and I. Symeonidou. "The Intricacies of 3-Valued Extensional Semantics for Higher-Order Logic Programs", έλαβε το Best Paper Award στο 33rd International Conference on Logic Programming (ICLP), Melbourne, Australia, 2017.