Efficient Implementation of the Well-founded and Stable Model Semantics

Activity: Talk or presentation typesConference presentation

Ilkka Niemelä - Speaker

1996

Event (Seminar)

TitleDagstuhl Seminar 9627
Period01/07/199605/07/1996
LocationSchloss Dagstuhl
CityWadern
CountryGermany
Degree of recognitionInternational event

ID: 33333216