• English
  • Actualités
  • Emplois au LISTIC
  • Université Savoie Mont-Blanc
  • YouTube
  • Linkedin
  • Emplois
  • Contact
  • Intranet
  • SOS
  • ?
listic
MENUMENU
  • Présentation
    • Organisation
    • Membres
      • Enseignants-chercheurs
      • Post-docs et doctorants
      • Chercheurs associés
      • Administratifs et techniques
      • Collaborateurs bénévoles
      • Anciens membres
      • Invités
  • Thématique
    • Apprentissage, Fusion et Télédétection
    • Représentation, Gestion et tRaitement des Données pour l’humain
  • Technologies
    • Logiciels
      • Bibliothèque d’Analyse et Traitement de l’Information
      • Editeur d'onto-terminologies
      • Efidir-tools
      • Explorateur de champs de déplacement
      • Explorateur de séries temporelles
      • FlouLib
      • Modèles pour ontologies
    • Jeux de données
    • Démonstrations en ligne
    • Vidéos
      • Travaux de recherche
      • Séminaires
      • Séminaires au vert
  • Projets
    • Liste des projets
      • Internationaux
      • Nationaux
      • Régionaux
      • En incubation
    • Partenaires
      • Internationaux
      • Nationaux
      • Régionaux
  • Production
    • Rapports d’activité
    • Publications scientifiques
      • Collection LISTIC sur HAL
      • Indicateurs de publis (Intranet)
    • Thèses
      • HdR
      • Doctorat
    • Revue BUSEFAL
      • E-BUSEFAL
      • Liens sur la logique floue
  • Événements
    • Congrès et ateliers
    • Actualités à venir
    • Actualités passées
  1. Accueil
  2. Technologies
  3. Logiciels
  4. Modèles décidables pour la spécification d’ontologies

Modèles décidables pour la spécification d’ontologies

Modèle décidable de la Méréologie
Modèle décidable de la méréo-géometrie de Tarski
Le LISTIC est un laboratoire de l’Université Savoie Mont-Blanc et est rattaché à Polytech Annecy Chambéry

Informations pratiques

  • Accessibilité
  • Conditions générales d’utilisation
  • RGPD
  • Charte graphique
  • Plan du site

Raccourcis

  • Membres
  • Thématique scientifique
  • Démonstrations
  • Emplois
  • Contact

Contact

+33 (0)4 50 09 65 80

LISTIC, Polytech Annecy-Chambéry, 5 chemin de bellevue, Annecy-le-vieux, 74 940 Annecy

Copyright © 2021 Listic - Tous droits réservés. Mentions légales et Crédits Legal Notice and Credits