Logic programming and non-monotonic reasoning
Subtitle: proceedings of the second international workshop
By: edited by Luís Moniz Pereira and Anil Nerode.
Contributors: Pereira, Luís Moniz.; Nerode, Anil, 1932-
Publisher: MIT Press
Published: 1993
Place of publication: Cambridge, Mass
Language: eng
Number of pages: 494
Subjects: Logic programming -- Congresses.; Nonmonotonic reasoning -- Congresses.
Notes: Includes bibliographical references and index.
Papers presented during the workshop held in Lisbon in June 1993.