Skip to main navigation
Skip to search
Skip to main content
Aalto University's research portal Home
ACRIS instructions
English
Suomi
Home
Profiles
Research output
Datasets
Projects
Prizes
Activities
Press / Media
Infrastructure
Research Units
Impacts
Search by expertise, name or affiliation
20 Year Test of Time Paper Award
Niemelä, Ilkka
(Recipient)
Department of Computer Science
Prize
:
Award or honor granted for a specific work
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”
Awarded date
20 Oct 2016
Degree of recognition
International
Granting Organisations
Association for Logic Programming
Fingerprint
Logic programming
100%
Semantics
57%