Logic programming and non-monotonic reasoning : proceedings of the first international workshop /
Nerode, Anil,1932-
Marek, Wiktor.
Subrahmanian, V. S.
Association for Logic Programming.
Cambridge, Mass. : MIT Press,
c1991.
Proceedings of a workshop held July 1991, Washington, D.C., sponsored by the Association for Logic Programming, and others.
Includes bibliographical references and index.
Logic programming
Reasoning