David Stuart Robertson Vis

David Robertson

*	2008
68	EE	Li Guo, David Robertson, Yun-Heh Chen-Burger: Using multi-agent platform for pure decentralised business workflows. Web Intelligence and Agent Systems 6(3): 295-311 (2008)
	2007
67	EE	Liang Xiao, David Robertson, Madalina Croitoru, Paul H. Lewis, Srinandan Dashmapatra, David Dupplaw, Bo Hu: Adaptive Agent Model: an Agent Interaction and Computation Model. COMPSAC (2) 2007: 153-158
66	EE	Nardine Osman, David Robertson: Dynamic Verification of Trust in Distributed Open Systems. IJCAI 2007: 1440-1445
65	EE	David Robertson, Fausto Giunchiglia, Frank van Harmelen, Maurizio Marchese, Marta Sabou, W. Marco Schorlemmer, Nigel Shadbolt, Ronny Siebes, Carles Sierra, Chris Walton, Srinandan Dasmahapatra, David Dupplaw, Paul H. Lewis, Mikalai Yatskevich, Spyros Kotoulas, Adrian Perreau de Pinninck, Antonis Loizou: Open Knowledge. LADS 2007: 1-18
64	EE	Bo Hu, Srinandan Dasmahapatra, David Robertson, Paul H. Lewis: Decentralised Clinical Guidelines Modelling with Lightweight Coordination Calculus. LBM (Short Papers) 2007
63	EE	Ronny Siebes, David Dupplaw, Spyros Kotoulas, Adrian Perreau de Pinninck, Frank van Harmelen, David Robertson: The OpenKnowledge System: An Interaction-Centered Approach to Knowledge Sharing. OTM Conferences (1) 2007: 381-390
62	EE	Bruce Taylor, David Robertson, Nirmalie Wiratunga, Susan Craw, Dawn Mitchell, Elaine Stewart: Using computer aided case based reasoning to support clinical reasoning in community occupational therapy. Computer Methods and Programs in Biomedicine 87(2): 170-179 (2007)
	2006
61	EE	Nardine Osman, David Robertson, Christopher Walton: Run-time model checking of interaction and deontic models for multi-agent systems. AAMAS 2006: 238-240
60	EE	David Lambert, David Robertson: Selecting Web Services Statistically. CIA 2006: 153-167
59	EE	Nardine Osman, David Robertson, Christopher Walton: Dynamic Model Checking for Multi-agent Systems. DALT 2006: 43-60
58	EE	Xueping Quan, Chris Walton, Dietlind L. Gerloff, Joanna L. Sharman, David Robertson: Peer-to-Peer Experimentation in Protein Structure Prediction: An Architecture, Experiment and Initial Results. GCCB 2006: 75-98
57	EE	David Robertson: Grigoris Antoniou, Frank van Harmelen, A Semantic Web Primer, The MIT Press, April 1, 2004, 272 pp., ISBN 0262012103. Inf. Process. Manage. 42(3): 853 (2006)
	2005
56	EE	Jarred McGinnis, David Robertson, Chris Walton: Protocol synthesis with dialogue structure theory. AAMAS 2005: 1329-1330
55	EE	David Lambert, David Robertson: Matchmaking multi-party interactions using historical performance data. AAMAS 2005: 611-617
54	EE	Jarred McGinnis, David Robertson: Dynamic and Distributed Interaction Protocols. Adaptive Agents and Multi-Agent Systems 2005: 167-184
53	EE	Jarred McGinnis, David Robertson, Chris Walton: Protocol Synthesis with Dialogue Structure Theory. ArgMAS 2005: 199-216
52		Jarred McGinnis, David Robertson, Chris Walton: Protocol Synthesis with Dialogue Structure Theory. EUMAS 2005: 179-189
51		Nardine Osman, David Robertson, Christopher Walton: Run-Time Model Checking of Interaction and Deontic Models for Multi-Agent Systems. EUMAS 2005: 248-259
50	EE	Li Guo, David Robertson, Yun-Heh Chen-Burger: A Generic Multi-agent System Platform For Business Workflows Using Web Services Composition. IAT 2005: 301-307
49	EE	Li Guo, David Robertson, Yun-Heh Chen-Burger: A Novel Approach for Enacting the Distributed Business Workflows Using BPEL4WS on the Multi-Agent Platform. ICEBE 2005: 657-664
48	EE	Li Guo, David Robertson, Yun-Heh Chen-Burger: Enacting the Distributed Business Workflows Using BPEL4WS on the Multi-agent Platform. MATES 2005: 35-46
47	EE	Peter Wegner, Farhad Arbab, Dina Q. Goldin, Peter McBurney, Michael Luck, David Robertson: The Role of Agent Interaction in Models of Computing: Panelist Reviews. Electr. Notes Theor. Comput. Sci. 141(5): 181-198 (2005)
	2004
46	EE	Jarred McGinnis, David Robertson: Realizing Agent Dialogues with Distributed Protocols. AC 2004: 106-119
45	EE	David Robertson: A Lightweight Coordination Calculus for Agent Systems. DALT 2004: 183-197
44	EE	David Robertson: Multi-agent Coordination as Distributed Logic Programming. ICLP 2004: 416-430
43	EE	Li Guo, Yun-Heh Chen-Burger, David Robertson: Mapping a Business Process Model to a Semantic Web Service Model. ICWS 2004: 746-
42	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)
	2003
41		Derek H. Sleeman, Stephen Potter, David Robertson, W. Marco Schorlemmer: Ontology Extraction for Distributed Environments. Knowledge Transformation for the Semantic Web 2003: 80-91
40	EE	João M. B. Cavalcanti, David Robertson: Web Site Synthesis Based on Computational Logic. Knowl. Inf. Syst. 5(3): 263-287 (2003)
	2002
39	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)
38		David Robertson: Pitfalls of formality in early system design. Sci. Comput. Program. 42(1): 29-38 (2002)
	2001
37	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
36	EE	João M. B. Cavalcanti, David Stuart Robertson: Synthesis of Web Sites from High Level Descriptions. Web Engineering 2001: 190-203
	2000
35	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
34	EE	Renaud Lecoeuche, David Robertson, Catherine Barry, Chris Mellish: Evaluating focus theories for dialogue management. Int. J. Hum.-Comput. Stud. 52(1): 23-76 (2000)
33		Yun-Heh Chen-Burger, David Robertson, Jussi Stader: Formal Support for an Informal Business Modelling Method. International Journal of Software Engineering and Knowledge Engineering 10(1): 49-68 (2000)
	1999
32	EE	Yannis Kalfoglou, David Stuart Robertson: Use of Formal Ontologies to Support Error Checking in Specifications. EKAW 1999: 207-224
31		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
30		Renaud Lecoeuche, Catherine Barry, David Stuart Robertson: Using Focus Rules in Requirements Elicitation Dialogues. IJCAI 1999: 649-654
29		David Stuart Robertson: Desert Island Column: The Books Don't Work. Autom. Softw. Eng. 6(4): 441-443 (1999)
	1998
28	EE	Renaud Lecoeuche, Chris Mellish, David Stuart Robertson: A Framework for Requirements Elicitation through Mixed-Initiative Dialogue. ICRE 1998: 190-
27	EE	David Stuart Robertson, Jaume Agustí-Cullell: Pragmatics in the Synthesis of Logic Programs. LOPSTR 1998: 41-60
26		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)
25		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)
24	EE	David Robertson: An empirical study of the LSS specification toolkit in use. Journal of Systems and Software 42(2): 115-123 (1998)
	1996
23		David Stuart Robertson: Distributed Specification. ECAI 1996: 390-394
22		David Stuart Robertson: An Empirical Study of the LSS Specification Toolkit in Use. SEKE 1996: 153-160
21		David Robertson: Domain Specific Problem Description. SEKE 1996: 206-213
20		Edjard Mota, David Stuart Robertson: Representing Interaction of Agents at Different Time Granularities. TIME 1996: 72-79
19		Jordi Puigsegur, Jaume Agustí-Cullell, David Stuart Robertson: A Visual Logic Programming Language. VL 1996: 214-221
18		Edjard Mota, David Stuart Robertson, Alan Smaill: NatureTime: Temporal Granularity in Simulation of Ecosystems. J. Symb. Comput. 22(5/6): 665-698 (1996)
	1995
17		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
16		Peter J. Funk, David Stuart Robertson: Case-Based Support for the Design of Dynamic System Requirements. EWCBR 1994: 211-225
15		Soon-Ae Yang, David Stuart Robertson, John Lee: Use of Case-Based Reasoning in the Domain of Building Regulations. EWCBR 1994: 292-306
14		Maria Vargas-Vera, David Stuart Robertson: An Environment for Building Prolog Programs Based on Knowledge about their Construction. WLP 1994: 73-76
13		David Stuart Robertson, Jaume Agustí-Cullell, Jane Hesketh, Jordi Levy: Expressing Program Requirements Using Refinement Lattices. Fundam. Inform. 21(3): 163-182 (1994)
12	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
11		Weiru Liu, Alan Bundy, David Stuart Robertson: Recovering Incedence Functions. ECSQARU 1993: 241-248
10		Weiru Liu, Alan Bundy, David Stuart Robertson: On the Relations between Incidence Calculus and ATMS. ECSQARU 1993: 249-256
9	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
8		Maria Vargas-Vera, Wamberto Weber Vasconcelos, David Stuart Robertson: Building Large-Scale Prolog Programs using a Techniques Editing System. ILPS 1993: 636
7	EE	David Stuart Robertson, Jaume Agustí-Cullell, Jane Hesketh, Jordi Levy: Expressing Program Requirements Using Refinement Lattices. ISMIS 1993: 245-254
6		Maria Vargas-Vera, David Stuart Robertson, Robert Inder: Combining Prolog Programs in a Techniques Editing System (Abstract). LOPSTR 1993: 82-84
	1992
5		Flávio S. Corrêa da Silva, David Stuart Robertson, Jane Hesketh: Automated Reasoning with Uncertainties. Logic at Work 1992: 57-79
	1991
4		David Stuart Robertson: A Simple Prolog Techniques Editor for Novice Users. ALPUK 1991: 190-205
3		Flávio S. Corrêa da Silva, David Stuart Robertson, Paul Chung: Automated Reasoning About an Uncertain Domain. ECSQARU 1991: 141-145
	1990
2	EE	David Robertson: Expert systems lab course : P Schnupp, C T Nguyen and L W. Knowl.-Based Syst. 3(2): 122 (1990)
	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	[7] [13] [19] [25] [27] [31] [37] [39]
2	Farhad Arbab	[47]
3	Catherine Barry	[30] [34]
4	Diana Bental	[12]
5	Andrew Bowles	[12]
6	Virgínia V. B. Biris Brilhante	[39]
7	Alan Bundy	[1] [10] [11] [26]
8	João M. B. Cavalcanti	[36] [40]
9	Yun-Heh Chen-Burger	[33] [43] [48] [49] [50] [68]
10	Paul Chung	[3]
11	Susan Craw	[62]
12	Madalina Croitoru	[67]
13	Srinandan Dashmapatra	[67]
14	Srinandan Dasmahapatra	[64] [65]
15	David Dupplaw	[63] [65] [67]
16	Marc Esteva	[42]
17	Marcelo Finger	[39]
18	Norbert E. Fuchs	[26]
19	Peter Funk (Peter J. Funk)	[16] [17]
20	Dietlind L. Gerloff	[58]
21	Fausto Giunchiglia	[65]
22	Dina Q. Goldin	[47]
23	Li Guo	[43] [48] [49] [50] [68]
24	Frank van Harmelen	[63] [65]
25	Jane Hesketh	[5] [7] [13] [26]
26	Bo Hu	[64] [67]
27	Robert Inder	[6]
28	Yannis Kalfoglou	[32]
29	Spyros Kotoulas	[63] [65]
30	David Lambert	[55] [60]
31	Renaud Lecoeuche	[28] [30] [34]
32	John Lee	[9] [15]
33	Jordi Levy	[7] [13]
34	Paul H. Lewis	[64] [65] [67]
35	Weiru Liu	[10] [11]
36	Antonis Loizou	[65]
37	Michael Luck	[47]
38	Maurizio Marchese	[65]
39	Peter McBurney	[47]
40	Jarred McGinnis	[46] [52] [53] [54] [56]
41	Chris Mellish	[28] [34]
42	Ana Cristina Vieira de Melo	[31] [35] [39]
43	Dawn Mitchell	[62]
44	Edjard Mota	[18] [20]
45	Robert Muetzelfeldt	[1]
46	Nardine Osman	[51] [59] [61] [66]
47	Simon Parsons	[37]
48	Adrian Perreau de Pinninck	[63] [65]
49	Stephen Potter	[41]
50	Jordi Puigsegur	[19] [25]
51	Xueping Quan	[58]
52	Jordi Sabater-Mir (Jordi Sabater)	[37] [42]
53	Marta Sabou	[65]
54	W. Marco Schorlemmer	[41] [65]
55	Nigel Shadbolt (Nigel R. Shadbolt)	[65]
56	Joanna L. Sharman	[58]
57	Ronny Siebes	[63] [65]
58	Carles Sierra	[37] [42] [65]
59	Flávio S. Corrêa da Silva	[3] [5] [31] [35] [39]
60	Derek H. Sleeman	[41]
61	Alan Smaill	[18]
62	Jussi Stader	[33]
63	Elaine Stewart	[62]
64	Bruce Taylor	[62]
65	Michael Uschold	[1]
66	Maria Vargas-Vera	[6] [8] [12] [14]
67	Wamberto Weber Vasconcelos	[8] [12] [31] [35] [37] [39] [42]
68	Chris Walton	[52] [53] [56] [58] [65]
69	Christopher Walton	[37] [51] [59] [61]
70	Peter Wegner	[47]
71	Nirmalie Wiratunga	[62]
72	Michael Wooldridge (Michael J. Wooldridge)	[37] [42]
73	Liang Xiao	[67]
74	Soon-Ae Yang	[9] [15]
75	Mikalai Yatskevich	[65]

Colors in the list of coauthors