Lattice approach to classifications

Abstract : We present a translation of J. Barwise and J. Seligman's "Information Flow Theory" into a lattice and Galois connection based formalism. We show how to transform the different structures of the theory into this formalism and show that this translation extends the expressivity of the theory.
Type de document :
Communication dans un congrès
Proc. 12th European summer school on logic, language and information (ESSLLI), 2000, Birmimgham, United Kingdom. No commercial editor., pp.34-44, 2000, Proc. 12th European summer school on logic, language and information (ESSLLI)
Liste complète des métadonnées

https://hal.inria.fr/hal-00922316
Contributeur : Jérôme Euzenat <>
Soumis le : mercredi 25 décembre 2013 - 22:18:19
Dernière modification le : mercredi 7 octobre 2015 - 01:14:10
Document(s) archivé(s) le : mardi 25 mars 2014 - 22:20:09

Fichier

brunet2000a.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00922316, version 1

Collections

Citation

Olivier Brunet. Lattice approach to classifications. Proc. 12th European summer school on logic, language and information (ESSLLI), 2000, Birmimgham, United Kingdom. No commercial editor., pp.34-44, 2000, Proc. 12th European summer school on logic, language and information (ESSLLI). 〈hal-00922316〉

Partager

Métriques

Consultations de la notice

289

Téléchargements de fichiers

57