2007 |
32 | 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 |
31 | EE | Nardine Osman,
David Robertson:
Dynamic Verification of Trust in Distributed Open Systems.
IJCAI 2007: 1440-1445 |
30 | 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 |
29 | EE | Bo Hu,
Srinandan Dasmahapatra,
David Robertson,
Paul H. Lewis:
Decentralised Clinical Guidelines Modelling with Lightweight Coordination Calculus.
LBM (Short Papers) 2007 |
28 | 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 |
27 | 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 |
26 | EE | Nardine Osman,
David Robertson,
Christopher Walton:
Run-time model checking of interaction and deontic models for multi-agent systems.
AAMAS 2006: 238-240 |
25 | EE | David Lambert,
David Robertson:
Selecting Web Services Statistically.
CIA 2006: 153-167 |
24 | EE | Nardine Osman,
David Robertson,
Christopher Walton:
Dynamic Model Checking for Multi-agent Systems.
DALT 2006: 43-60 |
23 | 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 |
22 | 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 |
21 | EE | Jarred McGinnis,
David Robertson,
Chris Walton:
Protocol synthesis with dialogue structure theory.
AAMAS 2005: 1329-1330 |
20 | EE | David Lambert,
David Robertson:
Matchmaking multi-party interactions using historical performance data.
AAMAS 2005: 611-617 |
19 | EE | Jarred McGinnis,
David Robertson:
Dynamic and Distributed Interaction Protocols.
Adaptive Agents and Multi-Agent Systems 2005: 167-184 |
18 | EE | Jarred McGinnis,
David Robertson,
Chris Walton:
Protocol Synthesis with Dialogue Structure Theory.
ArgMAS 2005: 199-216 |
17 | | Jarred McGinnis,
David Robertson,
Chris Walton:
Protocol Synthesis with Dialogue Structure Theory.
EUMAS 2005: 179-189 |
16 | | Nardine Osman,
David Robertson,
Christopher Walton:
Run-Time Model Checking of Interaction and Deontic Models for Multi-Agent Systems.
EUMAS 2005: 248-259 |
15 | 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 |
14 | 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 |
13 | 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 |
12 | 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 |
11 | EE | Jarred McGinnis,
David Robertson:
Realizing Agent Dialogues with Distributed Protocols.
AC 2004: 106-119 |
10 | EE | David Robertson:
A Lightweight Coordination Calculus for Agent Systems.
DALT 2004: 183-197 |
9 | EE | David Robertson:
Multi-agent Coordination as Distributed Logic Programming.
ICLP 2004: 416-430 |
2003 |
8 | | Derek H. Sleeman,
Stephen Potter,
David Robertson,
W. Marco Schorlemmer:
Ontology Extraction for Distributed Environments.
Knowledge Transformation for the Semantic Web 2003: 80-91 |
7 | EE | João M. B. Cavalcanti,
David Robertson:
Web Site Synthesis Based on Computational Logic.
Knowl. Inf. Syst. 5(3): 263-287 (2003) |
2002 |
6 | | David Robertson:
Pitfalls of formality in early system design.
Sci. Comput. Program. 42(1): 29-38 (2002) |
2000 |
5 | 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) |
4 | | 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) |
1998 |
3 | EE | David Robertson:
An empirical study of the LSS specification toolkit in use.
Journal of Systems and Software 42(2): 115-123 (1998) |
1996 |
2 | | David Robertson:
Domain Specific Problem Description.
SEKE 1996: 206-213 |
1990 |
1 | EE | David Robertson:
Expert systems lab course : P Schnupp, C T Nguyen and L W.
Knowl.-Based Syst. 3(2): 122 (1990) |