Diagrams and computational efficacy

zbMATH Open1087.03508MaRDI QIDQ3367296FDOQ3367296

Authors: Kathi Fisler 

Publication date: 24 January 2006

Recommendations

• Thinking with diagrams.
• scientific article; zbMATH DE number 2086730
• Diagrammatic reasoning: An artificial intelligence perspective
• scientific article; zbMATH DE number 918108
• Mathematical Knowledge Management

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mechanization of proofs and logical operations (03B35) Temporal logic (03B44) Logic in computer science (03B70)

Cited In (13)

• Diagrammatic Representation and Inference
• Diagrammatic Representation and Inference
• Cognitive science approaches to understanding diagrammatic representations
• Title not available (Why is that?)
• Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
• Image schemas and conceptual blending in diagrammatic reasoning: the case of Hasse diagrams
• Title not available (Why is that?)
• Diagrammatic Representation and Inference
• Diagrammatic Representation and Inference
• Cognitive factors in programming with diagrams
• Accessible Reasoning with Diagrams: From Cognition to Automation
• Title not available (Why is that?)
• Comparing the efficacy of visual languages

This page was built for publication: Diagrams and computational efficacy

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3367296)