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
|