Siirry päänavigointiin
Siirry hakuun
Siirry pääsisältöön
Aalto-yliopiston tutkimusportaaliin Etusivu
ACRIS-ohjeet
English
Suomi
Etusivu
Profiilit
Tutkimustuotokset
Tietoaineistot
Projektit
Palkinnot
Aktiviteetit
Lehtileikkeet
Laitteet
Tutkimusyksiköt
Vaikutukset
Haku asiantuntemuksen, nimen tai kytköksen perusteella
20 Year Test of Time Paper Award
Niemelä, Ilkka (Recipient)
Tietotekniikan laitos
Palkinto
:
Palkinto tai huomionosoitus tuotoksesta
Description
20 Year Test of Time Paper Award, International Conference on Logic Programming, for the article “Efficient Implementation of the Well-founded and Stable Model Semantics”
Myöntöpäivä
20 lokak. 2016
Tunnustuksen arvo
International
Myöntävät organisaatiot
Association for Logic Programming
Sormenjälki
Logic programming
100%
Semantics
57%