Title: Handbook of logic in artificial intelligence and logic programming
Subjects: Logic programming, Symbolic and mathematical Logic, Artificial intelligence, Informatique, Logique symbolique et mathématique, Héritage, Programmation logique, Logique défaut, Théorie possibilité, Incertitude, Raisonnement non monotone, Logique, Intelligence artificielle, Logic, symbolic and mathematical