David Stuart Robertson

2004
34	EE	Wamberto Weber Vasconcelos, David Stuart Robertson, Carles Sierra, Marc Esteva, Jordi Sabater, Michael Wooldridge: Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming. Ann. Math. Artif. Intell. 41(2-4): 135-169 (2004)
2002
33	EE	Flávio S. Corrêa da Silva, Wamberto Weber Vasconcelos, David Stuart Robertson, Virgínia V. B. Biris Brilhante, Ana Cristina Vieira de Melo, Marcelo Finger, Jaume Agustí-Cullell: On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions. Knowl.-Based Syst. 15(3): 147-167 (2002)
2001
32	EE	Wamberto Weber Vasconcelos, David Stuart Robertson, Jaume Agustí-Cullell, Carles Sierra, Michael Wooldridge, Simon Parsons, Christopher Walton, Jordi Sabater: A Lifecycle for Models of Large Multi-agent Systems. AOSE 2001: 297-318
31	EE	João M. B. Cavalcanti, David Stuart Robertson: Synthesis of Web Sites from High Level Descriptions. Web Engineering 2001: 190-203
2000
30	EE	David Stuart Robertson, Flávio S. Corrêa da Silva, Wamberto Weber Vasconcelos, Ana Cristina Vieira de Melo: A Lightweight Capability Communication Mechanism. IEA/AIE 2000: 660-670
1999
29	EE	Yannis Kalfoglou, David Stuart Robertson: Use of Formal Ontologies to Support Error Checking in Specifications. EKAW 1999: 207-224
28		Flávio S. Corrêa da Silva, Jaume Agustí-Cullell, Ana Cristina Vieira de Melo, Wamberto Weber Vasconcelos, David Stuart Robertson: Why Ontologies Are Not Enough for Knowledge Sharing. IEA/AIE 1999: 520-529
27		Renaud Lecoeuche, Catherine Barry, David Stuart Robertson: Using Focus Rules in Requirements Elicitation Dialogues. IJCAI 1999: 649-654
26		David Stuart Robertson: Desert Island Column: The Books Don't Work. Autom. Softw. Eng. 6(4): 441-443 (1999)
1998
25	EE	Renaud Lecoeuche, Chris Mellish, David Stuart Robertson: A Framework for Requirements Elicitation through Mixed-Initiative Dialogue. ICRE 1998: 190-
24	EE	David Stuart Robertson, Jaume Agustí-Cullell: Pragmatics in the Synthesis of Logic Programs. LOPSTR 1998: 41-60
23		Jane Hesketh, David Stuart Robertson, Norbert E. Fuchs, Alan Bundy: Lightweight Formalisation in Support of Requirements Engineering. Autom. Softw. Eng. 5(2): 183-210 (1998)
22		Jaume Agustí-Cullell, Jordi Puigsegur, David Stuart Robertson: A Visual Syntax for Logic and Logic Programming. J. Vis. Lang. Comput. 9(4): 399-427 (1998)
1996
21		David Stuart Robertson: Distributed Specification. ECAI 1996: 390-394
20		David Stuart Robertson: An Empirical Study of the LSS Specification Toolkit in Use. SEKE 1996: 153-160
19		Edjard Mota, David Stuart Robertson: Representing Interaction of Agents at Different Time Granularities. TIME 1996: 72-79
18		Jordi Puigsegur, Jaume Agustí-Cullell, David Stuart Robertson: A Visual Logic Programming Language. VL 1996: 214-221
17		Edjard Mota, David Stuart Robertson, Alan Smaill: NatureTime: Temporal Granularity in Simulation of Ecosystems. J. Symb. Comput. 22(5/6): 665-698 (1996)
1995
16		Peter J. Funk, David Stuart Robertson: Capturing and Matching Dynamic Behaviour in Case-Based Reasoning. UK Workshop on Case-Based Reasoning 1995: 85-90
1994
15		Peter J. Funk, David Stuart Robertson: Case-Based Support for the Design of Dynamic System Requirements. EWCBR 1994: 211-225
14		Soon-Ae Yang, David Stuart Robertson, John Lee: Use of Case-Based Reasoning in the Domain of Building Regulations. EWCBR 1994: 292-306
13		Maria Vargas-Vera, David Stuart Robertson: An Environment for Building Prolog Programs Based on Knowledge about their Construction. WLP 1994: 73-76
12		David Stuart Robertson, Jaume Agustí-Cullell, Jane Hesketh, Jordi Levy: Expressing Program Requirements Using Refinement Lattices. Fundam. Inform. 21(3): 163-182 (1994)
11	EE	Andrew Bowles, David Stuart Robertson, Wamberto Weber Vasconcelos, Maria Vargas-Vera, Diana Bental: Applying Prolog programming techniques. Int. J. Hum.-Comput. Stud. 41(3): 329-350 (1994)
1993
10		Weiru Liu, Alan Bundy, David Stuart Robertson: Recovering Incedence Functions. ECSQARU 1993: 241-248
9		Weiru Liu, Alan Bundy, David Stuart Robertson: On the Relations between Incidence Calculus and ATMS. ECSQARU 1993: 249-256
8	EE	Soon-Ae Yang, David Stuart Robertson, John Lee: KICS: A Knowledge-Intensive Case-Based Reasoning System for Statutory Building Regulations and Case Histories. ICAIL 1993: 254-263
7		Maria Vargas-Vera, Wamberto Weber Vasconcelos, David Stuart Robertson: Building Large-Scale Prolog Programs using a Techniques Editing System. ILPS 1993: 636
6		David Stuart Robertson, Jaume Agustí-Cullell, Jane Hesketh, Jordi Levy: Expressing Program Requirements Using Refinement Lattices. ISMIS 1993: 245-254
5		Maria Vargas-Vera, David Stuart Robertson, Robert Inder: Combining Prolog Programs in a Techniques Editing System (Abstract). LOPSTR 1993: 82-84
1992
4		Flávio S. Corrêa da Silva, David Stuart Robertson, Jane Hesketh: Automated Reasoning with Uncertainties. Logic at Work 1992: 57-79
1991
3		David Stuart Robertson: A Simple Prolog Techniques Editor for Novice Users. ALPUK 1991: 190-205
2		Flávio S. Corrêa da Silva, David Stuart Robertson, Paul Chung: Automated Reasoning About an Uncertain Domain. ECSQARU 1991: 141-145
1989
1		David Stuart Robertson, Alan Bundy, Michael Uschold, Robert Muetzelfeldt: The ECO Program Construction System: Ways of Increasing its Representational Power and Their Effects on the User Interface. International Journal of Man-Machine Studies 31(1): 1-26 (1989)

Coauthor Index

1	Jaume Agustí-Cullell	[6] [12] [18] [22] [24] [28] [32] [33]
2	Catherine Barry	[27]
3	Diana Bental	[11]
4	Andrew Bowles	[11]
5	Virgínia V. B. Biris Brilhante	[33]
6	Alan Bundy	[1] [9] [10] [23]
7	João M. B. Cavalcanti	[31]
8	Paul Chung	[2]
9	Marc Esteva	[34]
10	Marcelo Finger	[33]
11	Norbert E. Fuchs	[23]
12	Peter Funk (Peter J. Funk)	[15] [16]
13	Jane Hesketh	[4] [6] [12] [23]
14	Robert Inder	[5]
15	Yannis Kalfoglou	[29]
16	Renaud Lecoeuche	[25] [27]
17	John Lee	[8] [14]
18	Jordi Levy	[6] [12]
19	Weiru Liu	[9] [10]
20	Chris Mellish	[25]
21	Ana Cristina Vieira de Melo	[28] [30] [33]
22	Edjard Mota	[17] [19]
23	Robert Muetzelfeldt	[1]
24	Simon Parsons	[32]
25	Jordi Puigsegur	[18] [22]
26	Jordi Sabater	[32] [34]
27	Carles Sierra	[32] [34]
28	Flávio S. Corrêa da Silva	[2] [4] [28] [30] [33]
29	Alan Smaill	[17]
30	Michael Uschold	[1]
31	Maria Vargas-Vera	[5] [7] [11] [13]
32	Wamberto Weber Vasconcelos	[7] [11] [28] [30] [32] [33] [34]
33	Christopher Walton	[32]
34	Michael Wooldridge	[32] [34]
35	Soon-Ae Yang	[8] [14]

Colors in the list of coauthors