dblp.uni-trier.dewww.uni-trier.de

David Stuart Robertson Vis

David Robertson

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
68EELi 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
67EELiang 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
66EENardine Osman, David Robertson: Dynamic Verification of Trust in Distributed Open Systems. IJCAI 2007: 1440-1445
65EEDavid 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
64EEBo Hu, Srinandan Dasmahapatra, David Robertson, Paul H. Lewis: Decentralised Clinical Guidelines Modelling with Lightweight Coordination Calculus. LBM (Short Papers) 2007
63EERonny 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
62EEBruce 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
61EENardine Osman, David Robertson, Christopher Walton: Run-time model checking of interaction and deontic models for multi-agent systems. AAMAS 2006: 238-240
60EEDavid Lambert, David Robertson: Selecting Web Services Statistically. CIA 2006: 153-167
59EENardine Osman, David Robertson, Christopher Walton: Dynamic Model Checking for Multi-agent Systems. DALT 2006: 43-60
58EEXueping 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
57EEDavid 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
56EEJarred McGinnis, David Robertson, Chris Walton: Protocol synthesis with dialogue structure theory. AAMAS 2005: 1329-1330
55EEDavid Lambert, David Robertson: Matchmaking multi-party interactions using historical performance data. AAMAS 2005: 611-617
54EEJarred McGinnis, David Robertson: Dynamic and Distributed Interaction Protocols. Adaptive Agents and Multi-Agent Systems 2005: 167-184
53EEJarred 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
50EELi Guo, David Robertson, Yun-Heh Chen-Burger: A Generic Multi-agent System Platform For Business Workflows Using Web Services Composition. IAT 2005: 301-307
49EELi 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
48EELi Guo, David Robertson, Yun-Heh Chen-Burger: Enacting the Distributed Business Workflows Using BPEL4WS on the Multi-agent Platform. MATES 2005: 35-46
47EEPeter 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
46EEJarred McGinnis, David Robertson: Realizing Agent Dialogues with Distributed Protocols. AC 2004: 106-119
45EEDavid Robertson: A Lightweight Coordination Calculus for Agent Systems. DALT 2004: 183-197
44EEDavid Robertson: Multi-agent Coordination as Distributed Logic Programming. ICLP 2004: 416-430
43EELi Guo, Yun-Heh Chen-Burger, David Robertson: Mapping a Business Process Model to a Semantic Web Service Model. ICWS 2004: 746-
42EEWamberto 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
40EEJoão M. B. Cavalcanti, David Robertson: Web Site Synthesis Based on Computational Logic. Knowl. Inf. Syst. 5(3): 263-287 (2003)
2002
39EEFlá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
37EEWamberto 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
36EEJoão M. B. Cavalcanti, David Stuart Robertson: Synthesis of Web Sites from High Level Descriptions. Web Engineering 2001: 190-203
2000
35EEDavid 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
34EERenaud 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
32EEYannis 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
28EERenaud Lecoeuche, Chris Mellish, David Stuart Robertson: A Framework for Requirements Elicitation through Mixed-Initiative Dialogue. ICRE 1998: 190-
27EEDavid 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)
24EEDavid 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)
12EEAndrew 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
9EESoon-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
7EEDavid 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
2EEDavid 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

1Jaume Agustí-Cullell [7] [13] [19] [25] [27] [31] [37] [39]
2Farhad Arbab [47]
3Catherine Barry [30] [34]
4Diana Bental [12]
5Andrew Bowles [12]
6Virgínia V. B. Biris Brilhante [39]
7Alan Bundy [1] [10] [11] [26]
8João M. B. Cavalcanti [36] [40]
9Yun-Heh Chen-Burger [33] [43] [48] [49] [50] [68]
10Paul Chung [3]
11Susan Craw [62]
12Madalina Croitoru [67]
13Srinandan Dashmapatra [67]
14Srinandan Dasmahapatra [64] [65]
15David Dupplaw [63] [65] [67]
16Marc Esteva [42]
17Marcelo Finger [39]
18Norbert E. Fuchs [26]
19Peter Funk (Peter J. Funk) [16] [17]
20Dietlind L. Gerloff [58]
21Fausto Giunchiglia [65]
22Dina Q. Goldin [47]
23Li Guo [43] [48] [49] [50] [68]
24Frank van Harmelen [63] [65]
25Jane Hesketh [5] [7] [13] [26]
26Bo Hu [64] [67]
27Robert Inder [6]
28Yannis Kalfoglou [32]
29Spyros Kotoulas [63] [65]
30David Lambert [55] [60]
31Renaud Lecoeuche [28] [30] [34]
32John Lee [9] [15]
33Jordi Levy [7] [13]
34Paul H. Lewis [64] [65] [67]
35Weiru Liu [10] [11]
36Antonis Loizou [65]
37Michael Luck [47]
38Maurizio Marchese [65]
39Peter McBurney [47]
40Jarred McGinnis [46] [52] [53] [54] [56]
41Chris Mellish [28] [34]
42Ana Cristina Vieira de Melo [31] [35] [39]
43Dawn Mitchell [62]
44Edjard Mota [18] [20]
45Robert Muetzelfeldt [1]
46Nardine Osman [51] [59] [61] [66]
47Simon Parsons [37]
48Adrian Perreau de Pinninck [63] [65]
49Stephen Potter [41]
50Jordi Puigsegur [19] [25]
51Xueping Quan [58]
52Jordi Sabater-Mir (Jordi Sabater) [37] [42]
53Marta Sabou [65]
54W. Marco Schorlemmer [41] [65]
55Nigel Shadbolt (Nigel R. Shadbolt) [65]
56Joanna L. Sharman [58]
57Ronny Siebes [63] [65]
58Carles Sierra [37] [42] [65]
59Flávio S. Corrêa da Silva [3] [5] [31] [35] [39]
60Derek H. Sleeman [41]
61Alan Smaill [18]
62Jussi Stader [33]
63Elaine Stewart [62]
64Bruce Taylor [62]
65Michael Uschold [1]
66Maria Vargas-Vera [6] [8] [12] [14]
67Wamberto Weber Vasconcelos [8] [12] [31] [35] [37] [39] [42]
68Chris Walton [52] [53] [56] [58] [65]
69Christopher Walton [37] [51] [59] [61]
70Peter Wegner [47]
71Nirmalie Wiratunga [62]
72Michael Wooldridge (Michael J. Wooldridge) [37] [42]
73Liang Xiao [67]
74Soon-Ae Yang [9] [15]
75Mikalai Yatskevich [65]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)