labo

Laboratoire de recherche en Informatique de Sfax

Faculté des Sciences Economiques et de Gestion de Sfax

Route de l'Aérodrome km 4, B.P. 1088- 3018 Sfax- TUNISIE

Tel : (2164) 278 777 - 278 879

Fax : (2164) 279 139

Identification du laboratoire :

LARIS : Laboratoire de Recherche en Informatique de Sfax

Codification : E07 / 14

Date de création : Janvier 1980

Directeur du laboratoire: Abdelmajid BEN HAMADOU

THEMES DE RECHERCHE

(1) Génie linguistique

Traitement Informatique des Langues Naturelles

Correction des erreurs lexicales et grammaticales

(2) Documentique

Indexation,

Recherche de l'Information,

Résumé et Synthèses Automatiques,

reconnaissance du manuscrit).

(3) Dialogue Homme-machine

Conception d'Interfaces multilingues

Analyse du discours

(4) Génie logiciel & spécification formelle

Méthodes formelles

Intelligence Artificielle Distribuée

Conception de systèmes complexeses

PRINCIPALES ACTIVITES

(1) Etudes et recherches diplomantes

Une thèse et 5 DEA déjà soutenus

9 thèses et 1 DEA en cours de préparation

7 habilitations en cours de préparation

(2) Organisation d'un séminaire publique étalé sur toute l'année universitaire . Deux types de conférences sont donnés :

Conférences invitées pour exposer l'état de l'art,

Contribution de recherche pour présenter l'état d'avancement des travaux en cours

(3) Participation à la l'Ecole doctorale de Tunis :

Animation d'un cours sur le traitement automatique des Langues Naturelles

Encadrement des Etudiants en D.E.A et en thèse.

(4) Développement de systèmes prototypes (CORTEXA, DECORA, EXTRAGEN)

(5) Publication d’un bulletin : Les cahier d’informatique

Sources de financement

Le laboratoire a bénéficié de l'appui de la Direction de la Recherche Scientifique du Ministère de l'enseignement supérieur, pour conduire les deux projets de recherche :

(1) Etude de la vérification et correction automatiques

Matricule : MA2/83/Fsegsf

Montant : 3.000 DT

(2) Documentique

Matricule : MA9/ 89/ Fsegsf

Montant : 40.000 DT

(3) Financement LARUB

Le laboratoire a bénéficié aussi de la coopération française:

Projets PICS'97, PICS'98 (CAMS-CNRS)

Projet FRANCIL-AUPELF (Equipe LALIC)

Projet CMCU (FSEG-ENIS-Univ POUEN)

PUBLICATIONS (3 dernières années)

BEBE96 BEN HAMADOU A., BEN MEFTEH A.

"Une méthode multilingue d'extraction des idées clés d'un document en vue de le résumer". Colloque international "Langues Situées, Technologie et Communication", Rabat du 25 au 27 Avril 1996.

BEFO96 BEN HAMADOU A., FOURATI N.

"Interface Transportable de communication en langue arabe avec les Systèmes d'exploitation". Colloque international "Langues Situées, Technologie et Communication", Rabat du 25 au 27 Avril 1996.

BELBE96 BELGUITH L., BEN HAMADOU A.

"Un vérificateur et correcteur des accords pour la langue arabe non voyellée". conférence TALN'96, Marseille, mai 1996.

BELBE96 BEN HAMADOU A, BELGUITH L.

"Une méthode de vérification et correction des accords appliquée à l'arabe". conférence NLP+IA, Moncton (Canada), Juin 1996.

CHAIHAS 96 W. CHAINBI, C. HANNACHI, C. SIBERTIN-BLANC

"The prey/predator problem : A Petri Net solution" In Proc of the symposium on Discrete Events and Manufacturing Systems, CESA'96 IMACS Multiconference, IEEE-SMC, Lille, France July 9-12, 1996.

JMA 96 JMAIL M.

Specification of communication protocols using temporal logic. Journal of Systems and Software, Special Issue on Software Engineering for Distributed Computing, Vol. 33, No. 3, June 1996, pp. 299-312.

BEBEL97 BEN MEFTEH A., ELLOUZE M.,BEN HAMADOU A.

Génération de résumés de documents techniques: Utilisation de Modèles prédéfinis. Conférence INFORSID, Toulouse-France, juin 1997.

JMA 97 JMAIEL M.

A methodology for developing communication Protocols. Proceedings of the First Workshop on many facets of processes, 22-23 Septembre 1997, Gammarth TUNISIA.

CHAINBI 98 W. CHAINBI

"Proposition of formal semantics for Multi-Agent Systems". 24th International Conference on Computers & Industrial Engineering - CIE, Brunel University, Uxbridge, Middlesex, UK, September 9-11, 1998.

CHAIJBE 98 W. CHAINBI, M. JMAIEL, A. B. HAMADOU

"Multi-Agent Systems : from conception to Behavioral Semantics". IEEE International Conference on Intelligent Engineering Systems - INES'98, Vienna, September 17-19, 1998.

CHAIJBE 98 W. CHAINBI, M. JMAIEL, A. B. HAMADOU

"A new Approach to the Conception and the Behavioral Semantics of a Multi-Agent System" 2^nd IEEE International Conference on Intelligent Processing Systems - ICIPS'98, Goald Coast, Queensland, Australia, August 4-7, 1998.

CHAIJBE 98 W. CHAINBI, M. JMAIEL, A. B. HAMADOU

"Conception, Behavioral Semantics and formal Specification of Multi-Agent Systems". 4th Australian Workshop on Distributed Artificial Intelligence, Brisbane, Australia, 13th July, 1998. To appear in LNAI Series by Springer Verlag.

FOBEGA 98 FOURATI N., BEN HAMADOU A., GARGOURI F.

An Object oreinted model of human_machine communication interfaces in natural language, 17-18 Avril 1998 ICEMCO’98.

BEBEAL 97 Belguith L., Ben Hamadou A., Aloulou C.

Using the TOPSIS muticriteria approach to direct an agreement error correction process, Second International Conference, Recent Advances in Natural Language Processing (RANLP’97), 11-13 septembre 1997, Tzigov Chark, Bulgarie.

BEBEAL 97 Belguith L., Ben Hamadou A., Aloulou Chafik

An agreement error correction method based on a muticriteria approach : an application to Arabic language, 10^th International conference : Research On Computational Linguistics (ROCLING X ‘98), Aout 1997, Academica Sinica, Taipei, Taiwan.

BEBEAL 97 Belguith L., Ben Hamadou A., Aloulou Chafik

A Multicriteria approach to guide a process of agreement error correction: An application to Arabic language, 12^th Australian Joint Conference on Artificial Intelligence, 2-4 Décembre 1997, Perth, Western, Australia.

BEBE 97 Belguith L., Ben Hamadou A.

Agreement error correction : A combination of TOPSIS and SAW multicriteria methods, Forth Natural Language Pacific Rim Symposium (NLPRS ' 98), 2 - 4 décembre 1997, Puket, Thailand.

BEBE 97 Belguith L., Ben Hamadou A.

Correction des erreurs d’accord basée sur une approche multicritère de classement des scénarios : Le systeme DECORA, 13^éme Colloque sur la Reconnaissance des formes et Intelligence Artificielle : RFIA’98, 21-23 Janvier 1997, Clerment-Ferrant, France.

BEBE 97 BELGUITH L., BEN HAMADOU A.

Etiquetage morpho-syntaxique robuste des corpus de la langue Arabe, Forum de la Recherche en Informatique (FRI ' 96), 16-18 Juillet 1996, Tunis.

BEBE 98 Belguith L., Ben Hamadou A.

From agreement error detection to correction : an apllication to Arabic, Recent Advances in Natural Language Processing II, John Benjamins, Amsterdam/ Philadelphia, 1998.

Habe 96 Haddar K., Ben Hamadou A.

Un algorithme de recouvrement des ellipses sémantiques pour la langue arabe, Proceedings de FRI’96 14-16 Juillet Tunis, Tunisie.

HABE97 HADDAR K., BEN HAMADOU A.

Formal description of ellipses in Arabic lLanguage an Resolution Process. IEEE international Conference on Intelligent Processing Systems. Pekin, october, 1997.

GHDG97 F. GARGOURI, N. HADDAR, CF. DUCATEAU W. GARGOURI,

About cooperation for complex applications and information systems modelling, Proceedings of the International Conference on Industrial Engeneering and Production Management, 1997. Lyon, France, pp: 258-267.

Habe 98 Haddar K., Ben Hamadou A.

A detection algorithm of ellipses for the Arabic Language based on formal Characterisation, in proceeding of the 6th International Conference and exhibition on Multilingual Computing 17-18 April 1998, Cambridge, England.

Habe 98 Haddar K., Ben Hamadou A.

An ellipsis detection method based on a clause parser for Arabic, in proceeding of the Florida Artificial Intelligence Research Society (FLAIRS 98) 16-20 May 1998, Florida, USA.

Habe 98 Haddar K., Ben Hamadou A.

An Approach to Ellipsis Detection and Classification for the Arabic Language, in the proceedings of the eleventh International Conference on Industrial and Engeneering Applications of Artificial Intelligence and Expert Systems as a volume of the Springer Lecture Notes in Artificial Intelligence, June 1-4, 1998, Castellán, Spain.

Habe 98 Haddar K., Ben Hamadou A.

An Ellipsis Resolution Algorithm Using an ATN Clause Parser, in the proceedings of the seventh turkish symposium on artificiel intelligence and neural networks, June 24-26, 1998, Ankara, Turkey.

HGBH98 N. Haddar, F. Gargouri, A. Ben Hamadou,

Towards a cooperative information system modeling method based on integration of conceptual representations, to appear in the proceedings of the eleventh International FLorida Artificial Intelligence Research Society, May 17-20, 1998, Florida, USA.

HGBH98 N. Haddar, F. Gargouri, A. Ben Hamadou

Information systems integration: Some principles and ideas, in the proceedings of the eleventh International Conference on Industrial and Engeneering Applications of Artificial Intelligence and Expert Systems as a volume of the Springer Lecture Notes in Artificial Intelligence, June 1-4, 1998, Castellán, Spain.

GAR98 B. GARGOURI

An attempt to use formal methods in Natural Language Software Engineering, NorthWest Linguistic Conference NWLC’98, March 07-08, 1998, Burnaby, CANADA.

GAJMBE98 B. GARGOURI, M. JMAIEL, A. BEN HAMADOU

Intérêts des Méthodes Formelles en Génie Linguistique, TALN 1998, 10-12 Juin 1998, Paris, FRANCE.

GAJMBE98 B. GARGOURI, M. JMAIEL, A. BEN HAMADOU,

Vers l’utilisation des méthodes formelles pour le développement de linguiciels, COLING-ACL’98, 10-14 Août 1998, Montréal,Québec,CANADA.

FOBEGA 98 FOURATI N., BEN HAMADOU A., DJMAIEL M.

RSOO : Une Representation Semantique Orientée Objets de Requètes en Langage Naturel. INTERNATIONAL CONFERENCE ON NATURAL LANGUAGE PROCESSING AND INDUSTRIAL APPLICATIONS; NLP+IA 98. AUGUST 18-21 1998.

Moncton, New-Brunswick, CANADA.

GAJMBE99B. GARGOURI, M. JMAIEL, A. BEN HAMADOU

A formel approach to linguare development , 12th international conference on industrial and engineering applications of artificial intelligent and expert systems IEA/AIE'99, Mai 31, June 3 1999, Cairo Egypt.