Gwen Kerdiles

Publication Activity (10 Years)

Years Active: 1997-1999
Publications (10 Years): 0

Publications

Gwen Kerdiles
Dynamic Semantics for Conceptual Graphs. ICCS (1999)
Gwen Kerdiles
Projection: A Unification Procedure for Tableaux in Conceptual Graphs. TABLEAUX (1997)
Gwen Kerdiles, Eric Salvat
A Sound and Complete CG Proof Procedure Combining Projections with Analytic Tableaux. ICCS (1997)