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


Documents Authored by: Paul Brna

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.

Authored Book

AB435 1990 Authored Book Brna,P; Pain,HG; du Boulay,B
Teaching, Learning and Using Prolog

Chapter in Edited Book

CB522 1990 Chapter in Edited Book Mendelsohn,P; Green,T; Brna,P
Programming Languages in Education: the Search for an Easy Start

Edited Book

EB122 1992 Edited Book Brna,P; Howe,J
Automated Diagnosis of Misconceptions about Electricity: What are the Prospects?
EB123 1992 Edited Book Brna,P; Bundy,A; Pain,HG
a Framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs
EB84 1991 Edited Book Pain,HG; Brna,P; du Boulay,B
Teaching, Learning and Using Prolog

Journal Paper

JP885 1995 Journal Paper Bull,S; Brna,P; Pain,HG
Extending the Scope of the Student Model
JP886 1995 Journal Paper Bull,S; Pain,HG; Brna,P
Mr Collins: a Collaboratively Constructed, Inspectable Student Model for Intelligent Computer Assisted Language Learning
JP125 1993 Journal Paper Brna,P
Teaching Prolog Techniques
JP23 1991 Journal Paper Brna,P
Promoting Creative Confrontations
JP24 1991 Journal Paper Brna,P; Pain,HG; du Boulay,B
Teaching, Learning and Using Prolog: Supporting the Programmer
JP25 1991 Journal Paper Brna,P; Brayshaw,M; Bundy,A; Dodd,T; Elsom-Cook,M; Fung,P
An Overview of Prolog Debugging Tools
JP26 1991 Journal Paper Smith,B; van Someren,M; Brna,P; Bundy,A; Dodd,T; Eisenstadt,M; Looi,C; Pain,HG; Robertson,DS
Prolog Programming Techniques
JP27 1991 Journal Paper Bundy,A; Grosse,G; Brna,P
a Recursive Techniques Editor for Prolog
JP430 1990 Journal Paper Brna,P
a Computer Based Methodology to Aid in Confronting Science Misconceptions
JP432 1990 Journal Paper Brna,P; Pain,HG; du Boulay,B
Teaching Learning and Using Prolog: Understanding Prolog
JP436 1990 Journal Paper Brna,P
a Methodology for Confronting Science Misconceptions
JP339 1989 Journal Paper Brna,P
Programmed Rockets: An Analysis of Students' Strategies

Paper in Conference Proceedings

PP979 1995 Paper in Conference Proceedings Aziz,N; Pain,HG; Brna,P
Handling Contradictions in Student Modelling in Translating Algebraic Problems Systems (TAPS)
PP982 1995 Paper in Conference Proceedings Aziz,N; Pain,HG; Brna,P
Modelling and Mending Student's Misconceptions in Translating Algebra Word Problems Using a Belief Revision System in TAPS
PP722 1994 Paper in Conference Proceedings Good,J; Brna,P; Pain,HG
Prolog Unification: Diverse Teaching Strategies for Novices
PP733 1994 Paper in Conference Proceedings Bull,S; Pain,HG; Brna,P
Student Modelling beyond Domain Knowledge
PP676 1993 Paper in Conference Proceedings Bowles,A; Brna,P
Programming Plans and Programming Techniques
PP691 1993 Paper in Conference Proceedings Pain,HG; Bull,S; Brna,P
Collaboration and Reflection in the Construction of a Student Model for Intelligent Computer Assisted Language Learning
PP692 1993 Paper in Conference Proceedings Pain,HG; Brna,P; Warr,K; Chiam,S
Learning to Diagnose Algebra Errors
PP693 1993 Paper in Conference Proceedings Pain,HG; Hernandez,R; Brna,P
Learning ROLOG Debugging Skills
PP694 1993 Paper in Conference Proceedings Pain,HG; Bull,S; Brna,P
Student Modelling in an Intelligent Computer Assisted Learning System
PP126 1992 Paper in Conference Proceedings Brna,P; Caiger,A
the Application of Cognitive Diagnosis to the Quantitative Analysis of Simple Electrical Circuits
PP233 1992 Paper in Conference Proceedings Bundy,A; Brna,P; Pain,HG
a Framework for the Principled Debugging of PROLOG Programs: How to Debug Non-Terminating Programs

PhD Thesis

PT8705 1987 PhD Thesis Brna,P
Confronting Science Misconceptions with the Help of a Computer.

Research Paper

RP815 1996 Research Paper Pain,HG; Bull,S; Brna,P
A Student Model "for Its Own Sake"
RP759 1995 Research Paper Bull,S; Pain,HG; Brna,P
Mr Collins: a Collaboratively Constructed, Inspectable Student Model for Intelligent Computer Assisted Language Learning
RP761 1995 Research Paper Bull,S; Brna,P; Pain,HG
Extending the Scope of the Student Model
RP770 1995 Research Paper Aziz,N; Pain,HG; Brna,P
Modelling and Mending Students' Misconceptions in Translating Algebra Word Problems Using a Belief Revision System in Taps
RP771 1995 Research Paper Aziz,N; Pain,HG; Brna,P
Handling Contradictions in Learner Modelling in the "Translating Algebraic Problems System" (Taps)
RP686A 1994 Research Paper Cox,R; Brna,P
Supporting the Use of External Representations in Problem Solving: the Need for Flexible Learning Environments
RP713 1994 Research Paper Bull,S; Pain,HG; Brna,P
Student Modelling Beyond Domain Knowledge
RP637 1993 Research Paper Bowles,A; Brna,P
Programming Plans and Programming Techniques
RP646 1993 Research Paper Cox,R; Brna,P
The Relationship Between External Representations and Analytical Reasoning Performance: Implications for the Design of a Learning Environment
RP656 1993 Research Paper Bull,S; Pain,HG; Brna,P
Collaboration and Reflection in the Construction of a Student Model for Intelligent Computer Assisted Language Learning
RP665 1993 Research Paper Bull,S; Pain,HG; Brna,P
Student Modelling in an Intelligent Computer Assisted Language Leraning System: the Issues of Language Transfer and Learning Strategies
RP530 1991 Research Paper Brna,P
Teaching Prolog Techniques
RP545 1991 Research Paper Brna,P; Howe,J
Automated Diagnosis of Misconceptions About Electricity: what are the Prospects
RP576 1991 Research Paper Brna,P; Caiger,A
The Application of Cognitive Diagnosis to the Quantitative Analysis of Simple Electrical Circuits
RP472 1990 Research Paper Brna,P; Bundy,A; Pain,HG
A Framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs
RP491 1990 Research Paper Brna,P
Promoting Creative Confrontations

Technical Paper

TP3 1988 Technical Paper Brna,P; Bundy,A; Pain,HG
Prolog: a Survey of Available Tools

Working Paper

WP253 1993 Working Paper Brna,P
Computer Aided Recognition of Misconceptions About Simple Electrical Circuits
WP249 1992 Working Paper Brna,P
The Specification of Objects, Processes and Concepts
WP250 1992 Working Paper Brna,P
Guiding and Supporting the Exploration of Electrical Circuits
WP251 1992 Working Paper Brna,P
Experiments in Circuit Construction: do Students Reason with, and About Processes ?
WP252 1992 Working Paper Brna,P
How do Beliefs Affect the Construction of Electrical Circuits ?
WP246 1991 Working Paper Brna,P
A Framework for Describing Misconceptions in Relation to Building Simple Electrical Circuits
WP247 1991 Working Paper Brna,P
The Structural Description of Electrical Objects
WP248 1991 Working Paper Brna,P
Recognising Objects in Electrical Circuits
WP242 1990 Working Paper Brna,P
The Representation of Electrical Processes
WP243 1990 Working Paper Brna,P
Issues Relating to the Circuit Animator
WP244 1990 Working Paper Brna,P
Representing Circuit Construction Tasks
WP245 1990 Working Paper Brna,P
An Outline Design for a System to Explore the Automated Recognition of Misconceptions
WP212 1987 Working Paper Brna,P; Bundy,A; Pain,HG; Lynch,L
Impurities and the Proposed Prolog Story


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