A fixpoint theory of nonmonotonic functions and its applications to logic programs, deductive databases and production rule systems
By: by Yuli Zhou
Published: 1991
Language: eng
Number of pages: 79
Subjects: Functions; Logic programming; Deductive databases
Notes: Thesis (Ph. D.)--Harvard University, 1991.

Includes bibliographical references.