Lecture notes in artificial intelligence [v.543] nonmonotonic and inductive logic - Dix, J [ed.]; Jantke, K. P, [ed.]; Schmitt, P. H [ed.] (Verlag Springer, 1991)
Keywords: Logic programming; Logic, Symbolic and mathematical; Artificial intelligence