researcher / Patrice Enjalbert

Patrice Enjalbert

at_id:

orcid_id:

Disciplines:

Applied sciences
Common sciences and techniques
Computer sciences
Edit Merge See Links

Directed Thesis:

Analyse macro-sémantique des structures rhétoriques du discours : cadre théorique et modèle opératoire
Conception d'une plate-forme de services ubiquitaires intégrant des interfaces multimodales distribuées
Géographie et graphes : une interaction pour exprimer des requëtes spatiales guidée par des adjacences conceptuelles
Traitement automatique de la temporalité du récit : implémentation du modèle linguistique SdT
Une approche cognitive du calcul de le référence
Conception et mise en oeuvre de modèles formels du calcul de plans d'action complexes par un agent rationnel dialoguant
Systèmes d'agents normatifs : concepts et outils logiques
La relation texte / image essai de modelisation dans un corpus geographique
Etude de l'expression en langue de l'espace et du deplacement : analyse linguistique, modelisation cognitive et leur experimentation informatique
Horn renommage partiel et littéraux purs dans les formules CNF
Une approche multiagent des systemes de bureautique communicante
Demonstration automatique en logique temporelle et algorithmes d'e-unification rigide
Agents logiques communicants
Les modalites epistemiques dans un systeme multi-agent : contribution a l'etude linguistique de l'opacite et des presuppositions
Un atelier de demonstration automatique multiiilogique : application a la logique modale et l'unification associative
Théories équationnelles et de contraintes pour la démonstration automatique en logique multi-modale
Specification formelle du controle d'acces a des documents electroniques et implementation en prolog
Etude de la structure et du cout d'algorithmes de detection de la terminaison, application a la bureautique
Semantique operationnelle et langage de specification de moteurs d'inferences de systemes experts
Un modele de parallelisme : le monoide distribue