David Stuart Robertson

Fausto Giunchiglia, David Robertson: Introduction to the special section on internet-scale human problem solving. TiiS 3(1): 1 (2013)

Nikolaos Chatzinikolaou, David Robertson: The use of reputation as noise-resistant selection bias in a co-evolutionary multi-agent system. GECCO 2012: 983-990

Hajime Suzuki, David Robertson, Nisal L. Ratnayake, Karla Ziri-Castro: Prediction and Measurement of Multiuser MIMO-OFDM Channel in Rural Australia. VTC Spring 2012: 1-5

Miguel Lurgi, David Robertson: Evolution in ecological agent systems. IJBIC 3(6): 331-345 (2011)

W. Marco Schorlemmer, David Robertson: Reasoning about Distributed Knowledge-Transforming Peer Interactions. IEEE Trans. Knowl. Data Eng. 23(9): 1419-1431 (2011)

Shahriar Bijani, David Robertson: Intrusion Detection in Open Peer-to-Peer Multi-Agent Systems. AIMS 2011: 177-180

Miguel Lurgi, David Robertson: Multi-agent Coordination through Mutualistic Interactions. COIN@AAMAS&WI-IAT 2011: 1-20

Thais Castro, David Robertson, Hugo Fuks, Alberto Castro: Identifying the Need to Intervene: Analysis and Representation of Interaction Patterns in Group Programming Learning. CRIWG 2011: 158-174

Shahriar Bijani, David Robertson, David Aspinall: Probing Attacks on Multi-Agent Systems Using Electronic Institutions. DALT 2011: 33-50

David Robertson: Lightweight Coordination Calculus for Agent Systems: Retrospective and Prospective. DALT 2011: 84-89

Paul Martin, David Robertson, Michael Rovatsos: Opportunistic belief reconciliation during distributed interactions. AAMAS 2010: 433-440

Miguel Lurgi, David Robertson: Simple Ecological Rules Yield Complex Agent Networks. CCIA 2010: 39-48

C. James Taylor, Arun Chotai, David Robertson: State dependent control of a robotic manipulator used for nuclear decommissioning activities. IROS 2010: 2413-2418

Paolo Besana, Vivek Patkar, Adam Barker, David Robertson, David Glasspool: Sharing Choreographies in OpenKnowledge: A Novel Approach to Interoperability. JSW 4(8): 833-842 (2009)

Adam Barker, Christopher D. Walton, David Robertson: Choreographing Web Services. IEEE T. Services Computing 2(2): 152-166 (2009)

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)

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)

Robert J. Brychta, Sunti Tuntrakool, Martin Appalsamy, Nancy R. Keller, David Robertson, Richard G. Shiavi, André Diedrich: Wavelet Methods for Spike Detection in Mouse Renal Sympathetic Nerve Activity. IEEE Trans. Biomed. Engineering 54(1): 82-93 (2007)

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

Nardine Osman, David Robertson: Dynamic Verification of Trust in Distributed Open Systems. IJCAI 2007: 1440-1445

David Robertson, Fausto Giunchiglia, Frank van Harmelen, Maurizio Marchese, Marta Sabou, W. Marco Schorlemmer, Nigel Shadbolt, Ronny Siebes, Carles Sierra, Christopher Walton, Srinandan Dasmahapatra, David Dupplaw, Paul H. Lewis, Mikalai Yatskevich, Spyros Kotoulas, Adrian Perreau de Pinninck, Antonis Loizou: Open Knowledge. LADS 2007: 1-18

Bo Hu, Srinandan Dasmahapatra, David Robertson, Paul H. Lewis: Decentralised Clinical Guidelines Modelling with Lightweight Coordination Calculus. LBM (Short Papers) 2007

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

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)

Nils O. Fonstad, David Robertson: Transforming a Company, Project by Project: The IT Engagement Model. MIS Quarterly Executive 5(1) (2006)

Nardine Osman, David Robertson, Christopher Walton: Run-time model checking of interaction and deontic models for multi-agent systems. AAMAS 2006: 238-240

David Lambert, David Robertson: Selecting Web Services Statistically. CIA 2006: 153-167

Nardine Osman, David Robertson, Christopher Walton: Dynamic Model Checking for Multi-agent Systems. DALT 2006: 43-60

Xueping Quan, Christopher 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

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)

Jarred McGinnis, David Robertson: Dynamic and Distributed Interaction Protocols. Adaptive Agents and Multi-Agent Systems 2005: 167-184

Jarred McGinnis, David Robertson, Christopher Walton: Protocol Synthesis with Dialogue Structure Theory. ArgMAS 2005: 199-216

David Lambert, David Robertson: Matchmaking multi-party interactions using historical performance data. AAMAS 2005: 611-617

Jarred McGinnis, David Robertson, Christopher Walton: Protocol synthesis with dialogue structure theory. AAMAS 2005: 1329-1330

Jarred McGinnis, David Robertson, Christopher Walton: Protocol Synthesis with Dialogue Structure Theory. EUMAS 2005: 179-189

Nardine Osman, David Robertson, Christopher Walton: Run-Time Model Checking of Interaction and Deontic Models for Multi-Agent Systems. EUMAS 2005: 248-259

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

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

Li Guo, David Robertson, Yun-Heh Chen-Burger: Enacting the Distributed Business Workflows Using BPEL4WS on the Multi-agent Platform. MATES 2005: 35-46

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)

Jarred McGinnis, David Robertson: Realizing Agent Dialogues with Distributed Protocols. AC 2004: 106-119

David Robertson: A Lightweight Coordination Calculus for Agent Systems. DALT 2004: 183-197

David Robertson: Multi-agent Coordination as Distributed Logic Programming. ICLP 2004: 416-430

Li Guo, Yun-Heh Chen-Burger, David Robertson: Mapping a Business Process Model to a Semantic Web Service Model. ICWS 2004: 746-

João M. B. Cavalcanti, David Robertson: Web Site Synthesis Based on Computational Logic. Knowl. Inf. Syst. 5(3): 263-287 (2003)

Derek H. Sleeman, Stephen Potter, David Robertson, W. Marco Schorlemmer: Ontology Extraction for Distributed Environments. Knowledge Transformation for the Semantic Web 2003: 80-91

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)

David Robertson: Pitfalls of formality in early system design. Sci. Comput. Program. 42(1): 29-38 (2002)

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

João M. B. Cavalcanti, David Stuart Robertson: Synthesis of Web Sites from High Level Descriptions. Web Engineering 2001: 190-203

Renaud Lecoeuche, David Robertson, Catherine Barry, Chris Mellish: Evaluating focus theories for dialogue management. Int. J. Hum.-Comput. Stud. 52(1): 23-76 (2000)

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)

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

David Stuart Robertson: Desert Island Column: The Books Don't Work. Autom. Softw. Eng. 6(4): 441-443 (1999)

Yannis Kalfoglou, David Stuart Robertson: Use of Formal Ontologies to Support Error Checking in Specifications. EKAW 1999: 207-224

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

Renaud Lecoeuche, Catherine Barry, David Stuart Robertson: Using Focus Rules in Requirements Elicitation Dialogues. IJCAI 1999: 649-654

David Robertson, Kevin Campbell, Stephen Lau, Terry J. Ligocki: Parallelization of Radiance For Real Time Interactive Lighting Visualization Walkthroughs. SC 1999: 61

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)

David Robertson: An empirical study of the LSS specification toolkit in use. Journal of Systems and Software 42(2): 115-123 (1998)

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)

Renaud Lecoeuche, Chris Mellish, David Stuart Robertson: A Framework for Requirements Elicitation through Mixed-Initiative Dialogue. ICRE 1998: 190-

David Stuart Robertson, Jaume Agustí-Cullell: Pragmatics in the Synthesis of Logic Programs. LOPSTR 1998: 41-60

Edjard Mota, David Stuart Robertson, Alan Smaill: NatureTime: Temporal Granularity in Simulation of Ecosystems. J. Symb. Comput. 22(5/6): 665-698 (1996)

David Stuart Robertson: Distributed Specification. ECAI 1996: 390-394

David Stuart Robertson: An Empirical Study of the LSS Specification Toolkit in Use. SEKE 1996: 153-160

David Robertson: Domain Specific Problem Description. SEKE 1996: 206-213

Edjard Mota, David Stuart Robertson: Representing Interaction of Agents at Different Time Granularities. TIME 1996: 72-79

Jordi Puigsegur, Jaume Agustí-Cullell, David Stuart Robertson: A Visual Logic Programming Language. VL 1996: 214-221

Peter J. Funk, David Stuart Robertson: Capturing and Matching Dynamic Behaviour in Case-Based Reasoning. UK Workshop on Case-Based Reasoning 1995: 85-90

David Stuart Robertson, Jaume Agustí-Cullell, Jane Hesketh, Jordi Levy: Expressing Program Requirements Using Refinement Lattices. Fundam. Inform. 21(3): 163-182 (1994)

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)

Peter J. Funk, David Stuart Robertson: Case-Based Support for the Design of Dynamic System Requirements. EWCBR 1994: 211-225

Soon-Ae Yang, David Stuart Robertson, John Lee: Use of Case-Based Reasoning in the Domain of Building Regulations. EWCBR 1994: 292-306

Maria Vargas-Vera, David Stuart Robertson: An Environment for Building Prolog Programs Based on Knowledge about their Construction. WLP 1994: 73-76

Weiru Liu, Alan Bundy, David Stuart Robertson: Recovering Incedence Functions. ECSQARU 1993: 241-248

Weiru Liu, Alan Bundy, David Stuart Robertson: On the Relations between Incidence Calculus and ATMS. ECSQARU 1993: 249-256

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

David Stuart Robertson, Jaume Agustí-Cullell, Jane Hesketh, Jordi Levy: Expressing Program Requirements Using Refinement Lattices. ISMIS 1993: 245-254

Maria Vargas-Vera, David Stuart Robertson, Robert Inder: Combining Prolog Programs in a Techniques Editing System (Abstract). LOPSTR 1993: 82-84

Maria Vargas-Vera, Wamberto Weber Vasconcelos, David Stuart Robertson: Building Large-Scale Prolog Programs using a Techniques Editing System. ILPS 1993: 636

Flávio S. Corrêa da Silva, David Stuart Robertson, Jane Hesketh: Automated Reasoning with Uncertainties. Logic at Work 1992: 57-79

David Robertson, Alan Bundy, Robert Muetzelfeldt, Mandy Haggith, Michael Uschold: Eco-Logic - Logic-Based Approaches to Ecological Modeling. Logic programming, MIT Press 1991, isbn 978-0-262-18143-3, pp. 1-243

David Stuart Robertson: A Simple Prolog Techniques Editor for Novice Users. ALPUK 1991: 190-205

Flávio S. Corrêa da Silva, David Stuart Robertson, Paul Chung: Automated Reasoning About an Uncertain Domain. ECSQARU 1991: 141-145

David Robertson: Expert systems lab course : P Schnupp, C T Nguyen and L W. Knowl.-Based Syst. 3(2): 122 (1990)

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)

Robert C. Gammill, David Robertson: Graphics and interactive systems: design considerations of a software system. AFIPS National Computer Conference 1973: 657-662