| * | 2009 |
|---|
| 11 | EE | Georg Boenn,
Martin Brain,
Marina De Vos,
John Fitch:
ANTON: Composing Logic and Logic Composing.
LPNMR 2009: 542-547 |
| 10 | EE | Tom Crick,
Martin Brain,
Marina De Vos,
John Fitch:
Generating Optimal Code Using Answer Set Programming.
LPNMR 2009: 554-559 |
| 2008 |
|---|
| 9 | EE | Georg Boenn,
Martin Brain,
Marina De Vos,
John Fitch:
Automatic Composition of Melodic and Harmonic Music by Answer Set Programming.
ICLP 2008: 160-174 |
| 8 | EE | Owen Cliffe,
Marina De Vos,
Martin Brain,
Julian A. Padget:
ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming.
ICLP 2008: 724-728 |
| 2007 |
|---|
| 7 | EE | Martin Brain,
Martin Gebser,
Jörg Pührer,
Torsten Schaub,
Hans Tompits,
Stefan Woltran:
Debugging ASP Programs by Means of ASP.
LPNMR 2007: 31-43 |
| 2006 |
|---|
| 6 | EE | Martin Brain,
Tom Crick,
Marina De Vos,
John Fitch:
TOAST: Applying Answer Set Programming to Superoptimisation.
ICLP 2006: 270-284 |
| 5 | EE | Martin Brain:
Declarative Problem Solving Using Answer Set Semantics.
ICLP 2006: 459-460 |
| 2005 |
|---|
| 4 | EE | Martin Brain,
Richard Watson,
Marina De Vos:
An Interactive Approach to Answer Set Programming.
Answer Set Programming 2005 |
| 3 | EE | Martin Brain,
Marina De Vos:
Debugging Logic Programs under the Answer Set Semantics.
Answer Set Programming 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 |
| 2003 |
|---|
| 1 | EE | Martin Brain,
Marina De Vos:
Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice.
Answer Set Programming 2003 |
