| LS ^2 C - A Platform for Norm Controlled Social Computers. | 0 | 0.34 | 2015 |
| Multi-agent Coordination through Mutualistic Interactions. | 0 | 0.34 | 2011 |
| Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming | 17 | 1.25 | 2004 |
| A Lifecycle for Models of Large Multi-agent Systems | 11 | 0.92 | 2001 |
| Synthesis of Web Sites from High Level Descriptions | 5 | 0.49 | 2001 |
| Use of Formal Ontologies to Support Error Checking in Specifications | 4 | 0.80 | 1999 |
| Why Ontologies Are Not Enough for Knowledge Sharing | 5 | 0.70 | 1999 |
| Desert Island Column: The Books Don't Work | 0 | 0.34 | 1999 |
| Using Focus Rules in Requirements Elicitation Dialogues | 1 | 0.35 | 1999 |
| Pragmatics in the Synthesis of Logic Programs | 0 | 0.34 | 1998 |
| A Framework for Requirements Elicitation through Mixed-Initiative Dialogue | 9 | 0.97 | 1998 |
| A Visual Syntax for Logic and Logic Programming | 13 | 0.85 | 1998 |
| Lightweight Formalisation in Support of Requirements Engineering | 7 | 0.64 | 1998 |
| Distributed Specification | 0 | 0.34 | 1996 |
| Capturing and Matching Dynamic Behaviour in Case-Based Reasoning | 0 | 0.34 | 1995 |
| Case-Based Support for the Design of Dynamic System Requirements | 1 | 0.35 | 1994 |
| An Environment for Building Prolog Programs Based on Knowledge about their Construction | 1 | 0.37 | 1994 |
| Expressing Program Requirements Using Refinement Lattices | 5 | 0.75 | 1993 |
| Recovering Incedence Functions | 4 | 0.62 | 1993 |
| On the Relations between Incidence Calculus and ATMS | 3 | 0.54 | 1993 |
| Automated Reasoning with Uncertainties | 18 | 0.99 | 1992 |
| A Simple Prolog Techniques Editor for Novice Users | 12 | 2.02 | 1991 |
| Automated Reasoning About an Uncertain Domain | 2 | 0.44 | 1991 |
| The ECO Program Construction System: Ways of Increasing its Representational Power and Their Effects on the User Interface | 6 | 0.93 | 1989 |
