All I know
Subtitle: a study in autoepistemic logic
By: Hector J. Levesque.
Contributors: University of Toronto. Dept. of Computer Science.
Series: KRR-TR -- 89-3; Technical reports on knowledge representation and reasoning -- 89-3
Publisher: Dept. of Computer Science, University of Toronto
Published: 1989
Place of publication: Toronto
Language: eng
Number of pages: 42
Subjects: Logic design -- Data processing; Logic, Symbolic and mathematical; Reasoning
Notes: Includes bibliographical references.