ArticlesA graphical approach to relational reasoning1
Under a Creative Commons license
open access
Keywords
Formalized reasoning
algebra of dyadic relations
labeled multigraphs
Peircean existential diagrams
graph transformation
Cited by (0)
- 1
This research was partially funded by the Italian CNR (coordinated project log(SETA)); by MURST PGR-2000; by the EC TMR Network GETGRATS; and by Esprit Working Group APPLIGRAPH.
Copyright © 2003 Published by Elsevier B.V.