Diagrams and computational efficacy

MaRDI QIDQ3367296zbMATH OpenFDO

Authors Kathi Fisler

Publication date 24 January 2006

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)

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

Cited in

(13)

• Image schemas and conceptual blending in diagrammatic reasoning: the case of Hasse diagrams
• Diagrammatic Representation and Inference
• Cognitive science approaches to understanding diagrammatic representations
• Accessible Reasoning with Diagrams: From Cognition to Automation
• Comparing the efficacy of visual languages
• Diagrammatic Representation and Inference
• scientific article; zbMATH DE number 1787142 (Why is no real title available?)
• Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
• scientific article; zbMATH DE number 1670617 (Why is no real title available?)
• Diagrammatic Representation and Inference
• Cognitive factors in programming with diagrams
• scientific article; zbMATH DE number 1670625 (Why is no real title available?)
• Diagrammatic Representation and Inference

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)