MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Reasoning with Diagrammatic Representations." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

15 documents found, showing 1 through 10. Next 10 →

ATOM

: Reasoning with Diagrammatic Representations. Stanford University. 83--91. Schlieder, C. (in preparation
by Christoph Schlieder — 1996
… bears some resemblance to diagrammatic reasoning. In both cases a spatial representation is build up…
Cited by 2 (0 self) – Add To MetaCart

Reasoning With Diagrams Only
by George Furnas, Etchemendy — AAAI Spring Symposium on Reasoning with Diagrammatic Representations: Working Notes, 118--123. American Association for Artificial Intelligence
… in newer systems that also reason from diagrams sentential representations still play a major role…
Cited by 4 (0 self) – Add To MetaCart

Dr.Doodle: A Diagrammatic Theorem Prover
by Daniel Winterstein Alan, Alan Bundy, Corin Gurr — 2004 — In Proceedings of The International Joint Conference on Automated Reasoning, LNCS
…-inductive reasoning, with diagrammatic representations for metric-space and real-line analysis concepts (involving…
Add To MetaCart

Studies on the Formal Semantics of Pictures
by Academisch Proefschrift, Dejuan Wang, Dejuan Wang, Promotor Prof. Dr. Ir, R. J. H. Scha — 1995
…-morphism : : : : : : : : : : : : : : : : : : : : : : : : : : : : 70 10.3.4 Reasoning with diagrammatic representations : : : : : : : : : 73 10.3.5 Examples…
Add To MetaCart

Diagrammatic Reasoning for
by Marcello Frixione, Renato Zaccaria
… representations for reasoning about dynamic aspects of the world. Diagrammatic knowledge representa- tion…
Add To MetaCart

Diagrammatical Aspects of Qualitative Representations of Space
by Daniel Hernández
… at the 1992 AAAI Spring Symposium on Reasoning with Diagrammatic Representations, March 25-27th, 1992…
Cited by 2 (1 self) – Add To MetaCart

in Diagrammatic Reasoning
by Jungpil Hahn, Hyoungmee Hahn, Jinwoo Kim, Jinwoo Kim — 1999
… are involved in reasoning with diagrammatic representations (Larkin and Simon, 1987). Some studies have…
Cited by 3 (0 self) – Add To MetaCart

Situated design interpretation using a configuration of actor capabilities
by John S. Gero, Scott Chase, Mike Rosenman (eds, Gregory J Smith, John, S Gero — 2001 — University of Sydney, Sydney
… the research into diagrammatic reasoning. With diagrammatic representations, topological and geometrical…
Cited by 2 (1 self) – Add To MetaCart

A Visual Logic Programming Language
by Jordi Puigsegur, Jaume Agusti, Dave Robertson — 1996 — In Proc. of the 12th IEEE Symposium on Visual Languages
… of [10] and also that of [4, 3] is to reason with diagrammatic representations because they correspond…
Cited by 13 (11 self) – Add To MetaCart

Copyright 1997 IEEE. Published in the Proceedings of VL'96, September 6--9, 1996 in Boulder, Colorado, USA. Personal use of this material is permitted.
by However Permission To, Jordi Puigsegur, Jaume Agustí, Dave Robertson — 1996 — In Proc. of the 12th IEEE Symposium on Visual Languages
… ideas behind this work come mainly from two areas: diagrammatic reasoning and visual pro- This work…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB