Gwen Kerdiles

According to our database¹, Gwen Kerdiles authored at least 3 papers between 1997 and 1999.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1999

Dynamic Semantics for Conceptual Graphs.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Structures: Standards and Practices, 1999

1997

Projection: A Unification Procedure for Tableaux in Conceptual Graphs.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1997

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

[BibT_eX]

[DOI]

Proceedings of the Conceptual Structures: Fulfilling Peirce's Dream, 1997