Logic programming and non-monotonic reasoning : proceedings of the second international workshop /
Pereira, Luís Moniz.
Nerode, Anil,1932-
Cambridge, Mass. ; London : MIT Press,
c1993.
Papers presented during the workshop held in Lisbon in June 1993.
Includes bibliographical references and index.
Logic programming
Reasoning