Skip to main navigation
Skip to search
Skip to main content
Accessibility statement
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
Semantics