Circumscription and generic mathematical objects
By: Leopoldo E. Bertossi and Raymond Reiter.
Contributors: Reiter, Raymond.; University of Toronto. Dept. of Computer Science.
Series: KRR-TR-92-4; Technical reports on knowledge representation and reasoning -- 92-4
Publisher: Computer Science Department, University of Toronto
Published: 1992
Place of publication: Toronto, Ont
Language: eng
Number of pages: 15
Subjects: Artificial intelligence.; Definability theory (Mathematical logic).
Notes: "August 1992."

Includes bibliographical references.