This book provides a de? nition and study of a knowledge representation and r-soning
formalism stemming from conceptual graphs, while focusing on the com-tational properties …

This work concerns multi-agents systems for the management of a corporate semantic web
based on an ontology. It was carried out in the context of the European project CoMMA …

This article presents a verification and validation approach which is used here in order to
complete the classical tool box the industrial user may utilize in enterprise modeling and …

We present a graph-based KR model issued from Sowa's conceptual graphs but studied
and developed with a speci c approach. Formal objects are kinds of labelled graphs, which …

Today, advances in Artificial Intelligence (AI) have led to the emergence of systems that can
automate complex processes, using models that can be difficult to understand by humans …

The aim of contextual logic is to provide a formal theory of elementary logic, which is based
on the doctrines of concepts, judgements, and conclusions. Concepts are mathematized …

By" knowledge retrieval", we refer to the automatic retrieval of statements permitting a tool to
make logical inferences and answer queries precisely and correctly, as opposed to …

This volume was born from the experience of the authors as researchers and educators,
which suggests that many students of data mining are handicapped in their research by the …

A platform allowing typed nested graphs: How CoGITo became CoGITaNT Page 1 A Platform
Allowing Typed Nested Graphs: How CoGITo Became CoGITaNT David Genest and Eric …

The research works on knowledge validation aim at enhancing the quality of knowledge
bases. The conceptual graph model is a knowledge representation model which belongs to …