Unité d'enseignement ENSINCU26 :
« Logiques non-standards »

Description

Crédits : 3
Semestre :  S3

Résumé :

Logiques multi-modales des connaissances et de l'interaction. Logiques non-monotones. Logiques de description. Tableaux sémantiques pour logiques de mondes possibles. Bases de connaissances dynamiques.

Apparaît dans les parcours