Marina De Vos

Search results

• 2009

  SEA09: Software Engineering for Answer Set Programming

  De Vos, M. (Editor) & Torsten, S. (Editor), Nov 2009, Bath, U. K.: Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; no. CSBU-2009-20)

  Research output: Book/Report › Other report

  File
  163 Downloads (Pure)
• 2007

  SEA'07: Software engineering for answer set programming

  de Vos, M. & Schaub, T., Jul 2007, University of Bath, Department of Computer Science. (Computer Science Technical Reports; no. CSBU-2007-05)

  Research output: Book/Report › Other report

  File
  266 Downloads (Pure)
• 2006

  An application of answer set programming: Superoptimisation (A preliminary report)

  Brain, M. J., Crick, T., Fitch, J. P. & de Vos, M., Apr 2006, University of Bath, Department of Computer Science. (Computer Science Technical Reports; no. CSBU-2006-05)

  Research output: Book/Report › Other report

  File
  95 Downloads (Pure)
• 2005

  Specifying and analysing agent-based social institutions using answer set programming

  Cliffe, O., Padget, J. A. & De Vos, M., 2005, (Unpublished) Bath, U. K.: Department of Computer Science, University of Bath. (Computer Science Technical Reports)

  Research output: Book/Report › Other report