The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge


Documents Authored by: Keith gardner

Please note that only papers and publications recorded in this departments database are shown here. An author may have many other papers and publications produced while working elsewhere which are not listed here. This page does not therefore represent a definitive list of this authors work.

Chapter in Edited Book

CB714 1994 Chapter in Edited Book Oberlander,J; Cox,R; gardner,K
Proof Styles and Multi-Modal Reasoning

Journal Paper

JP917 1995 Journal Paper Park,N; Robertson,DS; gardner,K
Extension of the Temporal Synchrony Approach to Dynamic Variable Binding in a Connectionist Inference System

Paper in Conference Proceedings

PP715 1994 Paper in Conference Proceedings Cox,R; gardner,K; Oberlander,J
Graphical Effects in Learning Logic: Reasoning Representation and Individual Differences
PP716 1994 Paper in Conference Proceedings gardner,K; Gurr,C; Oberlander,J; Cox,R
the Cognitive Properties of Graphical and Algebraic Representations
PP717 1994 Paper in Conference Proceedings gardner,K; Cox,R
Internal and External Representations in Teaching Logic
PP730 1994 Paper in Conference Proceedings Park,N; Robertson,DS; gardner,K
Reasoning with Limited Unification in a Connectionist Rule-Based System
PP731 1994 Paper in Conference Proceedings Park,N; Robertson,DS; gardner,K
from Dynamic Bindings to Further Symbolic Knowledge Representation Using Synchronous Action

Research Paper

RP731 1995 Research Paper Park,N; Robertson,DS; gardner,K
Reasoning with Limited Unification in a Connectionist Rule-Based System
RP732 1995 Research Paper Park,N; Robertson,DS; gardner,K
An Extension of the Temporal Synchrony Approach to Dynamic Variable Binding in a Connectionist Inference System
RP666 1993 Research Paper Park,N; Robertson,DS; gardner,K
An Extension of the Temporal Synchrony Solution to Dynamic Variable Bindings in a Connectionist System


[Search These Pages] [DAI Home Page] [Comment]