Results 11  20
of
4,049
Using Diagrammatic Reasoning for . . .
, 2004
"... This project looks at using diagrammatic reasoning to prove mathematical theorems. The work is motivated by a need for theorem provers whose reasoning is readily intelligible to human beings. It should also have practical applications in mathematics teaching. We focus on the continuous domain of ana ..."
Abstract
 Add to MetaCart
This project looks at using diagrammatic reasoning to prove mathematical theorems. The work is motivated by a need for theorem provers whose reasoning is readily intelligible to human beings. It should also have practical applications in mathematics teaching. We focus on the continuous domain
Tableaux for diagrammatic reasoning
 In Proceedings of the Eleventh International Conference on Distributed Multimedia Systems, International Workshop on Visual Languages and Computing
, 2005
"... Diagrammatic notations, such as the Unified Modeling Language (UML), are in common use in software development. They allow many aspects of software systems to be described diagrammatically, but typically they rely on textual notations for logical constraints. In contrast, spider diagrams provide a v ..."
Abstract

Cited by 8 (1 self)
 Add to MetaCart
Diagrammatic notations, such as the Unified Modeling Language (UML), are in common use in software development. They allow many aspects of software systems to be described diagrammatically, but typically they rely on textual notations for logical constraints. In contrast, spider diagrams provide a
Spatial Logic and the Complexity of Diagrammatic Reasoning
 MACHINE GRAPHICS AND VISION
, 1997
"... Researchers have sought to explain the observed "efficacy" of diagrammatic reasoning (DR) via the notions of "limited abstraction" and inexpressivity [17, 20]. We argue that application of the concepts of computational complexity to systems of diagrammatic representation is neces ..."
Abstract

Cited by 22 (2 self)
 Add to MetaCart
Researchers have sought to explain the observed "efficacy" of diagrammatic reasoning (DR) via the notions of "limited abstraction" and inexpressivity [17, 20]. We argue that application of the concepts of computational complexity to systems of diagrammatic representation
Diagrammatic Verification of Security Protocols
"... The Actor Specification Diagram Language is a rigorously defined graphical specification language, with features for modelling concurrency and asynchronous communication. These features make the language appropriate for the formal analysis of distributed security protocols. The graphical nature of t ..."
Abstract
 Add to MetaCart
of the language makes protocol descriptions easy to read and understand, vital properties for appeal to a wider user population. Proofs of protocol correctness can be given via graphical transformation, with each step of transformation justified by rigorous argument if desired. To illustrate the utility of a
Diagrammatic Representations in DomainSpecific Languages
, 2000
"... One emerging approach to reducing the labour and costs of software development favours the specialisation of techniques to particular application domains. The rationale is that programs within a given domain often share enough common features and assumptions to enable the incorporation of substantia ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
suggests that the most appropriate representation of programs in many domains is diagrammatic, in a way which derives from existing design notations in the domain. This thesis conducts an investigation, using mathematical techniques and supported by case studies, of issues arising from the use
Diagrammatic Reasoning in Logic Programming
, 1998
"... A refutation tree is a standard twodimensional representation of resolution derivations. Given a logic program, a computation rule and a goal, different resolution derivations result from selecting different matching clauses in the program. These derivations can be visualized as separate branches i ..."
Abstract
 Add to MetaCart
introduce in a visual way basic logic programming concepts such as resolution strategies and finite failure. This might facilitate learning logic programming and Prolog. We are actually using here the computational efficiency for students of diagrams to represent logic programming proof concepts. Also
A Cognitive Exploration of the “NonVisual” Nature of Geometric Proofs
"... Why are Geometric Proofs (Usually) “NonVisual”? We asked this question as a way to explore the similarities and differences between diagrams and text (visual thinking versus language thinking). Traditional textbased proofs are considered (by many to be) more rigorous than diagrams alone. In this p ..."
Abstract
 Add to MetaCart
Why are Geometric Proofs (Usually) “NonVisual”? We asked this question as a way to explore the similarities and differences between diagrams and text (visual thinking versus language thinking). Traditional textbased proofs are considered (by many to be) more rigorous than diagrams alone
Combining Dynamic Geometry, Automated Geometry Theorem Proving And Diagrammatic Proofs
 Proceedings of the European Joint Conferences on Theory and Practice of Software (ETAPS) Satellite Workshop on User Interfaces for Theorem Provers (UITP
, 2005
"... This paper outlines Geometry Explorer, a prototype system that allows users to create Euclidean geometry constructions using a dynamic geometry interface, specify conjectures about them and then use a fullangle method prover to automatically produce diagram independent, humanreadable proofs to the ..."
Abstract

Cited by 9 (1 self)
 Add to MetaCart
This paper outlines Geometry Explorer, a prototype system that allows users to create Euclidean geometry constructions using a dynamic geometry interface, specify conjectures about them and then use a fullangle method prover to automatically produce diagram independent, humanreadable proofs
Spider diagrams: A diagrammatic reasoning system
 Journal of Visual Languages and Computing
, 2001
"... Spider diagrams combine and extend Venn diagrams and Euler circles to express constraints on sets and their relationships with other sets. These diagrams can be used in conjunction with objectoriented modelling notations such as the Unified Modeling Language. This paper summarises the main syntax a ..."
Abstract

Cited by 47 (12 self)
 Add to MetaCart
that no semantic information is lost. The relationship of this system of spider diagrams to other similar systems, which are known to be sound and complete, is explored briefly.
Results 11  20
of
4,049