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.

0387515666

89-21712


Artificial intelligence.
Logic programming.
Logic.