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.
Wedi'i Gadw mewn:
| Prif Awdur: | |
|---|---|
| Fformat: | Article ou chapitre numérique |
| Iaith: | Français |
| Cyhoeddwyd: |
2004
|
| Mynediad Ar-lein: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |