Accueil
Consultation
Liste des documents
Liste par type de document
Liste par année
Liste par discipline
Liste par auteurs
Par sous-collection
Recherche
Recherche simple
Recherche avancée
Recherche par identifiant
Services
Export d'une liste de publications
Haltools
Aide
3532 articles – 5253 Notices
[english version]
.:.
Consultation
>
Liste par discipline
> Informatique et langage .:.
400 documents classés par :
Date
Titre
Nom du premier auteur
Type de documents
Date de dépôt
1
-
2
-
3
-
4
-
5
-
6
-
7
...
Formal Modelling and Verification of Population Protocols
Méry D., Poppleton M.
In iFM - 10th International Conference on integrated Formal Methods - 2013 (2013) [hal-00813033 - version 1]
Modeling the Dynamic Effects of Discourse: Principles and Frameworks
Amblard M., Pogodalla S.
Dans
Dialogue, Rationality, Formalism
, Springer (Ed.) (2013) [hal-00737765 - version 1]
Schizophrénie et Langage : Analyse et modélisation. De l'utilisation des modèles formels en pragmatique pour la modélisation de discours pathologiques
Amblard M., Musiol M., Rebuschi M.
Dans Congrès MSH 2012 (2012) [hal-00761540 - version 1]
Accessibility for Plurals in Continuation Semantics
Qian S., Amblard M.
Dans the Ninth International Workshop of Logic and Engineering of Natural Language Semantics 9 (LENLS 9) (2012) 52-65 [hal-00762203 - version 1]
Code synchronization by morphological analysis
Bonfante G., Marion J.-Y., Sabatier F., Thierry A.
7th International Conference on Malicious and Unwanted Software (Malware 2012)
(2012) [hal-00764286 - version 1]
What should I do now? Supporting conversations in a serious game.
Rojas Barahona L. M., Gardent C.
Dans SeineDial 2012 - 16th Workshop on the Semantics and Pragmatics of Dialogue (2012) [hal-00757892 - version 1]
FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
Giannakopoulou D., Méry D.
Springer (Ed.) (2012) 488 [hal-00743808 - version 1]
Characterizing Modular Ontologies
Ben Abbès S., Scheuermann A., Meilender T., D'Aquin M.
Dans 7th International Conference on Formal Ontologies in Information Systems - FOIS 2012 (2012) 13-25 [hal-00710035 - version 2]
An End-to-End Evaluation of Two Situated Dialog Systems.
Rojas Barahona L. M., Lorenzo A., Gardent C.
Dans Proceedings of the 13th Annual Meeting of the Special Interest Group on Discourse and Dialogue (2012) 10-19 [hal-00726723 - version 1]
Grew : un outil de réécriture de graphes pour le TAL
Guillaume B., Bonfante G., Masson P., Morey M., Perrier G.
Dans 12ième Conférence annuelle sur le Traitement Automatique des Langues (TALN'12) (2012) [hal-00760637 - version 1]