Besnard, Philippe. An introduction to default logic / Philippe Besnard. - Berlin : Springer-Verlag, 1989. - xi, 208 p. : ill. ; 24 cm. - Symbolic computation. Artificial intelligence. . - Symbolic computation. Artificial intelligence. . Bibliography : p. 195-202. ISBN: 0387515666 LCCN: 89-21712 Subjects--Topical Terms: Artificial intelligence.Logic programming.Logic.