Handbook of logic in artificial intelligence and logic programming
by Dov M. Gabbay, Christopher John Hogger, J.A. Robinson, C. J. Hogger, J. A. Robinson

No description available.
Logic programmingSymbolic and mathematical LogicArtificial intelligenceInformatiqueLogique symbolique et mathématiqueHéritageProgrammation logiqueLogique défautThéorie possibilitéIncertitudeRaisonnement non monotoneLogique