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
|
AB90
| 1991 Authored Book
| Robertson,DS; Bundy,A; Muetzelfeldt,R; Haggith,MC; Uschold,M
|
| Eco-Logic: Logic-Based Approaches to Ecological Modelling
|
| Chapter in Edited Book
|
CB915
| 1995 Chapter in Edited Book
| Funk,P; Robertson,DS
|
| Case-Based Support for the Design of Dynamic System Requirements
|
CB919
| 1995 Chapter in Edited Book
| Yang,S; Robertson,DS; Lee,J
|
| Use of Case-based Reasoning in the Domain of Building Regulations
|
CB748
| 1994 Chapter in Edited Book
| Correa da Silva,FS; Robertson,DS; Hesketh,J
|
| Automated Reasoning with Uncertainties
|
CB617
| 1993 Chapter in Edited Book
| Lui,W; Bundy,A; Robertson,DS
|
| Recovering Incidence Functions
|
CB618
| 1993 Chapter in Edited Book
| Lui,W; Bundy,A; Robertson,DS
|
| On the Relations Between Incidence Calculus and AIMS
|
CB543
| 1989 Chapter in Edited Book
| Robertson,DS; Bundy,A; Uschold,M; Muetzelfeldt,M
|
| Helping Inexperienced Users to Construct Simulation Programs: An Overview of the ECO Project
|
| Journal Paper
|
JP1067
| 1996 Journal Paper
| Fuchs,N; Robertson,DS
|
| Declarative Specification
|
JP1068
| 1996 Journal Paper
| Mota,Ed; Robertson,DS; Smaill,AD
|
| NatureTime: Temporal Granularity in Simulation of Ecosystems
|
JP916
| 1995 Journal Paper
| Robertson,DS; Haggith,MC; Kendon,GB; Agusti,J; Goldsborough,D
|
| The Application of Logic Programming to Decision Support Systems in Ecology
|
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
|
JP918
| 1995 Journal Paper
| Kendon,GB; Walker,DA; Robertson,DS; Haggith,MC; Sinclair,F; Muetzelfeldt,R
|
| Supporting Customised Reasoning in the Agroforesty Domain
|
JP975
| 1995 Journal Paper
| Yangs,S; Robertson,DS
|
| A Case-Based Reasoning System to Support the Relaxation of Building Regulations
|
JP739
| 1994 Journal Paper
| Bowles,A; Robertson,DS; Vasconcelos,W; Vargas-Vera,M; Bental,D
|
| Applying Prolog Programming Techniques
|
JP752
| 1994 Journal Paper
| Robertson,DS; Agusti,J; Hesketh,J; Levy,J
|
| Expressing Program Requirements Using Refinement Lattices
|
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
|
JP89
| 1991 Journal Paper
| Robertson,DS
|
| Multi-Level Cooperative Dialogue in Intelligent Front Ends
|
JP412
| 1989 Journal Paper
| Muetzelfeldt,R; Robertson,DS; Uschold,M; Bundy,A
|
| the Use of Prolog for Improving the Rigour and Accessibility of Ecological Modelling
|
JP542
| 1989 Journal Paper
| Robertson,DS; Bundy,A; Uschold,M; Muetzelfeldt,B
|
| the ECO Program Construction System: Ways of Increasing its Representation Power and Their Affects on the User Interface
|
| Paper in Conference Proceedings
|
PP1063
| 1996 Paper in Conference Proceedings
| Robertson,DS
|
| An Empirical Study of the LSS specification Toolkit in Use
|
PP1064
| 1996 Paper in Conference Proceedings
| Robertson,DS
|
| Domain Specific Problem Description
|
PP1065
| 1996 Paper in Conference Proceedings
| Robertson,DS
|
| Distributed Specification
|
PP1066
| 1996 Paper in Conference Proceedings
| Mota,Ed; Robertson,DS
|
| Representing Interaction of Agents at Different Time Granularities
|
PP1079
| 1996 Paper in Conference Proceedings
| Park,N; Robertson,DS
|
| A Connectionist Representation of Symbolic Compnents, Dynamic Bindings and Basic Inference Operations
|
PP1209
| 1995 Paper in Conference Proceedings
| Chen-Burger,J; Robertson,DS; Fraser,J; Lissoni,C
|
| KBST: A Support Tool for Business Modelling in BSDM
|
PP905
| 1995 Paper in Conference Proceedings
| Park,N; Robertson,DS
|
| A Localist Network Architecture for Log Inference Based on Temporal Synchrony Approach to Dynamic Variable Binding
|
PP924
| 1995 Paper in Conference Proceedings
| Mota,Ed; Haggith,MC; Smaill,AD; Robertson,DS
|
| Time Granularity in Simulation Models of Ecological Systems
|
PP227
| 1994 Paper in Conference Proceedings
| Correa da Silva,FS; Robertson,DS; Hesketh,J
|
| Automated Reasoning with Uncertainties
|
PP703
| 1994 Paper in Conference Proceedings
| Yang,S; Robertson,DS; Lee,J
|
| Use of Case-Based Reasoning in the Domain of Building Regulations
|
PP704
| 1994 Paper in Conference Proceedings
| Yang,S; Robertson,DS
|
| a Case-Based Reasoning System for Regulatory Information
|
PP726
| 1994 Paper in Conference Proceedings
| Funk,P; Robertson,DS
|
| Case-Based Selection of Requirements Specification for Telecommunication Systems
|
PP727
| 1994 Paper in Conference Proceedings
| Funk,D; Robertson,DS
|
| Requirements Specification of Telecommunication Services Assisted by Case-Based Reasoning
|
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
|
PP749
| 1994 Paper in Conference Proceedings
| Robertson,DS; Hesketh,J
|
| Making Specification Design More Accountable
|
PP750
| 1994 Paper in Conference Proceedings
| Vargas-Vera,M; Robertson,DS
|
| An Environment for Building Programs Based on Knowledge of their Construction
|
PP751
| 1994 Paper in Conference Proceedings
| Robertson,DS; Park,N; Agusti,J
|
| Layered Design of KBS from Specification to Hardware
|
PP334
| 1993 Paper in Conference Proceedings
| Chung,P; Abbas,S; Robertson,DS
|
| Representing Design Information and Safety Constraints
|
PP637
| 1993 Paper in Conference Proceedings
| Robertson,DS; Augusti,J; Hesketh,J; Levy,J
|
| Expressing Program Requirements using Refinement Lattices
|
PP638
| 1993 Paper in Conference Proceedings
| Yang,S; Robertson,DS; Lee,J
|
| KICS: a Knowledge-Intensive Case-Based Reasoning System for Building Regulations and Case Histories
|
PP167
| 1992 Paper in Conference Proceedings
| Robertson,DS
|
| a Simple PROLOG Techniques Editor for Novice Users
|
PP196
| 1992 Paper in Conference Proceedings
| Yang,S; Robertson,DS
|
| An Overview of the Intelligence Information System for Building Regulations and Standards
|
PP311
| 1992 Paper in Conference Proceedings
| Haggith,MC; Robertson,DS; Walker,DA; Sinclair,F; Muetzelfeldt,R
|
| TEAK: Tools for Eliciting Agroforestry Knowledge
|
PP13
| 1991 Paper in Conference Proceedings
| Correa da Silva,FS; Robertson,DS; Chung,P
|
| Automated Reasoning about an Uncertain Domain
|
| Research Paper
|
RP927
| 1999 Research Paper
| Kalfoglou,I; Robertson,DS
|
| An Experiment in Applying Ontologies to Augment and Reason about the Correctness of Specifications
|
RP937
| 1999 Research Paper
| Lecoeuche,R; Robertson,DS; Barry,C; Mellish,CS
|
| Evaluating Focus Theories for Requirements Elicitation
|
RP940
| 1999 Research Paper
| Carbogim,DV; Robertson,DS; Lee,J
|
| Extending the Abstract Argumentation Framework to Include Argument Dynamics
|
RP948
| 1999 Research Paper
| Kalfoglou,I; Robertson,DS
|
| Managing Ontological Constraints
|
RP887
| 1998 Research Paper
| Kalfoglou,I; Robertson,DS
|
| Error Checking in the Process Interchange Format (Pif) Ontology
|
RP891
| 1998 Research Paper
| Chen-Burger,J; Robertson,DS
|
| Formal Support for an Informal Business Modelling Method
|
RP923
| 1998 Research Paper
| Castro,A; Robertson,DS; Muetzelfeldt,R
|
| Domain-specific synthesis of simulation models
|
RP935
| 1998 Research Paper
| Kalfoglou,I; Robertson,DS
|
| Use of Formal Ontologies to Support Error Checking in Specifications
|
RP791
| 1996 Research Paper
| Robertson,DS
|
| An Empirical Study of the Lss Specificiation Toolkit in Use
|
RP792
| 1996 Research Paper
| Robertson,DS
|
| Domain Specific Problem Description
|
RP793
| 1996 Research Paper
| Robertson,DS
|
| Distributed Specification
|
RP796
| 1996 Research Paper
| Mota,Ed; Robertson,DS
|
| Representing Interaction of Agents at Different Time Granularities
|
RP823
| 1996 Research Paper
| Hesketh,J; Robertson,DS; Fuchs,N; Bundy,A
|
| Automating Reasoning Support for Design
|
RP730
| 1995 Research Paper
| Robertson,DS; Park,N; Agusti,J
|
| Layered Design of Kbs from Specification to Hardware
|
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
|
RP736
| 1995 Research Paper
| Chen-Burger,J; Robertson,DS; Fraser,J; Lissoni,C
|
| Kbst: a Support Tool for Business Modelling in Bsdm
|
RP740
| 1995 Research Paper
| Mota,Ed; Haggith,MC; Smaill,AD; Robertson,DS
|
| Time Granularity in Simulation Models of Ecological Systems
|
RP758
| 1995 Research Paper
| Yang,S; Robertson,DS
|
| A Case-Based Reasoning System to Support the Relaxation of Building Regulations
|
RP696
| 1994 Research Paper
| Yang,S; Robertson,DS; Lee,J
|
| Use of Case-Based Reasoning in the Domain of Building Regulations
|
RP698
| 1994 Research Paper
| Funk,P; Robertson,DS
|
| Case-Based Selection of Requirements Specifications for Telecommunication Systems
|
RP705
| 1994 Research Paper
| Bowles,A; Robertson,DS
|
| A Case-Based Reasoning Approach to Supporting Novice Programmers
|
RP718
| 1994 Research Paper
| Vargas-Vera,M; Robertson,DS
|
| An Environment for Building Prolog Programs Based on Knowledge About Their Construction
|
RP628
| 1993 Research Paper
| Yang,S; Robertson,DS; Lee,J
|
| Kics: a Knowledge-Intensive Case-Based Reasoning System for Statutory Building Regulations and Case Histories
|
RP635
| 1993 Research Paper
| Vargas-Vera,M; Vasconcelos,W; Robertson,DS
|
| Building Large-Scale Prolog Programs Using a Techniques Editing System
|
RP636
| 1993 Research Paper
| Vargas-Vera,M; Robertson,DS; Inder,R
|
| Combining Prolog Programs in a Techniques Editing System
|
RP641
| 1993 Research Paper
| Bowles,A; Robertson,DS; Vasconcelos,W; Vargas-Vera,M; Bental,D
|
| Applying Prolog Programming Techniques
|
RP648
| 1993 Research Paper
| Liu,W; Bundy,A; Robertson,DS
|
| Recovering Incidence Functions
|
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
|
RP610
| 1992 Research Paper
| Vargas-Vera,M; Robertson,DS; Inder,R
|
| An Environment for Combining Prolog Programs
|
RP611
| 1992 Research Paper
| Liu,W; Bundy,A; Robertson,DS
|
| On the Relationship Between Incidence Calculus and Atms
|
RP612
| 1992 Research Paper
| Vargas-Vera,M; Robertson,DS; Inder,R
|
| A Mathematical Framework for the Problem of Combination of Prolog Programs
|
RP523
| 1991 Research Paper
| Robertson,DS
|
| A Simple Prolog Techniques Editor for Novice Users
|
| Teaching Paper
|
TE8
| Teaching Paper
| Robertson,DS
|
| An Introduction to Logic
|
TE11
| 1989 Teaching Paper
| Robertson,DS
|
| An Introduction to Knowledge Representation and Expert Systems (Ai-2)
|
| Technical Paper
|
TP46
| 1998 Technical Paper
| Kalfoglou,I; Robertson,DS
|
| Error Detection in Specifications based on Ontologies
|
TP39
| 1996 Technical Paper
| Mota,Ed; Robertson,DS; Muetzelfeldt,R
|
| On the Granular Aspects of Time in Simulation Models
|
TP1
| 1988 Technical Paper
| Robertson,DS; Bundy,A; Muetzelfeldt,B; Uschold,M
|
| The Ecologic System
|
TP2
| 1988 Technical Paper
| Robertson,DS
|
| An Experiment in Increasing the Execution Speed of Prolog Simulation Programs Using Meta-Interpreters
|
| Working Paper
|
WP216
| 1988 Working Paper
| Robertson,DS; Bundy,A; Muetzelfeldt,B; Uschold,M
|
| The Ecologic System - See Technical Paper
|
|
|
RP956
| 1999
| Kalfoglou,I; Robertson,DS; Tate,AB
|
| Using Meta-Knowledge at the Application Level
|