Accueil
Déposer
S'authentifier
S'inscrire
Consulter
Liste des articles
Par date de rédaction, publication
Par domaine
Par laboratoire
Par collection
ArXiv
Rechercher
Recherche simple
Recherche avancée
Accès par identifiant
Services
S'abonner
Liste de publication
Consulter les laboratoires connus de HAL
Aide
Manuel
À propos
version française
english version
.:.
Consulter
>
Par domaine
> Logique en informatique .:.
2 documents classés par :
date
titre
1er auteur
Type de documents
Date de dépôt
Adaptation de cas spatiaux et temporels
Dufour-Lussier V., Le Ber F., Lieber J., Martin L.
20ème atelier Français de Raisonnement à Partir de Cas
, France (2012) [hal-00712982 - version 1]
Extension du formalisme des flux opérationnels par une algèbre temporelle
Dufour-Lussier V., Le Ber F., Lieber J.
Sixièmes Journées de l'Intelligence Artificielle Fondamentale (JIAF)
, France (2012) [hal-00712978 - version 1]