WorldCat Identities

Dieng, Rose

Overview
Works: 19 works in 60 publications in 2 languages and 677 library holdings
Genres: Conference papers and proceedings 
Roles: Editor, Author, htt, Thesis advisor, Other, Contributor
Publication Timeline
.
Most widely held works by Rose Dieng
Knowledge engineering and knowledge management : methods, models, and tools : 12th international conference, EKAW 2000, Juan-les-Pins, France, October 2-6, 2000 : proceedings by Rose Dieng( Book )

25 editions published between 2000 and 2002 in English and French and held by 321 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 12th International Conference on Knowledge Engineering & Knowledge Management, EKAW 2000, held in Juan-les-Pins, France in October 2000. The 28 revised full papers & six revised short papers presented were carefully reviewed & selected from a high number of high-quality submissions. The book offers topical sections on knowledge modeling languages & tools, ontologies, knowledge acquisition from texts, machine learning, knowledge management & electronic commerce, problem solving methods, knowledge representation, validation, evaluation & certification, & methodologies
Computational conflicts : conflict modeling for distributed intelligent systems, with contributions by numerous experts by Heinz Jürgen Müller( Book )

11 editions published in 2000 in English and held by 244 WorldCat member libraries worldwide

The aim of this book is to bring together approaches from different subfields of Artificial Intelligence as well as adjoint disciplines in order to characterize a "computational model" of conflicts. The different views on computational conflicts are motivated as follows: Conflicts can occur in organizations among human agents, as well as in computational systems such as knowledge-based systems, or multi-agent systems. They can appear during problem solving or during communication. Their nature or processing can also be specific for some tasks (such as concurrent engineering and design). They can be formalized and techniques can be offered for detecting, managing or avoiding them
Méthodes et outils pour la gestion des connaissances( Book )

4 editions published in 2000 in French and held by 56 WorldCat member libraries worldwide

Sémantique formelle et spécifications algébriques du raisonnement sur les graphes conceptuels simples et étendus by Stéphane Lapalut( Book )

1 edition published in 1997 in French and held by 5 WorldCat member libraries worldwide

Ces travaux présentent une approche de la formalisation du raisonnement sur les graphes conceptuels proposés par J.F. Sowa. Dans la première partie, nous situons l'état de l'art et relevons les problématiques existantes dans ce formalisme. Nous en déduisons deux principales directions de travail : l'établissement d'une sémantique formelle pour les graphes conceptuels et l'étude d'une approche de grammaire de graphe permettant la spécification puis l'implantation des règles d'inférence sur ces graphes. La deuxième partie reconsidère le formalisme des graphes simples et propose les bases nécessaires à l'étude de leur extension à la négation. La troisième partie étend les graphes simples aux graphes étendus, qui intègrent principalement la logique et les règles d'inférence du système B de Peirce. Une sémantique au sens de Tarski, basée sur une interprétation du support d'une base de graphe, est proposée pour les deux types de graphes, incluant la négation dans le cas des graphes étendus. L'introduction de la notion de séquent de graphe permet l'étude de la validité de chaque opération de transformation et d'inférence sur les graphes conceptuels simples et étendus décrits. Un modèle algébrique pour chaque type de graphes permet l'établissement d'un schéma de graphe au sens du langage de spécification de grammaire de graphe progrès, à partir desquels chaque opération sur les graphes est spécifiée par une règle de grammaire de graphe. Les systèmes de requêtes par projections et par déduction se formalisent par des machines de grammaire de graphes utilisant deux approches de grammaires de graphes simples et étendus, pour lesquelles deux algorithmes non-déterministes sont proposés
Méthodes et outils d'acquisition des connaissances = Knowledge acquisition methods and tools by Rose Dieng( Book )

3 editions published in 1990 in French and held by 5 WorldCat member libraries worldwide

It presents some knowledge elicitation techniques, details some general methods and various knowledge acquisition tools. It also proposes criteria for comparison of such tools and, lastly, it presents current research trends."
Ingénierie de la connaissance dans le cadre de projets multi-experts : méthode, techniques et outil by Sofiane Labidi( Book )

2 editions published in 1995 in French and held by 4 WorldCat member libraries worldwide

LA PRISE EN COMPTE DE LA MULTI-EXPERTISE DANS LES PROJETS D'INTELLIGENCE ARTIFICIELLE A MONTRE L'INSUFFISANCE DES METHODES ET OUTILS CLASSIQUES D'ACQUISITION DES CONNAISSANCES. PAR AILLEURS, LES METHODES ET TECHNIQUES DEDIEES A LA MULTI-EXPERTISE DEVELOPPEES JUSQU'A PRESENT SONT TRES LIMITEES EN PARTICULIER AU NIVEAU DE LA MODELISATION. LES TRAVAUX DE RECHERCHE QUE NOUS PRESENTONS DANS CETTE THESE CONCERNENT LA DEFINITION D'UNE METHODE, D'UN ENSEMBLE DE TECHNIQUES ET D'UN OUTIL POUR L'ACQUISITION DES CONNAISSANCES A PARTIR DE MULTIPLES EXPERTS. LA METHODE D'ACQUISITION DES CONNAISSANCES QUE NOUS PROPOSONS EST FONDEE SUR LA DEFINITION D'UN MODELE D'AGENT COGNITIF ET D'UN ENSEMBLE DE MODELES APPELES MODELES DE L'INTERACTION (COOPERATION ET COMMUNICATION). CES MODELES SERVENT POUR LA DESCRIPTION DE L'ACTIVITE COOPERATIVE DE RESOLUTION DE PROBLEME PAR UN GROUPE D'EXPERTS. LE COGNITICIEN, SUITE A SON ANALYSE DE L'ACTIVITE DANS LE GROUPE, IDENTIFIE LES AGENTS ARTIFICIELS ADEQUATS NECESSAIRES POUR LA MODELISATION DU GROUPE D'EXPERTS ET INSTANCIE LES DIFFERENTS MODELES PROPOSES. AINSI, NOUS MODELISONS UN GROUPE D'EXPERTS, PAR UNE SOCIETE D'AGENTS EN INTERACTION. NOS CHOIX POUR LA DEFINITION DE NOS MODELES SONT JUSTIFIES PAR DES ETUDES SUR LES RECHERCHES EFFECTUEES DANS PLUSIEURS DOMAINES COMME L'INTELLIGENCE ARTIFICIELLE DISTRIBUEE, LA PSYCHOLOGIE SOCIALE ET LA DYNAMIQUE DES GROUPES. EN COMPLEMENT A LA METHODE, NOUS PROPOSONS UNE APPROCHE POUR LA GENERATION AUTOMATIQUE DE CONNAISSANCES CONSENSUELLES ENTRE EXPERTS. CETTE METHODE PRESENTE L'AVANTAGE D'ETRE FONDEE SUR LA METHODE FORMELLE DE DECOMPOSITION RECTANGULAIRE D'UNE RELATION BINAIRE, ELLE PEUT SERVIR POUR LE RAFFINEMENT DE LA MODELISATION AGENTS QUE NOUS OBTENONS. NOS DIFFERENTS MODELES SONT IMPLANTES ET CONSTITUENT LE NOYAU DE L'OUTIL D'ACQUISITION DES CONNAISSANCES A PARTIR DE MULTIPLES EXPERTS QUE NOUS AVONS DEVELOPPE
Exploitation de graphes conceptuels et de documents structurés et hypertextes pour l'acquisition de connaissances et la recherche d'informations by Philippe Martin( Book )

1 edition published in 1996 in French and held by 3 WorldCat member libraries worldwide

DES TACHES COURANTES LORS DE LA REALISATION D'UN SYSTEME A BASE DE CONNAISSANCES, SONT LA RECHERCHE ET LA REPRESENTATION D'INFORMATIONS CONTENUES DANS DES DOCUMENTS (E.G. DES RETRANSCRIPTIONS D'INTERVIEWS D'EXPERTS), LA CREATION ET LA MANIPULATION DE DOCUMENTS (E.G. DOCUMENTATION TECHNIQUE), LA RECHERCHE ET LA MANIPULATION DE CONNAISSANCES DANS UNE BASE DE CONNAISSANCES (E.G. POUR LES VALIDER). AFIN DE FACILITER L'EXECUTION DE TELLES TACHES PAR UN COGNITICIEN, NOUS AVONS CREE UN OUTIL LOGICIEL PERMETTANT L'UTILISATION COMBINEE A) DES TECHNIQUES AVANCEES DE STRUCTURATION ET DE GESTION DE DOCUMENTS OFFERTES PAR L'EDITEUR DE DOCUMENTS STRUCTURES ET HYPERTEXTES THOT, ET B) DE TECHNIQUES AVANCEES DE REPRESENTATION ET D'ORGANISATION DE CONNAISSANCES PERMISES PAR LE FORMALISME DES GRAPHES CONCEPTUELS. DES REPRESENTATIONS DE CONNAISSANCES PEUVENT AINSI A) ETRE STOCKEES, RECHERCHEES ET GEREES DANS DES DOCUMENTS VIA L'EDITEUR THOT, ET B) ETRE EXPLOITEES POUR PERMETTRE LA RECHERCHE DES INFORMATIONS QU'ELLES INDEXENT DANS DES DOCUMENTS. DE TELLES RECHERCHES PEUVENT S'EFFECTUER PAR NAVIGATION OU PAR REQUETE ET PERMETTRE LA GENERATION DE DOCUMENTS QUI SONT DES VUES SUR DES PARTIES DE DOCUMENTS OU DE LA BASE SELECTIONNEES SUR DES CRITERES CONCEPTUELS. DE PLUS, AFIN DE GUIDER ET FACILITER LE TRAVAIL DU COGNITICIEN DANS LA REPRESENTATION ET LA RECHERCHE DE CONNAISSANCES ET D'INFORMATIONS, NOUS AVONS CONSTITUE UNE ONTOLOGIE COMPRENANT A) DES TYPES DE RELATIONS ELEMENTAIRES USUELLES (RELATIONS RHETORIQUES, MEREOLOGIQUES, SPATIALES, TEMPORELLES, MATHEMATIQUES, ETC.), ET B) DES TYPES DE CONCEPTS GENERAUX QUE NOUS AVONS SPECIALISES PAR LES 90.000 TYPES DE CONCEPTS DE LA BASE GENERALE DE CONNAISSANCES TERMINOLOGIQUE WORDNET. NOUS MONTRONS COMMENT L'EXPLOITATION DE CETTE ONTOLOGIE PAR DES COGNITICIENS PERMET D'AMELIORER LA COHERENCE, L'EXTENSIBILITE ET LA REUTILISABILITE DE LEURS REPRESENTATIONS DE CONNAISSANCES
REPRESENTATION ET GESTION DE MULTIPLES POINTS DE VUE DANS LE FORMALISME DES GRAPHES CONCEPTUELS by Myriam Ribière( Book )

1 edition published in 1999 in French and held by 2 WorldCat member libraries worldwide

Contribution à la spécification du parallélisme : applications à CSP by Rose Dieng( )

1 edition published in 1983 in French and held by 2 WorldCat member libraries worldwide

This thesis presents a method to describe synchronization conditions as restrictions written in temporal logic and enclosed in an abstract data type presentation. The connection with the description of errors in abstract data types is shown. In the second part, a translation of the language C.S.P. into an algebraic formalism, A.C.P., is propounded. An operational semantics is deduced and the compatibility of this translation with PLOTKIN's operational semantics for C.S.P. is shown
The webcokace knowledge server by Olivier Corby( )

1 edition published in 1999 in English and held by 1 WorldCat member library worldwide

Knowledge acquisition modeling and management : 12th international conference, EKAW 2000, Juan-les-Pins, France, October 2-6, 2000 proceedings( Book )

1 edition published in 2000 in English and held by 1 WorldCat member library worldwide

Knowledge management and the internet by Rose Dieng( )

1 edition published in 2000 in English and held by 1 WorldCat member library worldwide

Modelling reasoning processes in diagnostic problem solving : a study across three domains by Laurence Alpay( Book )

1 edition published in 1996 in English and held by 1 WorldCat member library worldwide

Computational Conflicts : Conflict Modeling for Distributed Intelligent Systems( )

1 edition published in 2000 in English and held by 1 WorldCat member library worldwide

The aim of this book is to bring together approaches from different subfields of Artificial Intelligence as well as adjoint disciplines in order to characterize a "computational model" of conflicts. The different views on computational conflicts are motivated as follows: Conflicts can occur in organizations among human agents, as well as in computational systems such as knowledge-based systems, or multi-agent systems. They can appear during problem solving or during communication. Their nature or processing can also be specific for some tasks (such as concurrent engineering and design). They can be formalized and techniques can be offered for detecting, managing or avoiding them
Building and searching an XML-based corporate memory by Auguste Rabarijaona( )

1 edition published in 2000 in English and held by 1 WorldCat member library worldwide

Building of a Corporate Memory for Traffic-Accident Analysis by Rose Dieng( )

1 edition published in 1998 in English and held by 1 WorldCat member library worldwide

This article presents an experiment of expertise capitalization in road traffic-accident analysis. We study the integration of models of expertise from different members of an organization into a coherent corporate expertise model. We present our elicitation protocol and the generic models and tools we exploited for knowledge modeling in this context of multiple experts. We compare the knowledge models obtained for seven experts in accidentology and their representation through conceptual graphs. Finally, we discuss the results of our experiment from a knowledge capitalization viewpoint
Modeling conflicts in AI : ECAI '96 workshop (W24) by ECAI Workshop on Modeling Conflicts in AI( Book )

1 edition published in 1996 in English and held by 1 WorldCat member library worldwide

Knowledge engineering and knowledge management : ontologies and the semantic web : 13th international conference, EKAW 2002, Sigüenza, Spain, October 1-4, 2002 : proceedings by Asunción Gómez-Pérez( Book )

2 editions published in 2002 in English and held by 0 WorldCat member libraries worldwide

Annotation
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.71 (from 0.64 for Modelling ... to 1.00 for Computatio ...)

Knowledge engineering and knowledge management : methods, models, and tools : 12th international conference, EKAW 2000, Juan-les-Pins, France, October 2-6, 2000 : proceedings Knowledge acquisition modeling and management : 12th international conference, EKAW 2000, Juan-les-Pins, France, October 2-6, 2000 proceedings
Covers
Computational conflicts : conflict modeling for distributed intelligent systems, with contributions by numerous expertsKnowledge acquisition modeling and management : 12th international conference, EKAW 2000, Juan-les-Pins, France, October 2-6, 2000 proceedingsKnowledge engineering and knowledge management : ontologies and the semantic web : 13th international conference, EKAW 2002, Sigüenza, Spain, October 1-4, 2002 : proceedings
Languages
English (46)

French (14)