|
Search the dblp DataBase
David Stuart Robertson:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- David Stuart Robertson
A Simple Prolog Techniques Editor for Novice Users. [Citation Graph (0, 0)][DBLP] ALPUK, 1991, pp:190-205 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] AOSE, 2001, pp:297-318 [Conf]
- David Stuart Robertson
Distributed Specification. [Citation Graph (0, 0)][DBLP] ECAI, 1996, pp:390-394 [Conf]
- Weiru Liu, Alan Bundy, David Stuart Robertson
Recovering Incedence Functions. [Citation Graph (0, 0)][DBLP] ECSQARU, 1993, pp:241-248 [Conf]
- Weiru Liu, Alan Bundy, David Stuart Robertson
On the Relations between Incidence Calculus and ATMS. [Citation Graph (0, 0)][DBLP] ECSQARU, 1993, pp:249-256 [Conf]
- Flávio S. Corrêa da Silva, David Stuart Robertson, Paul Chung
Automated Reasoning About an Uncertain Domain. [Citation Graph (0, 0)][DBLP] ECSQARU, 1991, pp:141-145 [Conf]
- Yannis Kalfoglou, David Stuart Robertson
Use of Formal Ontologies to Support Error Checking in Specifications. [Citation Graph (0, 0)][DBLP] EKAW, 1999, pp:207-224 [Conf]
- Peter J. Funk, David Stuart Robertson
Case-Based Support for the Design of Dynamic System Requirements. [Citation Graph (0, 0)][DBLP] EWCBR, 1994, pp:211-225 [Conf]
- Soon-Ae Yang, David Stuart Robertson, John Lee
Use of Case-Based Reasoning in the Domain of Building Regulations. [Citation Graph (0, 0)][DBLP] EWCBR, 1994, pp:292-306 [Conf]
- Soon-Ae Yang, David Stuart Robertson, John Lee
KICS: A Knowledge-Intensive Case-Based Reasoning System for Statutory Building Regulations and Case Histories. [Citation Graph (0, 0)][DBLP] ICAIL, 1993, pp:254-263 [Conf]
- Renaud Lecoeuche, Chris Mellish, David Stuart Robertson
A Framework for Requirements Elicitation through Mixed-Initiative Dialogue. [Citation Graph (0, 0)][DBLP] ICRE, 1998, pp:190-0 [Conf]
- David Stuart Robertson, Flávio S. Corrêa da Silva, Wamberto Weber Vasconcelos, Ana Cristina Vieira de Melo
A Lightweight Capability Communication Mechanism. [Citation Graph (0, 0)][DBLP] IEA/AIE, 2000, pp:660-670 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] IEA/AIE, 1999, pp:520-529 [Conf]
- Renaud Lecoeuche, Catherine Barry, David Stuart Robertson
Using Focus Rules in Requirements Elicitation Dialogues. [Citation Graph (0, 0)][DBLP] IJCAI, 1999, pp:649-654 [Conf]
- David Stuart Robertson, Jaume Agustí-Cullell, Jane Hesketh, Jordi Levy
Expressing Program Requirements Using Refinement Lattices. [Citation Graph (0, 0)][DBLP] ISMIS, 1993, pp:245-254 [Conf]
- Flávio S. Corrêa da Silva, David Stuart Robertson, Jane Hesketh
Automated Reasoning with Uncertainties. [Citation Graph (0, 0)][DBLP] Logic at Work, 1992, pp:57-79 [Conf]
- David Stuart Robertson, Jaume Agustí-Cullell
Pragmatics in the Synthesis of Logic Programs. [Citation Graph (0, 0)][DBLP] LOPSTR, 1998, pp:41-60 [Conf]
- Maria Vargas-Vera, David Stuart Robertson, Robert Inder
Combining Prolog Programs in a Techniques Editing System (Abstract). [Citation Graph (0, 0)][DBLP] LOPSTR, 1993, pp:82-84 [Conf]
- David Stuart Robertson
An Empirical Study of the LSS Specification Toolkit in Use. [Citation Graph (0, 0)][DBLP] SEKE, 1996, pp:153-160 [Conf]
- Maria Vargas-Vera, Wamberto Weber Vasconcelos, David Stuart Robertson
Building Large-Scale Prolog Programs using a Techniques Editing System. [Citation Graph (0, 0)][DBLP] ILPS, 1993, pp:636- [Conf]
- Edjard Mota, David Stuart Robertson
Representing Interaction of Agents at Different Time Granularities. [Citation Graph (0, 0)][DBLP] TIME, 1996, pp:72-79 [Conf]
- Peter J. Funk, David Stuart Robertson
Capturing and Matching Dynamic Behaviour in Case-Based Reasoning. [Citation Graph (0, 0)][DBLP] UK Workshop on Case-Based Reasoning, 1995, pp:85-90 [Conf]
- Jordi Puigsegur, Jaume Agustí-Cullell, David Stuart Robertson
A Visual Logic Programming Language. [Citation Graph (0, 0)][DBLP] VL, 1996, pp:214-221 [Conf]
- João M. B. Cavalcanti, David Stuart Robertson
Synthesis of Web Sites from High Level Descriptions. [Citation Graph (0, 0)][DBLP] Web Engineering, 2001, pp:190-203 [Conf]
- Maria Vargas-Vera, David Stuart Robertson
An Environment for Building Prolog Programs Based on Knowledge about their Construction. [Citation Graph (0, 0)][DBLP] WLP, 1994, pp:73-76 [Conf]
- Wamberto Weber Vasconcelos, David Stuart Robertson, Carles Sierra, Marc Esteva, Jordi Sabater, Michael Wooldridge
Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 2004, v:41, n:2-4, pp:135-169 [Journal]
- Jane Hesketh, David Stuart Robertson, Norbert E. Fuchs, Alan Bundy
Lightweight Formalisation in Support of Requirements Engineering. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 1998, v:5, n:2, pp:183-210 [Journal]
- David Stuart Robertson
Desert Island Column: The Books Don't Work. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 1999, v:6, n:4, pp:441-443 [Journal]
- David Stuart Robertson, Jaume Agustí-Cullell, Jane Hesketh, Jordi Levy
Expressing Program Requirements Using Refinement Lattices. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 1994, v:21, n:3, pp:163-182 [Journal]
- Andrew Bowles, David Stuart Robertson, Wamberto Weber Vasconcelos, Maria Vargas-Vera, Diana Bental
Applying Prolog programming techniques. [Citation Graph (0, 0)][DBLP] Int. J. Hum.-Comput. Stud., 1994, v:41, n:3, pp:329-350 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] International Journal of Man-Machine Studies, 1989, v:31, n:1, pp:1-26 [Journal]
- Edjard Mota, David Stuart Robertson, Alan Smaill
NatureTime: Temporal Granularity in Simulation of Ecosystems. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1996, v:22, n:5/6, pp:665-698 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] Knowl.-Based Syst., 2002, v:15, n:3, pp:147-167 [Journal]
- Jaume Agustí-Cullell, Jordi Puigsegur, David Stuart Robertson
A Visual Syntax for Logic and Logic Programming. [Citation Graph (0, 0)][DBLP] J. Vis. Lang. Comput., 1998, v:9, n:4, pp:399-427 [Journal]
Search in 0.022secs, Finished in 0.024secs
|