Heuristique formelle et logiques modales non-normales
Nous présentons ici une version modale des dialogues de recherche de conditions (SSD) que nous avons introduits dans [Rahman & Keiff 2004]. La sémantique utilisée correspond à celle des systèmes modaux non normaux.
Saved in:
| Main Author: | |
|---|---|
| Format: | Article ou chapitre numérique |
| Language: | Français |
| Published: |
2004
|
| Online Access: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |
| Summary: | Nous présentons ici une version modale des dialogues de recherche de conditions (SSD) que nous avons introduits dans [Rahman & Keiff 2004]. La sémantique utilisée correspond à celle des systèmes modaux non normaux. |
|---|