Sciweavers

72
Voted
ICCS
2000
Springer
15 years 11 days ago
Extending the CG Model by Simulations
Abstract. Conceptual graphs (CGs) share with FOL a fundamental expressiveness limitation: only higher-order logics allow assertions of properties on predicates. This paper intends ...
Jean-François Baget