Approche logique de l'intelligence artificielle Tome 2 : De la logique modale à la logique des bases de données 2

Cet ouvrage poursuit l'étude, entamée dans le premier volume, des concepts et des méthodes de l'intelligence artificielle en prenant la logiquecomme ligne directrice.Les différents aspects sont les suivants:1. Langues et logiques :Dominique Snyers et André Thayse.2. Logique intensionnelle et langue naturelle :Paul Gochet et André Thayse.3. La sémantique de Montague ;Paul Gochet et André Thayse.4. Logique temporelle :Pascal Gribomont et Pierre Wolper.5. Formalisation du raisonnement révisable :Eric Grégoire.6. Logique et bases de données :Guy Hulin, Alain Pirotte, Dominique Roelants et Marc Vauclair.