Deductive Databases, Logic Programming, and Non-monotonic Reasoning
Participants:
Jack Minker
Papers available on-line: