| 2015 | ICAART | LS ^2 C - A Platform for Norm Controlled Social Computers. | Flvio S. Corra da Silva, David Stuart Robertson, Wamberto Weber Vasconcelos |
| 1999 | EKAW | Use of Formal Ontologies to Support Error Checking in Specifications. | Yannis Kalfoglou, David Stuart Robertson |
| 1999 | IJCAI | Using Focus Rules in Requirements Elicitation Dialogues. | Renaud Lecoeuche, Catherine Barry, David Stuart Robertson |
| 1998 | LOPSTR | Pragmatics in the Synthesis of Logic Programs. | David Stuart Robertson, Jaume Agust-Cullell |
| 1996 | ECAI | Distributed Specification. | David Stuart Robertson |
| 1996 | SEKE | An Empirical Study of the LSS Specification Toolkit in Use. | David Stuart Robertson |
| 1996 | TIME | Representing Interaction of Agents at Different Time Granularities. | Edjard Mota, David Stuart Robertson |
| 1993 | ECSQARU | Recovering Incedence Functions. | Weiru Liu, Alan Bundy, David Stuart Robertson |
| 1993 | ECSQARU | On the Relations between Incidence Calculus and ATMS. | Weiru Liu, Alan Bundy, David Stuart Robertson |
| 1993 | ICAIL | KICS: A Knowledge-Intensive Case-Based Reasoning System for Statutory Building Regulations and Case Histories. | Soon-Ae Yang, David Stuart Robertson, John Lee |
| 1993 | ISMIS | Expressing Program Requirements Using Refinement Lattices. | David Stuart Robertson, Jaume Agust-Cullell, Jane Hesketh, Jordi Levy |
| 1993 | LOPSTR | Combining Prolog Programs in a Techniques Editing System (Abstract). | Maria Vargas-Vera, David Stuart Robertson, Robert Inder |
| 1991 | ECSQARU | Automated Reasoning About an Uncertain Domain. | Flvio S. Corra da Silva, David Stuart Robertson, Paul W. H. Chung |