On the semantics of stable inheritance reasoning
By: Craig Boutilier.
Contributors: University of Toronto. Dept. of Computer Science.
Series: KRR-TR -- 89-11; Technical reports on knowledge representation and reasoning -- 89-11
Publisher: University of Toronto, Dept. of Computer Science
Published: 1989
Place of publication: Toronto
Language: eng
Number of pages: 29
Subjects: Logic, Symbolic and mathematical; Programming languages (Electronic computers) -- Semantics
Notes: Includes bibliographical references.