G. Kerdiles

Saying It with Pictures: a logical landscape of conceptual graphs

G. Kerdiles, G. Kerdiles, 2001 .

Dynamic Semantics for Conceptual Graphs

G. Kerdiles, 1999, ICCS.

A Sound and Complete CG Proof Procedure Combining Projections with Analytic Tableaux

Eric Salvat, Gwen Kerdiles, E. Salvat, 1997, ICCS.

Projection: A Unification Procedure for Tableaux in Conceptual Graphs

Gwen Kerdiles, G. Kerdiles, 1997, TABLEAUX.