David Stuart Robertson

Publication Activity (10 Years)

Years Active: 1989-2015
Publications (10 Years): 0

Top Topics

Malicious Users

Open Multi Agent Systems

Top Venues

Artif. Intell. Rev.

ICAART (Revised Selected Papers)

Publications

Flávio S. Corrêa da Silva, David Stuart Robertson, Wamberto Weber Vasconcelos
LS ^2 C - A Platform for Norm Controlled Social Computers. ICAART (Revised Selected Papers) (2015)
Shahriar Bijani, David Stuart Robertson
A review of attacks and security approaches in open multi-agent systems. Artif. Intell. Rev. 42 (4) (2014)
Wamberto Weber Vasconcelos, David Stuart Robertson, Carles Sierra, Marc Esteva, Jordi Sabater, Michael J. Wooldridge
Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming. Ann. Math. Artif. Intell. 41 (2-4) (2004)
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) (2002)
Wamberto Weber Vasconcelos, David Stuart Robertson, Jaume Agustí-Cullell, Carles Sierra, Michael J. Wooldridge, Simon Parsons, Christopher Walton, Jordi Sabater
A Lifecycle for Models of Large Multi-agent Systems. AOSE (2001)
João M. B. Cavalcanti, David Stuart Robertson
Synthesis of Web Sites from High Level Descriptions. Web Engineering (2001)
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)
Yannis Kalfoglou, David Stuart Robertson
Use of Formal Ontologies to Support Error Checking in Specifications. EKAW (1999)
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)
David Stuart Robertson
Desert Island Column: The Books Don't Work. Autom. Softw. Eng. 6 (4) (1999)
Renaud Lecoeuche, Catherine Barry, David Stuart Robertson
Using Focus Rules in Requirements Elicitation Dialogues. IJCAI (1999)
Jane Hesketh, David Stuart Robertson, Norbert E. Fuchs, Alan Bundy
Lightweight Formalisation in Support of Requirements Engineering. Autom. Softw. Eng. 5 (2) (1998)
David Stuart Robertson, Jaume Agustí-Cullell
Pragmatics in the Synthesis of Logic Programs. LOPSTR (1998)
Renaud Lecoeuche, Chris Mellish, David Stuart Robertson
A Framework for Requirements Elicitation through Mixed-Initiative Dialogue. ICRE (1998)
Jaume Agustí-Cullell, Jordi Puigsegur, David Stuart Robertson
A Visual Syntax for Logic and Logic Programming. J. Vis. Lang. Comput. 9 (4) (1998)
Jordi Puigsegur, Jaume Agustí-Cullell, David Stuart Robertson
A Visual Logic Programming Language. VL (1996)
Edjard Mota, David Stuart Robertson, Alan Smaill
NatureTime: Temporal Granularity in Simulation of Ecosystems. J. Symb. Comput. 22 (5/6) (1996)
David Stuart Robertson
An Empirical Study of the LSS Specification Toolkit in Use. SEKE (1996)
Edjard Mota, David Stuart Robertson
Representing Interaction of Agents at Different Time Granularities. TIME (1996)
David Stuart Robertson
Distributed Specification. ECAI (1996)
Peter J. Funk, David Stuart Robertson
Capturing and Matching Dynamic Behaviour in Case-Based Reasoning. UK Workshop on Case-Based Reasoning (1995)
Peter J. Funk, David Stuart Robertson
Case-Based Support for the Design of Dynamic System Requirements. EWCBR (1994)
Soon-Ae Yang, David Stuart Robertson, John Lee
Use of Case-Based Reasoning in the Domain of Building Regulations. EWCBR (1994)
Maria Vargas-Vera, David Stuart Robertson
An Environment for Building Prolog Programs Based on Knowledge about their Construction. WLP (1994)
David Stuart Robertson, Jaume Agustí-Cullell, Jane Hesketh, Jordi Levy
Expressing Program Requirements Using Refinement Lattices. Fundam. Informaticae 21 (3) (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) (1994)
Weiru Liu, Alan Bundy, David Stuart Robertson
Recovering Incedence Functions. ECSQARU (1993)
Maria Vargas-Vera, David Stuart Robertson, Robert Inder
Combining Prolog Programs in a Techniques Editing System (Abstract). LOPSTR (1993)
Maria Vargas-Vera, Wamberto Weber Vasconcelos, David Stuart Robertson
Building Large-Scale Prolog Programs using a Techniques Editing System. ILPS (1993)
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)
Weiru Liu, Alan Bundy, David Stuart Robertson
On the Relations between Incidence Calculus and ATMS. ECSQARU (1993)
David Stuart Robertson, Jaume Agustí-Cullell, Jane Hesketh, Jordi Levy
Expressing Program Requirements Using Refinement Lattices. ISMIS (1993)
Flávio S. Corrêa da Silva, David Stuart Robertson, Jane Hesketh
Automated Reasoning with Uncertainties. Logic at Work (1992)
David Stuart Robertson
A Simple Prolog Techniques Editor for Novice Users. ALPUK (1991)
Flávio S. Corrêa da Silva, David Stuart Robertson, Paul W. H. Chung
Automated Reasoning About an Uncertain Domain. ECSQARU (1991)
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. Int. J. Man Mach. Stud. 31 (1) (1989)