Efficient Implementation of the Well-founded and Stable Model Semantics

Niemelä, I. (Speaker)

Activity: Talk or presentation typesConference presentation

Period1996
Event titleDagstuhl Seminar 9627: Disjunctive Logic Programming and Databases: Non-monotonic Aspects
Event typeSeminar
LocationWadern, Germany