Publications
My apologies that this is so terribly out of date; at the moment I'm focusing on finishing my thesis and will hopefully have time to update my website after that. If you want copies of any of my papers 2007-2010 drop me a mail.
(electronic copies to follow)
2012
- A Low Cost Technique for Distributed and Incremental Verification, Martin Brain and Florian Schanda, VSTTE12
2011
- Automatic Music Composition using Answer Set Programming, Georg Boenn, Martin Brain, Marina De Vos and John ffitch, The Theory and Practise of Logic Programming 11(2-3)
- Anton -- A Rule-Based Composition System, Georg Boenn, Martin Brain, Marina De Vos and John ffitch, ICMC11
- An Algebra of Search Spaces, Martin Brain, CSCLP11
2010
- A new-generation automated warehousing capability, Qian Wang, Richard McIntosh and Martin Brain, International Journal of Computer Integrated Manufacturing 23(6)
2009
- The Significance of Memory Costs in Answer Set Solver Implementation, Martin Brain and Marina De Vos, The Journal of Logic and Computation 19(4)
- A Pragmatic Programmer's Guide to Answer Set Programming, Martin Brain, Owen Cliffe and Marina De Vos, SEA09
- ANTON: Composing Logic and Logic Composing, Georg Boenn and Martin Brain and Marina De Vos and John ffitch, LPNMR09
- Generating Optimal Code using Answer Set Programming, Tom Crick, Marina De Vos, Martin Brain and John Fitch, LPNMR09
2008
- ASPViz: Declarative Visualisation and Animation Using Answer Set Programming, Owen Cliffe, Marina De Vos, Martin Brain and Julian Padget, ICLP08
- Automatic Composition of Melodic and Harmonic Music by Answer Set Programming, Georg Boenn, Martin Brain, Marina De Vos and John ffitch, ICLP08
- Anton: Answer Set Programming in the Service of Music, Georg Boenn and Martin Brain and Marina De Vos and John ffitch, NMR08
- Answer Set Programming - a Domain in Need of Explanation (A Position Paper), Martin Brain and Marina De Vos, EXACT08
2007
- Smodels-IE : Improving the Cache Utilisation of Smodels, Martin Brain, Marina De Vos and Ken Satoh, ASP07
- The Significance of Memory Costs in Answer Set Solver Implementation, Martin Brain and Marina De Vos, ASP07
- ``That is Illogical Captain!'' The Debugging Support Tool spock for Answer-Set Programs: System Description, Martin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits and Stefan Woltran, SEA07
- APE: An AnsProlog* Environment, Adrian Sureshkumar, Marina De Vos, Martin Brain and John Fitch, SEA07
- Debugging ASP Programs by Means of ASP, Martin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits and Stefan Woltran, LPNMR07
2006
- Declarative Problem Solving Using Answer Set Semantics, Martin Brain, ICLP06
- TOAST: Applying Answer Set Programming to Superoptimisation, Martin Brain, Tom Crick, Marina De Vos and John Fitch, ICLP06
- An Application of Answer Set Programming: Superoptimisation A Preliminary Report, Martin Brain, Tom Crick, Marina De Vos and John Fitch, NMR06
2005
- T-LAIMA : Answer Set Programming for Modelling Agents with Trust, Marina De Vos, Tom Crick, Julian Padget, Martin Brain, Owen Cliffe, Jonathan Needham, EUMAS05
- An Interactive Approach to Answer Set Programming, Martin Brain and Marina De Vos, ASP05
- Debugging Logic Programs under the Answer Set Semantics, Martin Brain and Marina De Vos, ASP05
- ``Do What I Meant, Not What I Said'', Martin Brain and Marina De Vos, Dagstuhl Seminar
- LAIMAS : A Multi-Agent Platform using Ordered Choice Logic Programming, Marina De Vos, Tom Crick, Julian Padget, Martin Brain, Owen Cliffe, Jonathan Needham, DALT05
2004
- Towards Incremental Computation of the Answer Set Semantics: a Preliminary Report, Martin Brain and Marina De Vos, AI 2004
- Incremental Answer Set Programming, Martin Brain, technical report series Department of Computer Science, University of Bath, CSBU-2004-05, ISSN 1740-9497.
2003
- Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice, Martin Brain and Marina De Vos, In ASP03: Answer Set Programming: Advances in Theory and Implementation., Ceur-WS, September 2003.