Decentralised Clinical Guidelines Modelling with Lightweight Coordination Calculus (2009)
Bo Hu, An Dasmahapatra, Dave Robertson, Paul Lewis
Background: Clinical protocols and guidelines have been considered as a major means to ensure that cost-effective services are provided at the point of care. Recently, the computerisation of clinical...
Enterprise Modelling: A Declarative Approach for FBPML Yun-Heh Chen-Burger (2008)
Abstract Enterprise Modelling (EM) methods are well-recognised for their value in describing complex, informal domains in an organised structure. EM methods are used in practice, particularly during...
Using Focus Rules in Requirements Elicitation Dialogues (2008)
Renaud Lecceuche, Dave Robertson, Catherine Barry
Requirements engineering is a complex task which benefits from computer support. Despite the progress made in automatic reasoning on requirements, the tools supporting requirements elicitation remain...
Semantic Web Services (OWL-S,WSMO) (2008)
Dave Lambert, Dave Robertson, Description Description Description
All focus on the ‘type ’ system Syntactic similarity (string matching) Description logic (subsumption) The result of using the Semantic Web is an unambiguous description of the interface of the...
Discovery and Uncertainty in Semantic Web Services (2008)
Francisco Martín-recuerda, Dave Robertson
Abstract. Although Semantic Web service discovery has been extensively studied in the literature ([7], [12], [15] and [10]), we are far from achieving an effective, complete and automated discovery...
The problem with business isn't simply that it doesn't stand still, but that it seems to keep moving more quickly. Markets shift. New competition appears. Product requirements change. And while all...
Decentralised Clinical Guidelines Modelling with Lightweight Coordination Calculus (2007)
Hu, Bo, Dasmahapatra, Srinandan, Robertson, Dave, Lewis, Paul
Background: Clinical protocols and guidelines have been considered as a major means to ensure that cost-effective services are provided at the point of care. Recently, the computerisation of clinical...
Graphical Input Sketches for Producing Formalised Behavioural Requirements (2007)
. Formal methods are usually intended to include all the details of the final system in the specification, with the aim of proving that it possesses certain mathematical properties....
An Environment for Building Prolog Programs Based on Knowledge about their Construction (2007)
María Vargas-Vera, Dave Robertson
this paper. References
Capturing and Matching Dynamic Behaviour in Case-Based Reasoning (2007)
. In the telecommunications domain, reuse of service specifications is a major issue. However, it has proved difficult to modularise services because of the high degree of interaction between them....
An Environment for Combining Prolog Programs Mar'ia Vargas-Vera (2007)
The purpose of this paper is to describe an environment for the construction of complex Prolog programs by combining simpler Prolog programs. The technique consists of the development in parallel of...
Nam Seog Park, Dave Robertson, Keith Stenning
The relationship between symbolism and connectionism has been one of the major issues in recent Artificial Intelligence research. An increasing number of researchers from each side have tried to...
The purpose of this paper is to describe a mathematical framework which supports our environment for the construction of complex Prolog programs by combining simpler Prolog programs described in [?]....
Use of Case-Based Reasoning in the Domain of Building Regulations (2007)
Soon-ae Yangy, Dave Robertsony, John Leez, Soon-ae Yang, Dave Robertson, John Lee
of case-based reasoning in the domain of building regulations
Multi--Level Cooperative Dialogue in Intelligent Front Ends (2007)
The control of multi--level cooperative dialogue is considered a difficult problem in knowledge based systems but may be easier to tackle in the more restricted domain of Intelligent Front Ends. This...
Layered Design of KBS from Specification to Hardware (2007)
Dave Robertson, Nam Seog, Park Jaume Agusti
Knowledge based systems are now being embedded within the hardware of household items, such as cameras and washing machines. These systems demand a high degree of reliability, both in terms of the...
Reasoning with Limited Unification (2007)
Nam Seog Park, Dave Robertson, Keith Stenning
At the intersection between symbolic inference and connectionism, there is interest in producing systems constructed from connectionist components which perform types of inference comparable to...
Making Specification Design More Accountable (2007)
If something goes wrong with a software/hardware implementation then it is important to know what caused the problem. Sometimes the error lies in incorrect implementation of a specification but it is...
Capturing and Matching Dynamic Behaviour in Case-Based Reasoning (2007)
Abstract. In the telecommunications domain, reuse of service specifications is a major issue. However, it has proved difficult to modularise services because of the high degree of interaction between...
Journal of Visual Languages and Computing, 1998. To appear. (2007)
Visual Syntax For, Jaume Agust, Jordi Puigsegur, Dave Robertson
It is commonly accepted that non-logicians have di#culty in expressing themselves in #rst order logic. Part of the visual language community is concerned with providing visual notations which use...
Adaptive Agent Model: an Agent Interaction and Computation Model (2007)
Xiao, Liang, Robertson, Dave, Croitoru, Madalina, Lewis, Paul, Dashmapatra, Srinandan, Dupplaw, David, ...
Software systems must be capable of coping with continuous requirements changes and at the same time wisely make use of emerging components and services to remain useful in their environment. In this...
Adaptive Agent Model: an Agent Interaction and Computation Model (2007)
Xiao, Liang, Robertson, Dave, Croitoru, Madalina, Lewis, Paul, Dashmapatra, Srinandan, Dupplaw, David, ...
Software systems must be capable of coping with continuous requirements changes and at the same time wisely make use of emerging components and services to remain useful in their environment. In this...
Open Knowledge: Semantic Webs Through Peer-to-Peer Interaction (2006)
Robertson, Dave, Giunchiglia, Fausto, Van Harmelen, Frank, Marchese, Maurizio, Sabou, Marta, Schorlemmer, Marco, ...
We present a manifesto for a new form of knowledge sharing that is based not on direct sharing of "true" statements about the world but, instead, is based on sharing descriptions of interactions. By...
A Generic Multi-agent System Platform For Business Workflows Using Web Services Composition (2005)
Guo, Mr Li, Chen-Burger, Dr. Yun-Huh (jessica), Robertson, Dr. Dave
This paper describes the development of a distributed multi-agent workflow\cite{Workflow} enactment mechanism from a BPEL4WS specification. This work demonstrates that a multi-agent protocol (LCC...
Enacting the Distributed Business Workflows Using BPEL4WS on the Multi-Agent Platform (2005)
Guo, Mr. Li, Chen-Burger, Dr. Yun-Huh (jessica), Robertson, Dr. Dave
This paper describes the development of a distributed multi-agent workflow enactment mechanism using the BPEL4WS specification. It demonstrates that a multi-agent protocol (Lightweight Coordination...
Guo, Mr. Li, Chen-Burger, Dr. Yun-Huh (jessica), Robertson, Dr. Dave
With the increases of customer-driven business marketplace in the open environment (internet), a key requirement for this circumstance is building inter-operable e-Business processes for the emerging...
Exploiting interaction contexts in p2p ontology mapping (2005)
Paolo Besana, Dave Robertson, Michael Rovatsos
Agents in peer-to-peer networks may gather into virtual communities, interacting continuously with agents that represent disparate actors, each of them with different interests, needs and views, and...
The Role of Agent Interaction in Models of Computing: Panelist Reviews (2005)
Peter Wegner, Farhad Arbab, Dina Goldin, Peter McBurney, Michael Luck, Dave Robertson
Addressing constraint failures in an agent interaction protocol (2005)
Fadzil Hassan, Dave Robertson, Chris Walton
Abstract. The field of multi-agent systems shifts attention from one particular agent to a society of agents; hence the interactions between agents in the society become critical towards the...
Mapping a Business Process Model to a Semantic Web Service Model (2004)
Guo, Mr. Li, Chen-Burger, Dr. Yun-Heh, Robertson, Dr. Dave
OWL-S is used to support automated discovery, composition, invocation and monitoring of web services. Its process model is a typical type of web service model that might be used to express a business...
Neurostimulation for refractory epilepsy (2003)
Boon, Paul, Goossens, Lut, Dedeurwaerdere, Stefanie, Claeys, Pieter, Gossiaux, Fleur, ...
Neurostimulation is an emerging treatment for refractory epilepsy. To date the precise mechanism of action remains to be elucidated. Better insight in the mechanism of action may identify seizure...
Knowledge Management using Business Process Modeling and Workflow Techniques (2003)
Kuo, Ms. Hsiang-Ling, Chen-Burger, Dr. Yun-Heh, Robertson, Dr. Dave
The paper describes formalisation and automation of a business process modelling language FBPML.
Automated website synthesis (2003)
Automated website synthesis is more straightforward than automated program synthesis in artificial intelligence research but can yield clear benefits for large groups of people. We briefly describe...
Enterprise Modelling: A Declarative Approach for FBPML (2002)
Chen-Burger, Dr. Yun-Heh, Tate, Prof. Austin, Robertson, Dr. Dave
Enterprise Modelling (EM) methods are well-recognised for their value in describing complex, informal domains in an organised structure. EM methods are used in practice, particularly during the early...
Enterprise Modelling: A Declarative Approach for (2002)
Abstract. Enterprise Modelling (EM) methods are well-recognised for their value in describing complex, informal domains in an organised structure. EM methods are used in practice, particularly during...
Knowledge Management using Business Process Modelling and Workflow Techniques. M.Sc Thesis (2002)
Hsiang-ling Kuo, Dave Robertson
Enterprise Modeling (EM) methods are recognised for their value in providing a more organised way to describe a complex, informal domain. A problem with EM is that it does not always provide direct...
Enterprise Modelling: A Declarative Approach for (2002)
Abstract. Enterprise Modelling (EM) methods are well-recognised for their value in describing complex, informal domains in an organised structure. EM methods are used in practice, particularly during...
Ontology Extraction for Distributed Environments (2002)
Derek Sleeman, Stephen Potter, Dave Robertson, Marco Schorlemmer
Existing knowledge base resources have the potential to be valuable components of the Semantic Web and similar knowledge-based environments. However, from the perspective of these environments, these...
Metadata-Supported Automated Ecological Modelling (2001)
Virgínia Brilhante, Dave Robertson
Introduction Ecological models should be rooted in data derived from observation, allowing methodical model construction and clear accounts of model results with respect to the data. Unfortunately,...
Leung, Siu-wai, Mellish, Chris, Robertson, Dave
Motivation: The field of ‘DNA linguistics’ has emerged from pioneering work in computational linguistics and molecular biology. Most formal grammars in this field are expressed using Definite...
Applying experienceware to support ontology deployment (2000)
Kalfoglou, Yannis, Robertson, Dave
Experienceware is a paradigm which emerged in the late eighties and evolved during the nineties, resulting in technologies such as experience factories and their constituent experience bases. These...
Applying experienceware to support ontology deployment (2000)
Kalfoglou, Yannis, Robertson, Dave
Experienceware is a paradigm which emerged in the late eighties and evolved during the nineties, resulting in technologies such as experience factories and their constituent experience bases. These...
Applying experienceware to support ontology deployment (2000)
Kalfoglou, Yannis, Robertson, Dave
Experienceware is a paradigm which emerged in the late eighties and evolved during the nineties, resulting in technologies such as experience factories and their constituent experience bases. These...
A Case-Based Reasoning Framework for Enterprise Model Building, Sharing and Reusing (2000)
Jessica Chen-burger, Jessica Chen-burger, Dave Robertson, Dave Robertson, Justine Stader, Justine Stader
Enterprise model development is essentially a labour-intensive exercise. Human experts depend heavily on prior experience when they are building new models making it a natural domain to apply Case...
Formal Support for an Informal Business Modelling Method (2000)
Jessica Chen-burger, Jessica Chen-burger, Dave Robertson, Dave Robertson, Justine Stader, Justine Stader
Tenth International Conference
Using Meta-Knowledge at the application level (1999)
Kalfoglou, Yannis, Robertson, Dave, Tate, Austin
Ontologies have become popular in the Artificial Intelligence community as a way to standardise representation of domain knowledge. Despite their advocated use in areas such as knowledge sharing and...
Using Meta-Knowledge at the application level (1999)
Kalfoglou, Yannis, Robertson, Dave, Tate, Austin
Ontologies have become popular in the Artificial Intelligence community as a way to standardise representation of domain knowledge. Despite their advocated use in areas such as knowledge sharing and...
Using Meta-Knowledge at the application level (1999)
Kalfoglou, Yannis, Robertson, Dave, Tate, Austin
Ontologies have become popular in the Artificial Intelligence community as a way to standardise representation of domain knowledge. Despite their advocated use in areas such as knowledge sharing and...
Managing Ontological Constraints (1999)
Kalfoglou, Yannis, Robertson, Dave
We explore the use of ontological constraints in a new way: deploying them in a software system's formal evaluation. We present a formalism for ontological constraints and elaborate on a meta...
Kalfoglou, Yannis, Robertson, Dave
In this paper we investigate how software specifications can benefit from the presence of formal ontologies to augment and enrich their context. This makes it possible to verify the correctness of...
Use of Formal Ontologies to Support Error Checking in Specifications (1999)
Kalfoglou, Yannis, Robertson, Dave
This paper explores the possibility of using formal ontologies to support detection of conceptual errors in specifications. We define a conceptual error as a misunderstanding of the application...
Managing Ontological Constraints (1999)
Kalfoglou, Yannis, Robertson, Dave
We explore the use of ontological constraints in a new way: deploying them in a software system's formal evaluation. We present a formalism for ontological constraints and elaborate on a meta...
Kalfoglou, Yannis, Robertson, Dave
In this paper we investigate how software specifications can benefit from the presence of formal ontologies to augment and enrich their context. This makes it possible to verify the correctness of...
Use of Formal Ontologies to Support Error Checking in Specifications (1999)
Kalfoglou, Yannis, Robertson, Dave
This paper explores the possibility of using formal ontologies to support detection of conceptual errors in specifications. We define a conceptual error as a misunderstanding of the application...
Managing Ontological Constraints (1999)
Kalfoglou, Yannis, Robertson, Dave
We explore the use of ontological constraints in a new way: deploying them in a software system's formal evaluation. We present a formalism for ontological constraints and elaborate on a meta...
Kalfoglou, Yannis, Robertson, Dave
In this paper we investigate how software specifications can benefit from the presence of formal ontologies to augment and enrich their context. This makes it possible to verify the correctness of...
Use of Formal Ontologies to Support Error Checking in Specifications (1999)
Kalfoglou, Yannis, Robertson, Dave
This paper explores the possibility of using formal ontologies to support detection of conceptual errors in specifications. We define a conceptual error as a misunderstanding of the application...
Error detection in Specifications based on Ontologies (1998)
Kalfoglou, Yannis, Robertson, Dave
The problem of conceptual errors in the early stages of a software development is of a great concern for the engineering community. The side effects of these errors are pernicious because they...
Error detection in Specifications based on Ontologies (1998)
Kalfoglou, Yannis, Robertson, Dave
The problem of conceptual errors in the early stages of a software development is of a great concern for the engineering community. The side effects of these errors are pernicious because they...
Error detection in Specifications based on Ontologies (1998)
Kalfoglou, Yannis, Robertson, Dave
The problem of conceptual errors in the early stages of a software development is of a great concern for the engineering community. The side effects of these errors are pernicious because they...
Error checking in the Process Interchange Format (PIF) Ontology (1998)
Kalfoglou, Yannis, Robertson, Dave
It is widely accepted that conceptual errors in the early stages of a software process are often the most pernicious. This is because they reflect a misunderstanding of the domain of application,...
Error checking in the Process Interchange Format (PIF) Ontology (1998)
Kalfoglou, Yannis, Robertson, Dave
It is widely accepted that conceptual errors in the early stages of a software process are often the most pernicious. This is because they reflect a misunderstanding of the domain of application,...
Error checking in the Process Interchange Format (PIF) Ontology (1998)
Kalfoglou, Yannis, Robertson, Dave
It is widely accepted that conceptual errors in the early stages of a software process are often the most pernicious. This is because they reflect a misunderstanding of the domain of application,...
A Visual Syntax for Logic and Logic Programming (1998)
Jaume Agusti, Jordi Puigsegur, Dave Robertson
It is commonly accepted that non-logicians have difficulty in expressing themselves in first order logic. Part of the visual language community is concerned with providing visual notations which use...
A Visual Logic Programming Language (1996)
Jordi Puigsegur, Jaume Agustí, Dave Robertson
Contact: Manager, Copyrights and
Visual logic programming through set inclusion and chaining (1996)
Jaume Agustí, Jordi Puigsegur, Dave Robertson, W. Marco Schorlemmer
Visual reasoning and visual programming are two areas sharing a common interest in the use of visual representations where nowadays textual formalisms are used. In this paper we present the design of...
Visual logic programming through set inclusion and chaining (1996)
Jaume Agusti, Jordi Puigsegur, Dave Robertson, W. Marco Schorlemmer
Our research focuses on the design of easily accessible languages to formalize at very high level the preliminary speci cation of systems. A methodology to approach this problem is the use of visual...
Visual Logic Programming through Set Inclusion and Chaining (1996)
Jaume Agust, Jordi Puigsegur, Dave Robertson, W. Marco Schorlemmer
Our research focuses on the design of easily accessible languages to formalize at very high level the preliminary specification of systems. A methodology to approach this problem is the use of visual...
Visual Logic Programming through Set Inclusion and Chaining (1996)
Jaume Agusti, Jordi Puigsegur, Dave Robertson, W. Marco Schorlemmer
this paper we present the design of a visual logic programming language, research that falls at the intersection of the two areas. On the one hand we are designing a (declarative) programming...
Visual Logic Programming through Set Inclusion and Chaining (1996)
Jaume Agusti, Jordi Puigsegur, Dave Robertson, W. Marco Schorlemmer
Our research focuses on the design of easily accessible languages to formalize at very high level the preliminary specification of systems. A methodology to approach this problem is the use of visual...
A Visual Logic Programming Language (1996)
Jordi Puigsegur, Jaume Agusti, Dave Robertson
It is commonly accepted that non-logicians have difficulty in expressing themselves in first order logic. Part of the visual language community is concerned with providing visual notations...
Nam Seog Park, Dave Robertson, South Bridge
This paper describes a localist network architecture which translates a significant subset of Horn-clause logic into a connectionist representation which may be executed very efficiently. The...
GraSp: A GRAphical SPecification Language for the Preliminary Specification of Logci Programs (1995)
Jaume Agusti, Dave Robertson, Jordi Puigsegur
this paper) is implemented in LPA MacProlog. 1 Requirements Statement for a Simple Design Task
Case-Based Support for Design of Dynamic System Requirements (1995)
Keane M, Haton J. P, Manago M, Peter J. Funk, Peter J. Funk, Dave Robertson, ...
. Using formal specifications based on varieties of mathematical logic is becoming common in the process of designing and implementing software. Formal methods are usually intended to include all...
Case-Based Support for the Design of Dynamic System Requirements (1994)
Keane M, Haton J. P, Manago M, Peter J. Funk, Peter J. Funk, Dave Robertson, ...
Abstract. Using formal specifications based on varieties of mathematical logic is becoming common in the process of designing and implementing software. Formal methods are usually intended to include...
Expressing Program Requirements using Refinement Lattices (1994)
Dave Robertson, Jaume Agusti, Jane Hesketh, Jordi Levy
. Requirements capture is a term used in software engineering, referring to the process of obtaining a problem description -- a high level account of the problem which a user wants to solve. This...
On the Relations between Incidence Calculus and ATMS (1993)
Weiru Liu, Alan Bundy, Dave Robertson
Abstract. This paper discusses the relationship between incidence calculus and the ATMS. It shows that managing labels for statements in an ATMS is similar to producing the incidence sets of these...
Connectionist System, Dave Robertson, Keith Stenning
A structured connectionist model using temporal synchrony has been proposed by Shastri & Ajjanagadde. This model has provided a mechanism which encodes rules and facts involving n-ary predicates...
Recovering Incidence Functions (1993)
Weiru Liu, Alan Bundy, Dave Robertson
In incidence calculus, inferences are usually made by calculating incidence sets and computing probabilities of formulae based on a given incidence function in an incidence calculus theory. Incidence...
Recovering Incidence Functions (1993)
Weiru Liu, Alan Bundy, Dave Robertson
In incidence calculus, inferences usually are made by calculating incidence sets and probabilities of formulae based on a given incidence function in an incidence calculus theory. However it is still...
A Simple Prolog Techniques Editor for Novice Users (1991)
This paper describes a working prototype system which uses descriptions of standard Prolog techniques to provide a basic techniques editing system, ultimately intended for use by novice programmers....
Bry F.: Logic Programming as Constructivism: A Formalization and its Application to Databases (1989)
Renaud Lecoeuche, Chris Mellish, Dave Robertson
In this paper we present our work on requirements elicitation. The elicitation process is a complex task which necessitates computer support. Elicitation systems should ideally help their users check...
On the Relations between Incidence Calculus and ATMS
Weiru Liu, Alan Bundy, Dave Robertson
. This paper discusses the relationship between incidence calculus and the ATMS. It shows that managing labels for statements in an ATMS is similar to producing the incidence sets of these statements...