Towards Implementing DLPs using Hyper Tableaux

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