| * | 2009 |
|---|
| 4 | EE | Tom Crick,
Martin Brain,
Marina De Vos,
John Fitch:
Generating Optimal Code Using Answer Set Programming.
LPNMR 2009: 554-559 |
| 2006 |
|---|
| 3 | EE | Martin Brain,
Tom Crick,
Marina De Vos,
John Fitch:
TOAST: Applying Answer Set Programming to Superoptimisation.
ICLP 2006: 270-284 |
| 2005 |
|---|
| 2 | EE | Marina De Vos,
Tom Crick,
Julian A. Padget,
Martin Brain,
Owen Cliffe,
Jonathan Needham:
LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming.
DALT 2005: 72-88 |
| 1 | | Marina De Vos,
Owen Cliffe,
Richard Watson,
Tom Crick,
Julian A. Padget,
Jonathan Needham:
T-LAIMA: Answer Set Programming for Modelling Agents with Trust.
EUMAS 2005: 126-136 |
