Logic and databases: a 20 year retrospective (1999)

by J Minker
Venue:Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter