Items by Brain, Martin

Book Sections

Brain, M. and Schanda, F., 2012. A lightweight technique for distributed and incremental program verification. In: Verified Software: Theories, Tools, Experiments.7152 ed. Heidelberg: Springer, pp. 114-129. (Lecture Notes in Computer Science)

Boenn, G., Brain, M., De Vos, M. and ffitch, J., 2011. Anton — A Rule-Based Composition System. In: Proceedings of ICMC 2011. University of Huddersfield and ICMA, pp. 135-138. (ICMC)

Boenn, G., Brain, M., De Vos, M. and ffitch, J., 2009. ANTON: Composing logic and logic composing. In: Erdem, E., Fangzhen, L. and Schaub, T., eds. Logic Programming and Nonmomotonic Reasoning. Proceedings of the 10th International Conference (LPNMR 2009). Vol. 5753, 2009. Springer, pp. 542-547. (Lecture Notes in Artificial Intelligence)

Crick, T., Brain, M., De Vos, M. and Fitch, J., 2009. Generating optimal code using answer set programming. In: Erdem, E., Fangzhen, L. and Schaub, T., eds. Logic Programming and Nonmonotonic Reasoning. Vol. 5753. Berlin, Germany: Springer, pp. 554-559. (Lecture Notes in Computer Science)

Cliffe, O., De Vos, M., Padget, J. and Brain, M., 2008. ASPViz: Declarative Visualisation and Animation Using Answer Set Programming. In: Logic Programming - Proceedings of the 24th International Conference in Logic Programming (ICLP). Vol. 5366. Berlin / Heidelberg: Springer, pp. 724-728. (Lecture Notes in Computer Science)

Boenn, G., Brain, M., De Vos, M. and ffitch, J., 2008. Automatic composition of melodic and harmonic music by answer set programming. In: Garcia de la Banda, M. and Pontelli, E., eds. Logic Programming. Proceedings of the 24th International Conference, ICLP 2008.5366 ed. Springer-Verlag, pp. 160-174. (Lecture Notes in Computer Science)

Boenn, G., Brain, M., De Vos, M. and ffitch, J., 2008. Anton: Answer Set Programming in the Service of Music. In: Pagnucco, M. and Thielscher, M., eds. Proceedings of the Twelth International Workshop on Non-Monotonic Reasoning. Sydney: University of New South Wales, pp. 85-93.

Sureshkumar, A., De Vos, M., Brain, M. and Fitch, J., 2007. APE: an AnsProlog* environment. In: De Vos, M. and Schaub, T., eds. Software Engineering for Answer Set Programming: SEA'07. Bath, UK: University of Bath, Department of Computer Science, pp. 101-115.

Articles

Boenn, G., Brain, M., De Vos, M. and Ffitch, J., 2011. Automatic music composition using answer set programming. Theory and Practice of Logic Programming, 11 (2-3), pp. 397-427.

Wang, Q., McIntosh, R. and Brain, M., 2010. A new-generation automated warehousing capability. International Journal of Computer Integrated Manufacturing, 23 (6), pp. 565-573.

Brain, M. and De Vos, M., 2009. The significance of memory costs in answer set solver implementation. Journal of Logic and Computation, 19 (4), pp. 615-641.

Reports/Papers

Brain, M. J., Crick, T., Fitch, J. P. and de Vos, M., 2006. An application of answer set programming: Superoptimisation (A preliminary report). Other. University of Bath, Department of Computer Science. (Computer Science Technical Reports; CSBU-2006-05)