Tâches de raisonnement en logiques hybrides
Les logiques modales sont des logiques permettant la représentation et l'inférence de connaissances. La logique hybride est une extension de la logique modale de base contenant des nominaux, permettant de faire référence à un unique individu ou monde du modèle. Dans cette thèse nous présentons...
Main Author: | |
---|---|
Other Authors: | |
Language: | en |
Published: |
2010
|
Subjects: | |
Online Access: | http://www.theses.fr/2010NAN10110/document |