Handbook of logic in artificial intelligence and logic programming
Handbook of logic in artificial intelligence and logic programming
Christopher John Hogger, J. A. Robinson, J.A. Robinson, C. J. Hogger, Dov M. Gabbay
Details
- OL Work ID
- OL16980531W
Subjects
Logic programmingSymbolic and mathematical LogicArtificial intelligenceInformatiqueLogique symbolique et mathématiqueHéritageProgrammation logiqueLogique défautThéorie possibilitéIncertitudeRaisonnement non monotoneLogiqueIntelligence artificielleLogic, symbolic and mathematical