SSP Publications

Books

	D.Robertson, A.Bundy, R.Muetzelfeldt, M.Haggith, and M.Uschold. Eco-Logic: Logic-Based Approaches to Ecological Modelling. MIT Press (Logic Programming Series), 1991. ISBN 0-262-18143-6.
	D.Robertson and J.Agusti. Software Blueprints: Lightweight Uses of Logic in Conceptual Modelling. Addison Wesley/ACM Press, 1999. ISBN 0-201-39819-2.
	Y.Chen-Burger and D.Robertson. Automating Business Modelling. Springer Verlag, 2004. ISBN 1-85233-835-0
	C.Walton. Agency and the Semantic Web. Oxford University Press, 2007. ISBN 0-19-929248-5

PhD Theses

A.Barker 2007, Flexible Service Composition
V.Brilhante 2003, Ontology and Reuse in Model Synthesis
D.Carbogim 2000, Dynamics in Formal Argumentation
J.Cavalcanti 2003, A Computational Logic Approach for Web Site synthesis and Management
J.Chen-Burger 2001, Formal Support for an Informal Business Modelling Method
M.Collins 2006, An Algorithm for Evolving Protocol Constraints
F.Correa da Silva 1992, Automated Reasoning with Uncertainties
P.Funk 1997, CABS:A Case Based and Graphical Requirements Capture, Formalisation and Verification System
M.Haggith 1996, A Meta-level Argumentation Framework for Representation and Reasoning About Disagreement
F.Hassan 2007, Coordinated Constraint Relaxation Using a Distributed Agent Protocol
R.Lecoeuche 1999, Formalisation and Evaluation of Focus Theories for Requirements Elicitation Dialogues in Natural Language
S.Leung 2007, Computational Synthesis for Scientific Experimentation
G.Li 2006, Enacting a Decentralised Workflow Management System on a Multi-agent Platform
J.McGinnis 2006, On the Mutability of Protocols
N.Park 1997, A Connectionist Representation of First-Order Formulae with Dynamic Binding
D.Robertson 1999, Pragmatics in the Synthesis of Logic Programs
Y.Kalfoglou 2000, Deploying Ontologies in Software Design
W.Vasconcelos 1995, Extracting, Organising, Designing and Re-Using Prolog Programming Techniques
X.Wu 1993, Knowledge Acquisition from Databases

Recent MSc Theses

L.Xiao 2003, Agent Oriented Requirements Modelling
A.Goderis 2003, Incorporating the Semantic Web into a Lightweight Formal Broker
N.Osman 2003, Addressing Constraint Failures in Distributed Dialogue Protocols
M.Hering 2004, Cooperative Multi Agent Systems in Automobiles
C.Rudradevaru 2004, A Temporal Logic Based Constraint Verifier for Business Process Models
A.Grivas 2005, A Structural Synthesis System for LCC Protocols
Z.Pervez 2005, Semantic Query Routing in Agent-Based Peer-to-Peer Systems Using Lightweight Coordination Calculus
S.Elahi 2005, Semantic Query Routing in Agent-Based P2P Systems
T.Herchenroeder 2006, Lightweight Semantic Web Reasoning in Prolog: Tableau Inference for Description Logics

Journal papers

R.Muetzelfeldt, D.Robertson, A.Bundy, and M.Uschold. The use of Prolog for improving the rigour and accessability of ecological modelling. Ecological Modelling, 1988.
D.Robertson, M.Uschold, A.Bundy, and R.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--26, 1988.
D.Robertson. Multi-level cooperative dialogue in intelligent front ends. Journal of Artificial Intelligence in Engineering, 6(1), 1990. Download paper
P.Brna, A.Bundy, T.Dodd, M.Eisenstadt, C.K. Looi, H.Pain, D.Robertson, B.Smith, and M.van Someren. Prolog programming techniques. Instructional Science, 20(2/3), 1991.
A.W. Bowles, D.Robertson, W.W. Vasconcelos, M.Vargas-Vera, and D.Bental. Applying Prolog programming techniques. International Journal of Human-Computer Studies, 41(3):329--350, September 1994. Download paper
D.Robertson, J.Agusti, J.Hesketh, and J.Levy. Expressing program requirements using refinement lattices. Fundamenta Informaticae, 21(3):163--183, 1994.
G.Kendon, D.Walker, D.Robertson, M.Haggith, F.Sinclair, and R.Muetzelfeldt. Supporting customised reasoning in the agroforestry domain. The New Review of Applied Expert Systems, 1, 1995. ISSN 1361-0244.
N.S. Park, D.Robertson, and K.Stenning. Extension of the temporal synchrony approach to dynamic variable binding in a connectionist inference system. Knowledge-Based Systems (special issue on knowledge-based neural networks), 8(6), 1995. Download paper
S.Yang and D.Robertson. A case-based reasoning system to support the relaxation of building regulations. International Journal of Construction Information Technology, 3(2):29--48, 1995.
D.Robertson, M.Haggith, G.Kendon, J.Agusti, and D.Goldsborough. The application of logic programming to decision support systems in ecology. Artificial Intelligence Applications in Resource Management, 9(3), 1995.
E.Mota, D.Robertson, and A.Smaill. Naturetime: Temporal granularity in simulation of ecosystems. Journal of Symbolic Computation, 22(5):665--698, 1996.
N.Fuchs and D.Robertson. Declarative specification. Knowledge Engineering Review (special issue on Logic Engineering), 11(4):317--331, 1996. ISSN 1361-0244.
P.Krause, J.Hesketh, and D.Robertson. Reliable and accountable system design. Knowledge Engineering Review, 12(3):289--305, 1997.
D.Robertson. An empirical study of the LSS specification toolkit in use. Journal of Systems and Software, 42:115--123, 1998. one of the selected papers from SEKE-96.
J.Hesketh, D.Robertson, N.Fuchs, and A.Bundy. Lightweight formalisation in support of requirements engineering. Journal of Automated Software Engineering, 5(2):183--210, 1998. Download paper
J.Agusti, J.Puigsegur, and D.Robertson. A visual syntax for logic and logic programming. Journal of Visual Languages and Computing, 9, 1998.
R.Lecoeuche, C.Mellish, C.Barry, and D.Robertson. User-system dialogues and the notion of focus. Knowledge Engineering Review, 13(4):381--408, 1998. Download paper
R.Lecoeuche, D.Robertson, C.Barry, and C.Mellish. Evaluating focus theories for dialogue management. International Journal of Human-Computer Studies, 51, 1999. Download paper
S.Daume and D.Robertson. A Heuristic Approach to Modelling Thinnings. Silva Fennica, 2000.
S.Daume and D.Robertson. An Architecture for the Deployment of Mobile Decision Support Systems. Expert Systems with Applications, 19(4), 2000.
D.Carbogim, D.Robertson and J.Lee. Argument-based Applications to Knowledge Engineering. The Knowledge Engineering Review, 15(1), 2000.
S.Leung, S, C.Mellish and D.Robertson. Basic Gene Grammars and DNA-ChartParser for language processing of Escherichia coli promoter DNA sequences. Bioinformatics, 17:226-236, 2001.
D.Robertson. Pitfalls of formality in early system design. Science of Computer Programming, 42(1):29-38, 2002.
F.S. Correa da Silva, W.W. Vasconcelos, D.S. Robertson, A.C.V. Melo, M.Finger and J.Agusti. On the insufficiency of ontologies: Problems in knowledge sharing and alternative solutions. Knowledge Based Systems, 15(3):147-167, 2002. Download paper
M.Schorlemmer, S.Potter, D.Robertson and D.Sleeman. Knowledge Life-Cycle Management over a Distributed Architecture. Expert Update, 5(3):2-19, 2002.
J.Cavalcanti and D.Robertson. Web Site Synthesis based on Computational Logic. Knowledge and Information Systems Journal, 5(3):263-287, 2003. Download paper
W.Vasconcelos, D.Robertson, C.Sierra, M.Esteva, J.Sabater, and M.Wooldridge. Rapid Prototyping of Large Multi-agent Systems Through Logic Programming. Annals of Mathematics and Artificial Intelligence, 41(2-4):135-169, 2004. Download paper

Book chapters

N.S. Park and D.Robertson. A localist network architecture for logical inference. In R.Sun and F.Alexandre, editors, Connectionist-Symbolic Integration, pages 245--263. Lawrence Erlbaum, 1997. ISBN 0-8058-2348-4. Download paper
N.S. Park, D.Robertson, and K.Stenning. Symbolic knowledge encoding using a dynamic binding mechanism and an embedded inference mechanism. In D.Levine, B.Brown, and T.Shirey, editors, Oscillations in Neural Systems. Lawrence Erlbaum, 1999. ISBN 0-8058-2066-3. Download paper
A.Bowles, D.Robertson, and P.Brna. A case-based reasoning approach to supporting novice programmers. In P.Brna, B.DuBoulay, and H.Pain, editors, Learning to Build and Comprehend Complex Information Structures: Prolog as a Case Study, pages 197--216. Ablex Publishing Corporation, 1999.
V.Brilhante and D.Robertson. Metadata-supported Automated Ecological Modelling. In Rautenstrauch and Patig, editors, Environmental Information systems in Industry and Public Administration. Idea Group Publishing, 2001. ISBN 1-930708-02-5.
J.Cavalcanti and D.Robertson. Synthesis of web sites from high level descriptions. In Murugesan and Deshpande, editors, Web Engineering: Managing Diversity and Complexity in Web Application Development, pages 190--203. Springer-Verlag Lecture Notes in Computer Science Vol. 2016, 2001. ISBN 3-540-42130-0. Download paper
J.Cavalcanti and D.Robertson. Verifying Web Site Properties Using Computational Logic. In van Bommel, editor, Information Modelling for Internet Applications, pages 22--39. Idea Group Publishing, 2002. ISBN -59140-050-3. Download paper
D.Sleeman, SPotter, D.Robertson and M.Schorlemmer. Ontology Extraction in Distributed Environments. In B.Omelayenko and MKlein, editors, Knowledge Transformation for the Semantic Web, volume95 of Frontiers in Artificial Intelligence and Applications, pages 80--91. IOS Press, 2003. ISBN 1-58603-325-5.

Conference Papers

R.Muetzelfeldt, M.Uschold, Bundy A., N.Harding, and Robertson D. An intelligent front end for ecological modelling. In E.J.H. Kerchoffs, G.C. Vansteenkiste, and B.Zeigler, editors, Working Conference on Artificial Intelligence in Simulation, pages 67--70, University of Ghent, Belgium, February 1985. Society for Computer Simulation.
D.Robertson, R.Muetzelfeldt, D.Plummer, M.Uschold, and ABundy. The ECO browser. In Expert Systems 85, pages 143--156, Coventry, England, 1985. British Computer Society Specialist Group on Expert Systems.
R.Muetzelfeldt, D.Robertson, M.Uschold, and A.Bundy. Computer--aided construction of ecological simulation models. In International Symposium on AI, Expert Systems and Languages in Modelling and Simulation, Barcelona, Spain, 1987. Elsevier Science Publishers.
D.Robertson, A.Bundy, M.Uschold, and R.Muetzelfeldt. Helping inexperienced users to construct simulation programs: An overview of the ECO project. In Research and Development in Expert Systems 4, pages 185--197, Brighton, England, 1987. British Computer Society Specialist Group on Expert Systems, Cambridge University Press.
D.Robertson, A.Bundy, R.Muetzelfeldt, M.Haggith, and M.Uschold. Using ecological descriptions to guide the construction of simulation programs. In Proceedings of Alvey Annual Conference/UK IT 88, Swansea, Wales, 1988.
D.Robertson. A simple Prolog techniques editor for novice users. In G.A. Wiggins, C.Mellish, and T.Duncan, editors, Proceedings of 3rd Annual Conference on Logic Programming, pages 190--205, Edinburgh, April 1991. Springer-Verlag Workshops in Computing Series. Download paper
F.Correa da Silva, D.Robertson, and J.Hesketh. Automated reasoning about an uncertain domain. In Proceedings of the European Conference on Symbolic and Quantitative Approaches for Uncertainty 91, Marseille, October 1991.
P.Chung, S.Abbas, and D.Robertson. Representing design information and safety constraints. In Proceedings of the Sixth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Edinburgh, 1993.
W.Liu, A.Bundy, and D.Robertson. Recovering incidence functions. In Proceedings of the Second European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Springer Verlag Lecture Notes in Computer Science series, number 747, pages 241--248, Granada, Spain, November 1993.
W.Liu, A.Bundy, and D.Robertson. On the relation between incidence calculus and atms. In Proceedings of the Second European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Springer Verlag Lecture Notes in Computer Science series, number 747, pages 249--256, Granada, Spain, November 1993.
D.Robertson, J.Agusti, J.Hesketh, and J.Levy. Expressing program requirements using refinement lattices. In Methodologies for Intelligent Systems (Proceedings of ISMIS-93), Lecture Notes in Computer Science 689, pages 245--254. Springer-Verlag, Berlin, 1993. Download paper
M.Vargas-Vera, W.W. Vasconcelos, and D.Robertson. Building large-scale Prolog programs using a techniques editing system. In Proceedings of the International Logic Programming Symposium. MIT Press, October 1993. Download paper
S.Yang, D.Robertson, and J.Lee. KICS: A knowledge-intensive case-based reasoning system for building regulations and case histories. In Proceedings of 4th International Conference on AI and Law, 1993. Download paper
F.Correa da Silva, D.Robertson, and J.Hesketh. Automated reasoning with uncertainties. In M.Masuch and L.Polos, editors, Knowledge Representation and Reasoning Under Uncertainty. Springer-Verlag, Amsterdam, December 1994. ISBN 3-540-58095-6: One of 13 papers selected from proceedings of the Applied Logic Conference 92. Download paper
P.Funk and D.Robertson. Requirements specification of telecommunication services assisted by case-based reasoning. In Proceedings of the 2nd International Conference on Telecommunication Systems, Modelling and Analysis, Nashville, USA, 1994. Download paper
D.Goldsborough and D.Robertson. Representing the structure of reserve selection arguments using logic programs. In G.Sawayama, editor, Proceedings of the Eigth Annual Symposium on Geographical Information systems, 1994.
N.S. Park, D.Robertson, and K.Stenning. From dynamic bindings to symbolic knowledge representation using synchronous activity of neurons. In Proceedings of conference on oscillations in neural syste, University of Texas at Arlington, May 1994.
Y.Chen-Burger, D.Robertson, J.Fraser, and C.Lissoni. KBST: A support tool for business modelling in bsdm. In Proceedings of BCS Expert Systems-95, Cambridge, England, 1995. British Computer Society Specialist Group on Expert Systems, Cambridge University Press. ISBN 1-899621-03-2. Download paper
D.Robertson. Distributed specification. In Proceedings of the 12th European Conference on Artificial Intelligence, Budapest, Hungary, August 1996.
D.Robertson. An empirical study of the LSS specification toolkit in use. In Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, Nevada, USA. Knowledge Systems Institute, Illinois, 1996. ISBN 0-9641699-3-2.
D.Robertson. Domain specific problem description. In Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, Nevada, USA. Knowledge Systems Institute, Illinois, 1996. ISBN 0-9641699-3-2.
J.Puigsegur, J.Agusti, and D.Robertson. A visual logic programming language. In Proceedings of the 12th IEE Symposium on Visual Languages, Colorado, 1996.
J.Chen-Burger and D.Robertson. Formal support for an informal business modelling method. In Proceedings of the 10th International Conference on Software Engineering and Knowledge Engineering, San Francisco, USA. Knowledge Systems Institute, Illinois, 1998. Download paper
R.Lecoeuche, C.Mellish, and D.Robertson. A framework for requirements elicitation through mixed-initiative dialogue. In 3rd IEEE International Conference on Requirements Engineering, Colorado Springs, USA, pages 190--196. IEEE Computer Society, April 1998. ISBN: 0-8186-8356-2. Download paper
F.Correa da Silva, W.Vasconcelos, and D.Robertson. Cooperation between knowledge based systems. In F.Cantu, R.Soto, J.Liebowitz, and E.Sucar, editors, Proceedings of the 4th World Congress on Expert Systems, pages 819--825, Monterey, Mexico, 1998. Cognizant Communication Corporation. ISBN 1-882345-22-3. Download paper
D.Robertson. Can formal argumentation raise our confidence in safe design? In Towards System Safety: Proceedings of the Seventh Safety-Critical Systems Symposium, Huntingdon, UK, pages 225--238. Springer-Verlag, 1999. ISBN 1-85233-064-3.
R.Lecoeuche, D.Robertson, and C.Barry. Using focus rules in requirements elicitation dialogues. In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI-99), Stockholm, Sweden. William Kaufmann, 1999. Download paper
Y.Kalfoglou and D.Robertson. A case study in applying ontologies to augment and reason about the correctness of specifications. In Proceedings of the 11th International Conference on Software Engineering and Knowledge Engineering, Germany, 1999. Download paper
F.S.Correa da Silva, J.Agusti, D.S.Robertson, W.W.Vasconcelos, and A.C.V.Melo. Why ontologies are not enough for knowledge sharing. In Springer-Verlag, editor, 12th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (Lecture Notes in Artificial Intelligence, v. 1611)}, pages 520--529, Cairo (Egypt), 1999. Download paper
Y.Kalfoglou and D.Robertson. Applying experienceware to support ontology deployment. In Proceedings of the 12th International Conference on Software Engineering and Knowledge Engineering, Chicago, 2000. Download paper
L.Ceccaroni and D. Robertson. WaRP - A Reactive Planner Integrated in an Environmental Decision-support System for Wastewater Treatment Plant Management. In Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, 2000.
D. Robertson. A Lightweight Method for Coordination of Agent Oriented Web Services. In Proceedings of AAAI Spring Symposium on Semantic Web Services, Stanford, 2004.
D.Robertson. Multi-agent Coordination as Distributed Logic Programming. In Proceedings of the International Conference on Logic Programming, Sant-Malo, 2004.
J.McGinnis and D. Robertson. Dynamic and Distributed Interaction Protocols. In Proceedings of the Fourth Symposium on Adaptive Agents and Multi-Agent Systems, Springer Verlag Lecture Notes in Artificial Intelligence vol.3394, 2004. Download paper
G.Li, J.Chen-Burger and D.Robertson. Mapping a Business Process Model to a Semantic Web Services Model. In Proceedings of the IEEE International Conference on Web Services, San Diego, 2004. Download paper
D.Lambert and D.Robertson. Matchmaking and Brokering Multi-Party Interactions Using Historical Performance Data. In Proceedings of the International Joint Conference on Autonomous Agents and Multi-agent Systems, Utrecht, 2005. Download paper
G.Li, D.Robertson and J.Chen-Burger. Enacting Distributed Business Workflows Using BPEL4WS on a Multi-agent Platform. In Proceedings of the Third German Conference on Multiagent system Technologies, Koblenz, Springer Verlag Lecture Notes in Computer Science vol.3550, 2005. Download paper
N.Osman and D.Robertson. Dynamic Verification of Trust in Distributed Open Systems. In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07), Hyderabad, India. William Kaufmann, 2007. Download paper
P.Besana and D.Robertson. How Service Choreography Statistics Reduce the Ontology Mapping Problem. In Proceedings of the Sixth International Semantic Web Conference (ISWC-07), Busan, Korea. Springer Verlag, 2007. Download paper
R.Siebes, D.Dupplaw, S.Kotoulas, A.Perreau de Pinninck, F.van Harmelen and D.Robertson. The OpenKnowledge System: an Interaction-centred Approach to Knowledge Sharing. In Proceedings of the 15th International Conference on Cooperative Information Systems, Vilamoura, Portugal. Springer Verlag, 2007.

Workshop Papers

M.Vargas-Vera, D.Robertson, and R.Inder. Combining Prolog programs in a techniques editing system. In Proceedings of Third International Workshop on Logic Programming Synthesis and Transformation. Springer Verlag, July 1993. Download paper
D.Robertson, M.Haggith, G.Kendon, J.Agusti, and D.Goldsborough. The application of knowledge-based techniques to support resource management decisions. In Proceedings of IJCAI workshop on AI in Agriculture, Chamberey, France, 1993.
N.S. Park, D.Robertson, and K.Stenning. Reasoning with limited unification in a connectionist rule-based system. In Proceedings of ILP Workshop on Logic and Reasoning with Neural Networks, S. Margherita Ligure, Italy, June 1994. Download paper
M.Vargas-Vera and D.Robertson. An environment for building Prolog programs based on knowledge about their construction. In Proceedings of the 10th Workshop on Logic Programming (WLP 94), Zurich, October 1994. Download paper
D.Robertson, N.S. Park, and J.Agusti. Layered design of KBS from specification to hardware. In Proceedings of ECAI workshop on formal specification of knowledge-based systems, Amsterdam, Netherlands, 1994. Download paper
D.Robertson and J.Hesketh. Making specification design more accountable. In Proceedings of ONR/ARPA/AFOSR/ARO/NSF workshop on Increasing the Practical Impact of Formal Methods for Computer-Aided Software Development, Monterey, California, 1994. Download paper
D.Robertson. Lightweight formal specification. In Proceedings of ONR/ARPA/AFOSR/ARO/NSF workshop on Increasing the Practical Impact of Formal Methods for Software Architectures, Monterey, California, 1995.
P.Funk and D.Robertson. Case-based support for the design of dynamic system requirements. In J.Haton, M.Keane, and M.Manago, editors, Advances in Case-Based Reasoning : Proceedings of the 2nd European Workshop on Case-Based Reasoning 1994, pages 211--225. Springer-Verlag Lecture Notes in Artificial Intelligence, 1995. ISBN 3-540-60364-6. Download paper
P.Funk and D.Robertson. Capturing and matching dynamic behaviour in case-based reasoning. In Proceedings of the First United Kingdom Case-Based Reasoning Workshop, University of Salford, January 1995. Download paper
N.S. Park and D.Robertson. A localist network architecture for logical inference based on temporal synchrony approach to dynamic variable binding. In Proceedings of IJCAI95 Workshop on Connection-Symbolic Integration: From Unified to Hybrid Approaches, Montreal, Canada, August 1995. Download paper
S.Yang, D.Robertson, and J.Lee. The use of case-based reasoning in the domain of building regulations. In J.Haton, M.Keane, and M.Manago, editors, Advances in Case-Based Reasoning : Proceedings of the 2nd European Workshop on Case-Based Reasoning 1994, pages 292--306. Springer-Verlag Lecture Notes in Artificial Intelligence, 1995. ISBN 3-540-60364-6. Download paper
E.Mota, M.Haggith, A.Smaill, and D.Robertson. Time granularity in simulation models of ecosystems. In Proceedings of the IJCAI-95 Workshop on Executable Temporal Logics, Montreal, Canada, 1995. Download paper
E.Mota and D.Robertson. Representing interaction of agents at different time granularities. In Proceedings of the 3rd International Workshop on Temporal Representation and Reasoning, pages 72--79, Key West, Florida, 1996. IEEE Computer Society Press. ISBN 0-8186-7528-4. Download paper
J.Agusti, J.Puigsegur, D.Robertson, and W.M. Schorlemmer. Visual logic programming through set inclusion and chaining. In Proceedings of the CADE-13 Visual Reasoning Workshop, New Jersey, 1996.
N.S. Park and D.Robertson. A connectionist representation of symbolic components, dynamic bindings and basic inference operations. In Proceedings of the ECAI-96 Workshop on Neural Networks and Structured Knowledge, Budapest, Hungary, August 1996. Download paper
D.Robertson. Pitfalls of formality in early system design. In Proceedings of the ARO/NSF Monterey Workshop on Increasing the Practical Impact of Formal Methods for Computer-Aided Software Development, Monterey, California, 1998. an extended version appears in a special issue of The Science of Computer Programming.
P.Funk and D.Robertson. Graphical input sketches for producing formalised behavioural requirements. In Workshop on Visual Issues for Formal Methods (Visual'98) - part of TAPSoft'98, April 1998.
D.Robertson and J.Agusti. Pragmatics in the synthesis of logic programs. In P.Flener, editor, Logic-Based Program Synthesis and Transformation: 8th International Workshop, Manchester, UK (Selected papers), pages 41--60. Springer-Verlag, Lecture Notes in Computer Science 1559, 1998. ISBN 3-540-65765-7.
Y.Kalfoglou and D.Robertson. Use of formal ontologies to support error checking in specifications. In Proceedings of the 11th European Workshop on Knowledge Acquisition, Modelling and Management (EKAW-99), Germany, pages 207--221. Springer Verlag (Lecture Notes in Computer Science 1621), 1999. Download paper
D.Carbogim and D.Robertson. Contract-based Negotiation via Argumentation. In Proceedings of the Workshop on Multi-Agent Systems in Logic Programming (MAS-99) at the 16th International Conference on Logic Programming (ICLP-99), Las Cruces, New Mexico, 1999.
J.Cavalcanti and D.Robertson. Synthesis of Web sites from high level descriptions. In Proceedings of the 3rd Workshop on Web Engineering, Amsterdam, pages 207--221. Springer Verlag (Lecture Notes in Computer Science), 2000.
S.Leung and D.Robertson and J.Lee and C.Johnson. Using Web Site Synthesis in an Experiment on the Causal Perception of Aviation Accidents. In Workshop on the Investigation and Reporting of Incidents and Accidents (IRIA 2002), pages 221-230, Department of Computing Science, University of Glasgow, 2002.
J.McGinnis and D. Robertson and CWalton. Using Distributed Protocols as an Implementation of Dialogue Games. In Proceedings of the First European workshop on Multi-Agent Systems, 2003. Download paper
D. Robertson. A Lightweight Coordination Calculus for Agent Social Norms. In Proceedings of the Autonomous Agents and Multiagent Systems Workshop on Declarative Agent Languages and Technologies, New York, 2004.
J.McGinnis and D. Robertson. Realising Agent Dialogues with Distributed Protocols. In Developments in Agent Communication: Proceedings of the Autonomous Agents and Multiagent Systems Workshop on Agent Communication, Springer Verlag Lecture Notes in Artificial Intelligence vol.3396, 2004. Download paper
M.F.Hassan and D. Robertson. Constraint Relaxation to Reduce Brittleness of Distributed Agent Protocols. In Proceedings of the ECAI Workshop on Coordination in Emergent Agent Societies, Valencia, 2004. Download paper
M.F.Hassan, D.Robertson and C.Walton. Addressing Constraint Failures in an Agent Interaction Protocol. In Proceedings of the 8th Pacific Rim International Workshop on Multi-Agent Systems, Kuala Lumpur, 2005. Download paper
P.Besana, D.Robertson and M.Rovatsos. Exploiting Interaction Contexts in P2P Ontology Mapping. In Proceedings of the 2nd International Workshop on Peer to Peer Knowledge Management, San Diego, CA, CEUR Workshop Proceedings, ISSN 1613-0073, 2005. Download paper
F.Recuerda and D.Robertson. Discovery and Uncertainty in Semantic Web Services. In Proceedings of the ISWC 2005 Workshop on Uncertainty Reasoning for the Semantic Web, Galway, Ireland, CEUR workshop proceedings Vol-170, 2005. Download paper
P.Besana and D.Robertson. Probabilistic Dialogue Models for Dynamic Ontology Mapping. In Proceedings of the ISWC 2006 Workshop on Uncertainty Reasoning for the Semantic Web, Atlanta, USA, 2006. Download paper
X.Quang, C.Walton, D.Gerloff, J.Sharman and D.Robertson. Peer-to-Peer Experimentation in Protein Structure Prediction: an Architecture, Experiment and Initial Results. In International Workshop on Distributed, High-Performance and Grid Computing in Computational Biology, Eilat, Israel, 2007.
L.Xiao, D.Robertson, M.Croitoru, P.Lewis, S.Dashmapatra, D.Dupplaw, B.Hu. Adaptive Agent Model: an Agent Interaction and Computation Model, In IEEE workshop of Engineering Semantic Agent Systems, Beijing, China, 2007. Download paper

In Press

G.Li, D.Robertson, Y.Chen-Burger. Using Multi-agent Platform For Pure Decentralised Business Workflows. Web Intelligence and Agent Systems. Download paper
D.Robertson, C.Walton, A.Barker, P.Besana, Y.Chen-Burger, F.Hassan, D.Lambert, G.Li, J. McGinnis, N.Osman, A.Bundy, F.McNeill, F.vanHarmelen, C.Sierra, F.Giunchiglia. Models of Interaction as a Grounding for Peer to Peer Knowledge Sharing. In E.Chang, T.Dillon, R.Meersman and K.Sycara editors, Advances in Web Semantics, vol 1, LNCS-IFIP.

In Preparation

B.Hu, D.Dupplaw, P.Lewis and D.Robertson. Decentralised Clinical Guideline Modelling with the Lightweight Coordination Calculus. Submitted to the 2nd International Symposium on Languages in Biology and Medicine.
M.Schorlemmer and D.Robertson. Reasoning About Knowledge-transforming Peer-to-peer Interactions. Submitted to the International Journal of Human-Computer Studies.