Logic and Visual Information

Authors:
Eric M. Hammer
Affiliations:
-
Venue:
Logic and Visual Information
Year:
1996

Citing 0
Cited 49

The Graphic-Linguistic DistinctionExploring Alternatives

Artificial Intelligence Review
Fluid sketches: continuous recognition and morphing of simple hand-drawn shapes

UIST '00 Proceedings of the 13th annual ACM symposium on User interface software and technology
The Graphic-Linguistic DistinctionExploring Alternatives

Artificial Intelligence Review
Aligning Logical and Psychological Perspectives on Diagrammatic Reasoning

Artificial Intelligence Review
Alloy: a lightweight object modelling notation

ACM Transactions on Software Engineering and Methodology (TOSEM)
Type-syntax and token-syntax in diagrammatic systems

Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
On Automating Diagrammatic Proofs of Arithmetic Arguments

Journal of Logic, Language and Information
Editorial: Efficacy of Diagrammatic Reasoning

Journal of Logic, Language and Information
An Embedding of Existential Graphs into Concept Graphs with Negations

ICCS '02 Proceedings of the 10th International Conference on Conceptual Structures: Integration and Interfaces
On the Completeness and Expressiveness of Spider Diagram Systems

Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
Reviving the Iconicity of Beta Graphs

Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
Logical Systems and Formality

Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
Generating Euler Diagrams

DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
On Diagram Tokens and Types

DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
Corresponding Regions in Euler Diagrams

DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
Diagram processing: computing with diagrams

Artificial Intelligence
Constraint Diagrams: A Step Beyond UML

TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
A diagrammatic inference system for the web

Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
A computational architecture for heterogeneous reasoning

Journal of Experimental & Theoretical Artificial Intelligence
A diagrammatic reasoning system for the description logic ALC

Journal of Visual Languages and Computing
Diagrammatic Reasoning Systems

ICCS '08 Proceedings of the 16th international conference on Conceptual Structures: Knowledge Visualization and Reasoning
Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages

Diagrams '08 Proceedings of the 5th international conference on Diagrammatic Representation and Inference
Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design

Diagrams '08 Proceedings of the 5th international conference on Diagrammatic Representation and Inference
Euler diagram generation

Journal of Visual Languages and Computing
Exploring Human Factors in Formal Diagram Usage

Engineering Interactive Systems
The Advent of Formal Diagrammatic Reasoning Systems

ICFCA '09 Proceedings of the 7th International Conference on Formal Concept Analysis
Real Time Machine Deduction and AGI

Proceedings of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference
Vivid: A framework for heterogeneous problem solving

Artificial Intelligence
A graph theoretic approach to general Euler diagram drawing

Theoretical Computer Science
Abstractions of Euler Diagrams

Electronic Notes in Theoretical Computer Science (ENTCS)
Measuring and Reducing Clutter in Euler Diagrams

Electronic Notes in Theoretical Computer Science (ENTCS)
A Survey of Reasoning Systems Based on Euler Diagrams

Electronic Notes in Theoretical Computer Science (ENTCS)
Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named Constants and FOL

Electronic Notes in Theoretical Computer Science (ENTCS)
Investigating Reasoning with Constraint Diagrams

Electronic Notes in Theoretical Computer Science (ENTCS)
Logicographic symbols

Journal of Symbolic Computation
The semantics of augmented constraint diagrams

Journal of Visual Languages and Computing
The efficacy of euler and Venn diagrams in deductive reasoning: empirical findings

Diagrams'10 Proceedings of the 6th international conference on Diagrammatic representation and inference
Fragments of spider diagrams of order and their relative expressiveness

Diagrams'10 Proceedings of the 6th international conference on Diagrammatic representation and inference
Reasoning with coincidence grids-A sequent-based logic and an analysis of complexity

Journal of Visual Languages and Computing
A decision procedure for a decidable fragment of generalized constraint diagrams

Journal of Visual Languages and Computing
Some notes on proofs with alpha graphs

ICCS'06 Proceedings of the 14th international conference on Conceptual Structures: inspiration and Application
Syntactic variety in boundary logic

Diagrams'06 Proceedings of the 4th international conference on Diagrammatic Representation and Inference
Defining euler diagrams: simple or what?

Diagrams'06 Proceedings of the 4th international conference on Diagrammatic Representation and Inference
Generalizing spiders

Diagrams'06 Proceedings of the 4th international conference on Diagrammatic Representation and Inference
The logic of geometric proof

Diagrams'06 Proceedings of the 4th international conference on Diagrammatic Representation and Inference
A Diagrammatic Inference System with Euler Circles

Journal of Logic, Language and Information
What can concept diagrams say?

Diagrams'12 Proceedings of the 7th international conference on Diagrammatic Representation and Inference
Completeness proofs for diagrammatic logics

Diagrams'12 Proceedings of the 7th international conference on Diagrammatic Representation and Inference
Syllogisms in Rudimentary Linear Logic, Diagrammatically

Journal of Logic, Language and Information

Quantified Score

Hi-index	0.00

Visualization

Abstract

From the Publisher:The importance of visual information is clear from its frequent presence in everyday reasoning and communication, and also in computation. This book examines the logical foundations of visual information presented in the form of diagrams, graphs, charts, tables and maps.