David Stuart Robertson

37 papers A* 1A 1B 2C 11Journal 11Unranked 11

Year	Rank	Type	Title / Venue / Authors
2015	—	`conf`	LS ^2 C - A Platform for Norm Controlled Social Computers. ICAART (Revised Selected Papers) Flávio S. Corrêa da Silva, David Stuart Robertson, Wamberto Weber Vasconcelos
2014	J	`jnl`	A review of attacks and security approaches in open multi-agent systems. Artif. Intell. Rev. Shahriar Bijani, David Stuart Robertson
2004	J	`jnl`	Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming. Ann. Math. Artif. Intell. Wamberto Weber Vasconcelos, David Stuart Robertson, Carles Sierra, Marc Esteva, Jordi Sabater, Michael J. Wooldridge
2002	J	`jnl`	On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions. Knowl. Based Syst. 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
2001	—	`conf`	A Lifecycle for Models of Large Multi-agent Systems. AOSE Wamberto Weber Vasconcelos, David Stuart Robertson, Jaume Agustí-Cullell, Carles Sierra, Michael J. Wooldridge, Simon Parsons, Christopher Walton, Jordi Sabater
2001	B	`conf`	Synthesis of Web Sites from High Level Descriptions. Web Engineering João M. B. Cavalcanti, David Stuart Robertson
2000	C	`conf`	A Lightweight Capability Communication Mechanism. IEA/AIE David Stuart Robertson, Flávio S. Corrêa da Silva, Wamberto Weber Vasconcelos, Ana Cristina Vieira de Melo
1999	J	`jnl`	Desert Island Column: The Books Don't Work. Autom. Softw. Eng. David Stuart Robertson
1999	B	`conf`	Use of Formal Ontologies to Support Error Checking in Specifications. EKAW Yannis Kalfoglou, David Stuart Robertson
1999	A*	`conf`	Using Focus Rules in Requirements Elicitation Dialogues. IJCAI Renaud Lecoeuche, Catherine Barry, David Stuart Robertson
1999	C	`conf`	Why Ontologies Are Not Enough for Knowledge Sharing. IEA/AIE Flávio S. Corrêa da Silva, Jaume Agustí-Cullell, Ana Cristina Vieira de Melo, Wamberto Weber Vasconcelos, David Stuart Robertson
1998	—	`conf`	A Framework for Requirements Elicitation through Mixed-Initiative Dialogue. ICRE Renaud Lecoeuche, Chris Mellish, David Stuart Robertson
1998	J	`jnl`	A Visual Syntax for Logic and Logic Programming. J. Vis. Lang. Comput. Jaume Agustí-Cullell, Jordi Puigsegur, David Stuart Robertson
1998	J	`jnl`	Lightweight Formalisation in Support of Requirements Engineering. Autom. Softw. Eng. Jane Hesketh, David Stuart Robertson, Norbert E. Fuchs, Alan Bundy
1998	C	`conf`	Pragmatics in the Synthesis of Logic Programs. LOPSTR David Stuart Robertson, Jaume Agustí-Cullell
1997	J	`jnl`	Guest Editorial. Knowl. Eng. Rev. David Stuart Robertson
1996	—	`conf`	A Visual Logic Programming Language. VL Jordi Puigsegur, Jaume Agustí-Cullell, David Stuart Robertson
1996	C	`conf`	An Empirical Study of the LSS Specification Toolkit in Use. SEKE David Stuart Robertson
1996	A	`conf`	Distributed Specification. ECAI David Stuart Robertson
1996	J	`jnl`	NatureTime: Temporal Granularity in Simulation of Ecosystems. J. Symb. Comput. Edjard Mota, David Stuart Robertson, Alan Smaill
1996	C	`conf`	Representing Interaction of Agents at Different Time Granularities. TIME Edjard Mota, David Stuart Robertson
1995	—	`conf`	Capturing and Matching Dynamic Behaviour in Case-Based Reasoning. UK Workshop on Case-Based Reasoning Peter J. Funk, David Stuart Robertson
1994	—	`conf`	An Environment for Building Prolog Programs Based on Knowledge about their Construction. WLP Maria Vargas-Vera, David Stuart Robertson
1994	J	`jnl`	Applying Prolog programming techniques. Int. J. Hum. Comput. Stud. Andrew Bowles, David Stuart Robertson, Wamberto Weber Vasconcelos, Maria Vargas-Vera, Diana Bental
1994	—	`conf`	Case-Based Support for the Design of Dynamic System Requirements. EWCBR Peter J. Funk, David Stuart Robertson
1994	J	`jnl`	Expressing Program Requirements Using Refinement Lattices. Fundam. Informaticae David Stuart Robertson, Jaume Agustí-Cullell, Jane Hesketh, Jordi Levy
1994	—	`conf`	Use of Case-Based Reasoning in the Domain of Building Regulations. EWCBR Soon-Ae Yang, David Stuart Robertson, John Lee
1993	—	`conf`	Building Large-Scale Prolog Programs using a Techniques Editing System. ILPS Maria Vargas-Vera, Wamberto Weber Vasconcelos, David Stuart Robertson
1993	C	`conf`	Combining Prolog Programs in a Techniques Editing System (Abstract). LOPSTR Maria Vargas-Vera, David Stuart Robertson, Robert Inder
1993	C	`conf`	Expressing Program Requirements Using Refinement Lattices. ISMIS David Stuart Robertson, Jaume Agustí-Cullell, Jane Hesketh, Jordi Levy
1993	C	`conf`	KICS: A Knowledge-Intensive Case-Based Reasoning System for Statutory Building Regulations and Case Histories. ICAIL Soon-Ae Yang, David Stuart Robertson, John Lee
1993	C	`conf`	On the Relations between Incidence Calculus and ATMS. ECSQARU Weiru Liu, Alan Bundy, David Stuart Robertson
1993	C	`conf`	Recovering Incedence Functions. ECSQARU Weiru Liu, Alan Bundy, David Stuart Robertson
1992	—	`conf`	Automated Reasoning with Uncertainties. Logic at Work Flávio S. Corrêa da Silva, David Stuart Robertson, Jane Hesketh
1991	—	`conf`	A Simple Prolog Techniques Editor for Novice Users. ALPUK David Stuart Robertson
1991	C	`conf`	Automated Reasoning About an Uncertain Domain. ECSQARU Flávio S. Corrêa da Silva, David Stuart Robertson, Paul W. H. Chung
1989	J	`jnl`	The ECO Program Construction System: Ways of Increasing its Representational Power and Their Effects on the User Interface. Int. J. Man Mach. Stud. David Stuart Robertson, Alan Bundy, Michael Uschold, Robert Muetzelfeldt