Informatics Report Series


Dave Robertson

Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Report Date Title
EDI-INF-RR-1034 Jan 2007 Dynamic Verification of Trust in Distributed Open Systems
EDI-INF-RR-0943 Jan 2005 Automating Business Modelling: A Guide to Using Logic to Represent Informal Methods and Support Reasoning
EDI-INF-RR-0354 Jul 2004 Mapping a business process model to a semantic web services model
EDI-INF-RR-0283 2004 Rapid Prototyping of Large Multi-Agent Systems through Logic Programming
EDI-INF-RR-0282 2004 Multi-agent Coordination as Distributed Logic Programming
EDI-INF-RR-0281 2002 On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions
EDI-INF-RR-0280 2001 Basic Gene Grammars and DNA-ChartParser for language processing of Escherichia coli promoter DNA sequences
EDI-INF-RR-0172 May 2003 Knowledge Management using Business Process Modeling and Workflow Techniques
EDI-INF-RR-0164 Nov 2002 Flexible Multi-Agent Protocols
EDI-INF-RR-0137 Jun 2002 Automated Support for Composition of Transformational Components in Knowledge Engineering
EDI-INF-RR-0136 Jun 2002 Formal Knowledge Management in Distributed Environments
EDI-INF-RR-0109 Apr 2002 Enterprise Modelling: A Declarative Approach for FBPML
EDI-INF-RR-0023 Feb 2000 Formal Support for an Informal Business Modelling Method
EDI-INF-RR-0022 Jun 2000 A Case-Based Reasoning Framework for Enterprise Model Building, Sharing and Reusing

Home : Publications : Author 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh