Reasoning in Modal Logic for Uncertain Data

Elisabeth Gavignet; Nadine Cullot; Mireille Batton-Hubert; Eric Desjardin; François Pinet

doi:10.1002/9781119507284.ch8

Chapitre d'ouvrage

Reasoning in Modal Logic for Uncertain Data

Elisabeth Gavignet ¹ Nadine Cullot ¹ Mireille Batton-Hubert Eric Desjardin ² François Pinet ³

1 LIB - Laboratoire d'Informatique de Bourgogne [Dijon]

2 CRESTIC - Centre de Recherche en Sciences et Technologies de l'Information et de la Communication - EA 3804

3 CEMAGREF - Centre national du machinisme agricole, du génie rural, des eaux et forêts

Keywords : first‐order predicate calculus modal logic modal operators reasoning principles uncertain data

Type de document :

Chapitre d'ouvrage

Domaine :

Informatique [cs] / Logique en informatique [cs.LO]

Liste complète des métadonnées

https://hal-univ-bourgogne.archives-ouvertes.fr/hal-02413534
Contributeur : Elisabeth Gavignet Connectez-vous pour contacter le contributeur
Soumis le : lundi 16 décembre 2019 - 11:31:12
Dernière modification le : mercredi 3 novembre 2021 - 06:55:11

Reasoning in Modal Logic for Uncertain Data

Identifiants

Collections

Citation

Exporter

Métriques

Reasoning in Modal Logic for Uncertain Data

Identifiants

Collections

Citation

Exporter

Partager

Métriques