Research

Items by Brain, Martin

Up a level
Export as [feed] RSS 1.0 [feed] Atom [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 16.

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)

Brain, M. J., 2004. Incremental answer set programming. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2004-05)

Conference or Workshop Items

Brain, M. and Schanda, F., 2012. A lightweight technique for distributed and incremental program verification. Heidelberg: Springer, pp. 114-129. (Lecture Notes in Computer Science)

Boenn, G., Brain, M., De Vos, M. and Ffitch, J., 2012. Computational music theory. In: 8th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, AIIDE 2012 Workshop, 2012-10-08, Stanford, CA.. Association for the Advancement of Artificial Intelligence (AAAI), pp. 27-34. (AAAI Technical Report; WS-12-16)

Boenn, G., Brain, M., De Vos, M. and ffitch, J., 2011. Anton — A Rule-Based Composition System. In: Proceedings of ICMC2011, 2011-08-01. 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 Nonmonotonic Reasoning, 10th International Conference, 2009-09-01. 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. 10th International Conference on Logic Programming and Nonmonotonic Reasoning, 2009-01-01, Potsdam. 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: 24th International Conference on Logic Programming (ICLP 2008), 2008-12-09 - 2008-12-13, Udine. Italy. 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. Springer, 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 Twelfth International Workshop on Non-Monotonic Reasoning, 2008-09-01. 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: Software Engineering for Answer Set Programming: SEA'07: First International Workshop, 2007-05-14, Tempe, Arizona.

Brain, M. J., Faber, W., Maratea, M., Polleres, A., Schaub, T. and Schindlauer, R., 2007. What should an ASP solver output? A multiple position paper. In: Software Engineering for Answer Set Programming: SEA'07: First International Workshop, 2007-05-14, Tempe, Arizona.

This list was generated on Fri Feb 12 05:46:11 2016 GMT.