| 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
|
